Subiecte populare
#
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 face o treabă atât de bună aici, încât probabil că sunt mai îngrijorat de o bibliotecă Rust std sau de o eroare LLVM decât de soliditatea circuitului lor. Din păcate, acest lucru lasă încă mult loc de griji!
Erorile compilatorului sunt frecvente, iar RISC-V pe 32 de biți este o țintă destul de nișată.
22 apr. 2025
Este greu? Da
Bug-urile noastre de sănătate devastatoare? Da
Suntem mai aproape decât ați putea crede? Da
Din prima zi, da, în aceeași zi în care am lansat sistemul nostru de probe, @RiscZero început procesul lung de verificare formală a zkVM-ului nostru.
Recent am lansat "Picus" care dovedește matematic determinismul în circuitele noastre în timpul IC! Aceasta este cauza a 96% din erorile de soliditate din sistemele ZK (conform ZK-Security).
Acest efort, plus alte câteva la care lucrăm, arată că putem ajunge la un RISC-V zkVM dovedit solid mai repede decât credeți.
1,3K
Limită superioară
Clasament
Favorite