Todo el sector de CEX se sostiene en la privacidad, es un poco sorprendente, el Rail de hace un año en la cadena ha sido mencionado nuevamente como el amor de V神, pero desafortunadamente llegó demasiado pronto, quizás deberíamos echar un vistazo a los nuevos proyectos relacionados con la privacidad en el nuevo ciclo. El equipo de verificación formal de seguridad de Nethermind ha colaborado con Succinct Labs para validar oficialmente la corrección de todos los chips RV-64 del SP1 Hypercube RISC-V zkVM en el asistente de prueba Lean.