Topik trending
#
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 melakukan pekerjaan yang sangat baik di sini, sehingga saya mungkin lebih khawatir tentang perpustakaan std Rust atau bug LLVM daripada tentang kesehatan sirkuit mereka. Sayangnya, itu masih menyisakan banyak ruang untuk khawatir!
Bug kompiler adalah hal yang umum, dan RISC-V 32-bit adalah target yang cukup khusus.
22 Apr 2025
Apakah itu sulit? Ya
Bug kesehatan kita menghancurkan? Ya
Apakah kita lebih dekat dari yang Anda kira? Ya
Dari Hari 1, ya pada hari yang sama kami merilis sistem bukti kami, @RiscZero memulai proses panjang untuk memverifikasi zkVM kami secara resmi.
Baru-baru ini kami meluncurkan "Picus" yang secara matematis membuktikan determinisme di sirkuit kami selama CI! Ini adalah penyebab 96% bug kesehatan dalam sistem ZK (Per ZK-Security).
Upaya ini ditambah beberapa lagi yang sedang kami kerjakan, menunjukkan bahwa kami dapat mencapai RISC-V zkVM yang terbukti lebih cepat dari yang Anda pikirkan.
1,35K
Teratas
Peringkat
Favorit