Der gesamte CEX wird vom Datenschutzbereich getragen, was ein wenig erstaunlich ist. Der Rail von vor einem Jahr wurde wieder hervorgeholt und als die große Liebe von V-Gott bezeichnet, leider war es viel zu früh. Vielleicht sollten wir uns die neuen datenschutzbezogenen Projekte im neuen Zyklus ansehen. Das Sicherheitsteam von Nethermind hat in Zusammenarbeit mit Succinct Labs die Korrektheit aller Kern-RV-64-Chips des SP1 Hypercube RISC-V zkVM offiziell im Lean-Proof-Assistenten verifiziert.