Întregul CEX este susținut de sectorul confidențialității, ceea ce este puțin magic, iar Rail de pe lanț în urmă cu un an s-a dovedit a spune că Dumnezeu V este iubitul, dar, din păcate, este prea devreme, așa că ați putea la fel de bine să aruncați o privire la noile proiecte legate de confidențialitate în noul ciclu. Echipa de verificare formală securizată a Nethermind, în colaborare cu Succinct Labs, a validat oficial corectitudinea tuturor cipurilor RV-64 de bază ale SP1 Hypercube RISC-V zkVM în Lean Proof Assistant.