Todo el CEX está respaldado por el sector de la privacidad, lo cual es un poco mágico, y el Rail en la cadena hace un año se convirtió en decir que V God es el amado, pero desafortunadamente es demasiado pronto, por lo que también podría echar un vistazo a los nuevos proyectos relacionados con la privacidad en el nuevo ciclo. El equipo de verificación formal segura de Nethermind, en colaboración con Succinct Labs, validó formalmente la corrección de todos los chips RV-64 centrales del SP1 Hypercube RISC-V zkVM en el Lean Proof Assistant.