Populære emner
#
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 gjør så godt arbeid her, at jeg sannsynligvis er mer bekymret for et Rust std-bibliotek eller LLVM-feil enn for forsvarligheten til kretsen deres. Dessverre gir det fortsatt mye rom for bekymring!
Kompilatorfeil er vanlige, og 32-biters RISC-V er et ganske nisjemål.
22. apr. 2025
Er det vanskelig? Ja
Våre sunnhetsfeil ødeleggende? Ja
Er vi nærmere enn du kanskje tror? Ja
Fra dag 1, ja samme dag som vi lanserte bevissystemet vårt, begynte @RiscZero den lange prosessen med å formelt verifisere zkVM vår.
Nylig lanserte vi "Picus" som matematisk beviser determinisme i kretsene våre under CI! Dette er årsaken til 96 % av soliditetsfeil i ZK-systemer (Per ZK-Security).
Denne innsatsen pluss litt mer vi jobber med, viser at vi kan komme til en beviselig god RISC-V zkVM raskere enn du de fleste tror.
1,28K
Topp
Rangering
Favoritter