Temas en tendencia
#
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á haciendo un trabajo tan bueno aquí, que probablemente estoy más preocupado por una biblioteca std de Rust o un error de LLVM que por la solidez de su circuito. Desafortunadamente, ¡eso todavía deja mucho espacio para preocuparse!
Los errores del compilador son comunes, y RISC-V de 32 bits es un objetivo bastante especializado.
22 abr 2025
¿Es difícil? Sí
¿Nuestros bichos de solidez son devastadores? Sí
¿Estamos más cerca de lo que piensas? Sí
Desde el día 1, sí, el mismo día que lanzamos nuestro sistema de pruebas, @RiscZero comenzó el largo proceso de verificación formal de nuestra zkVM.
¡Recientemente lanzamos "Picus" que demuestra matemáticamente el determinismo en nuestros circuitos durante CI! Esta es la causa del 96% de los errores de solidez en los sistemas ZK (según ZK-Security).
Este esfuerzo, además de algunos más en los que estamos trabajando, demuestra que podemos llegar a un zkVM RISC-V demostrablemente sólido más rápido de lo que la mayoría piensas.
1.35K
Populares
Ranking
Favoritas