Tout le secteur de la CEX repose sur la confidentialité, c'est un peu incroyable, le Rail d'un an sur la chaîne a de nouveau été évoqué comme l'amour de V God, mais malheureusement, c'était trop tôt. Pourquoi ne pas jeter un œil aux nouveaux projets de confidentialité liés au nouveau cycle. L'équipe de vérification formelle de la sécurité de Nethermind a collaboré avec Succinct Labs pour valider officiellement la correction de tous les cœurs de puce RV-64 du SP1 Hypercube RISC-V zkVM dans l'assistant de preuve Lean.