Todo o CEX está sustentado pela parte de privacidade, é um pouco mágico, o Rail de um ano atrás foi novamente mencionado como o amor de V神, mas infelizmente já era tarde demais, talvez seja hora de olhar para novos projetos de privacidade no novo ciclo. A equipe de verificação formal de segurança da Nethermind colaborou com a Succinct Labs para validar oficialmente a correção de todos os chips RV-64 do SP1 Hypercube RISC-V zkVM no assistente de prova Lean.