Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
O RISC Zero está fazendo um trabalho tão bom aqui, que provavelmente estou mais preocupado com uma biblioteca padrão Rust ou bug LLVM do que com a solidez de seu circuito. Infelizmente, isso ainda deixa muito espaço para preocupação!
Bugs do compilador são comuns e o RISC-V de 32 bits é um alvo bastante específico.
22 de abr. de 2025
É difícil? Sim
Nossos bugs de solidez devastadores? Sim
Estamos mais perto do que você imagina? Sim
Desde o dia 1, sim, no mesmo dia em que lançamos nosso sistema de provas, @RiscZero iniciamos o longo processo de verificação formal de nosso zkVM.
Recentemente, lançamos o "Picus", que prova matematicamente o determinismo em nossos circuitos durante o CI! Esta é a causa de 96% dos bugs de solidez em sistemas ZK (por ZK-Security).
Esse esforço, além de mais alguns em que estamos trabalhando, mostra que podemos chegar a um zkVM RISC-V comprovadamente sólido mais rápido do que você pensa.
1,48K
Melhores
Classificação
Favoritos