Актуальні теми
#
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 р.
Чи важко це? Так
Наші помилки здоров'я руйнівні? Так
Чи ми ближче, ніж ви думаєте? Так
З першого дня, так, того ж дня, коли ми випустили нашу систему доказів, @RiscZero розпочали довгий процес офіційної перевірки нашого zkVM.
Нещодавно ми запустили "Picus", який математично доводить детермінізм у наших схемах під час CI! Це є причиною 96% багів звуковості в системах ZK (за даними ZK-Security).
Ці зусилля, а також деякі інші, над якими ми працюємо, показують, що ми можемо отримати достовірно звуковий RISC-V zkVM швидше, ніж ви думаєте.
1,35K
Найкращі
Рейтинг
Вибране