Het is een beetje wonderlijk dat de hele CEX wordt ondersteund door de privacysectie, en de Rail van een jaar geleden wordt weer naar voren gehaald als de grote liefde van V God. Helaas is het te vroeg, laten we eens kijken naar nieuwe privacygerelateerde projecten in de nieuwe cyclus. Het beveiligingsformalisatieteam van Nethermind heeft samengewerkt met Succinct Labs en heeft officieel de correctheid van alle kern RV-64 chips van de SP1 Hypercube RISC-V zkVM gevalideerd in de Lean bewijsassistent.