Tópicos populares
#
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.
RISC Zero está fazendo um trabalho tão bom aqui, que eu provavelmente estou mais preocupado com uma biblioteca Rust std 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 RISC-V de 32 bits é um alvo bastante nicho.
22/04/2025
É difícil? Sim
Nossos bugs de solidez devastadores? Sim
Estamos mais perto do que você imagina? Sim
A partir do dia 1, sim, no mesmo dia em que lançamos nosso sistema de provas, @RiscZero começamos o longo processo de verificação formal de nosso zkVM.
Recentemente lançámos "Picus" que prova matematicamente o determinismo nos nossos circuitos durante a IC! Esta é a causa de 96% dos bugs de solidez em sistemas ZK (Per ZK-Security).
Este esforço, 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,51K
Top
Classificação
Favoritos