NLnet asked us to give them a 1 paragraph management summary that they can post on their website and send to the European Commission.
Here's what I have so far:
Title (identical to original proposal): Libre-Chip's First CPU Architecture And Formal Proof of No Spectre bugs
Modern computers suffer from a constant stream of new speculative-execution security flaws (Spectre-style bugs). To address this major category of flaws, we are working towards building a high-performance computer processor (CPU) with speculative execution and working on a mathematical proof that it doesn't suffer from any speculative-execution data leaks, thereby demonstrating that this major category of flaws can be eliminated without crippling the computer's performance.
Libre-Chip's Links (for the page linked to by ">> Read more about ..."):
Website: https://libre-chip.org/
Forums: https://forum.libre-chip.org/
Source Code: https://git.libre-chip.org/libre-chip/