NLnet 2024-12-324 Libre-Chip's First CPU Architecture And Formal Proof of No Spectre bugs

https://git.libre-chip.org/libre-chip/grant-tracking/src/branch/master/nlnet-2024-12-324/progress.md

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.

https://en.wikipedia.org/wiki/Transient_execution_CPU_vulnerability#Timeline

20
Not Yet Started
#10 opened 2025-08-26 06:54:41 +00:00 by programmerjake
#12 opened 2025-08-26 07:04:24 +00:00 by programmerjake
#16 opened 2025-08-26 07:09:31 +00:00 by programmerjake
#18 opened 2025-08-26 07:11:20 +00:00 by programmerjake
0
Done