Toda a CEX é apoiada pelo setor de privacidade, o que é um pouco mágico, e o Rail na cadeia há um ano acabou dizendo que V God é o amado, mas infelizmente é muito cedo, então você pode dar uma olhada nos novos projetos relacionados à privacidade no novo ciclo. A equipe de verificação formal segura da Nethermind, em colaboração com a Succinct Labs, validou formalmente a exatidão de todos os chips RV-64 principais do SP1 Hypercube RISC-V zkVM no Lean Proof Assistant.