Celá CEX je podporována sektorem ochrany osobních údajů, což je trochu kouzelné, a Rail na řetězci se před rokem ukázalo, že V Bůh je milovaný, ale bohužel je příliš brzy, takže se můžete také podívat na nové projekty související s ochranou soukromí v novém cyklu. Tým společnosti Nethermind pro bezpečné formální ověřování ve spolupráci se Succinct Labs formálně ověřil správnost všech základních čipů RV-64 SP1 Hypercube RISC-V zkVM v nástroji Lean Proof Assistant.