Hela CEX stöds av integritetssektorn, vilket är lite magiskt, och Railen på kedjan för ett år sedan visade sig säga att V Gud är den älskade, men tyvärr är det för tidigt, så du kan lika gärna ta en titt på de nya integritetsrelaterade projekten i den nya cykeln. Netherminds säkra formella verifieringsteam, i samarbete med Succinct Labs, validerade formellt riktigheten hos alla RV-64-kärnkretsar i SP1 Hypercube RISC-V zkVM i Lean Proof Assistant.