По мере того как мы продолжаем расширять охват формальной верификации наших схем, мы выявили и исправили еще одну ошибку. Эта ошибка была обнаружена Picus из @VeridiseInc. Проблема была исправлена, и все партнеры были переведены на версию 2.2.0 или более позднюю версии risc0-zkVM. RISC Zero остается приверженным обеспечению высочайшего уровня прозрачности, проактивной безопасности и целостности.