Они нашли еще одну фатальную ошибку в ZKVM, которая буквально уничтожила бы каждого пользователя каждого приложения на каждой платформе. Молодцы, R0 и VeridiseInc! Также сегодня я узнал о механизме экстренной остановки "estop" — потрясающе!
RISC Zero
RISC Zero5 авг., 06:55
По мере того как мы продолжаем расширять охват формальной верификации наших схем, мы выявили и исправили еще одну ошибку. Эта ошибка была обнаружена Picus из @VeridiseInc. Проблема была исправлена, и все партнеры были переведены на версию 2.2.0 или более позднюю версии risc0-zkVM. RISC Zero остается приверженным обеспечению высочайшего уровня прозрачности, проактивной безопасности и целостности.
3,86K