Succinct всегда ставит безопасность на первое место. В сотрудничестве с @NethermindSec и @EthereumFndn мы формально проверили правильность ограничений RISC-V для SP1 Hypercube.

4/ За последние шесть месяцев мы тщательно готовили Hypercube к производству. Чтобы максимизировать безопасность, мы попросили Nethermind официально проверить Hypercube. Мы также получили частичное финансирование от Фонда Ethereum для этой работы.

5/ Формальная верификация — это математическая гарантия того, что схемы Hypercube ведут себя точно так, как указано. Nethermind является лидером в этих формальных методах и безопасности ZK.

6/ Hypercube теперь является первой zkVM с формально проверенными ограничениями опкодов. Это также первый случай, когда официальная спецификация RISC-V была использована в формальной верификации такой системы.