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.
Apresentando o R0VM 2.0.
O zkVM construído para a era em tempo real.
7/ Velocidade não significa nada sem segurança.
Com @veridiseInc, estamos tornando a verificação formal uma parte essencial do R0VM.
Até agora, provamos que 122 dos 123 componentes para a funcionalidade principal do RISC-V em nosso circuito v2 são determinísticos.
22 de mar. de 2025
O RISC Zero está construindo o primeiro zkVM RISC-V formalmente verificado.
Usando a ferramenta Picus da @VeridiseInc, estamos provando matematicamente o determinismo em nossos circuitos.
Nosso objetivo: um zkVM que seja incrivelmente rápido e comprovadamente seguro, para que os desenvolvedores nunca precisem se comprometer.
437,16K
Melhores
Classificação
Favoritos