Актуальні теми
#
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 тут настільки добре справляється зі своєю роботою, що я, мабуть, більше переживаю через бібліотеку Rust std або баг LLVM, ніж про надійність їхньої схеми. На жаль, це все ще залишає багато місця для занепокоєння!
Помилки компілятора є поширеним явищем, і 32-бітний RISC-V є досить нішевою метою.
22 квіт. 2025 р.
Is it hard? Yes
Our soundness bugs devastating? Yes
Are we closer than you might think? Yes
From Day 1, yes the same day we released our proof system, @RiscZero began the long process of formally verifying our zkVM.
Recently we launched "Picus" which mathmatically proves determinism in our circuits during CI! This is the cause of 96% of soundness bugs in ZK systems (Per ZK-Security).
This effort plus some more we are working on, shows we can get to a provably sound RISC-V zkVM faster than you most think.
1,49K
Найкращі
Рейтинг
Вибране