RISC Zero представила виртуальную машину общего назначения на базе ZKP

Разрабатывающий виртуальную машину на базе технологии доказательств с нулевым разглашением (ZKP) стартап RISC Zero представил первую версию решения.

congrats to the @RiscZero team for launching the first general purpose production zkVM 😎

Its high performance will be a key piece of Eclipse's succinct zk fraud proofs that allow for shorter withdrawal times than other optimistic chains https://t.co/azKe3fqVGP

— Eclipse 🌑 (@EclipseFND) June 17, 2024

Для запуска zkVM 1.0 RISC Zero провела церемонию доверительной настройки и прошла строгий аудит со стороны третьих лиц, говорится в сообщении проекта.

Решение поддерживает взаимодействие с dapps в любом блокчейне, в который интегрировали верификатор RISC Zero. Это означает, что приложения могут работать в различных цепочках, включая Ethereum, Base, OP, Arbitrum, World Chain и StarkNet.

Платформа использует ZKP для облегчения создания dapps в различных сетях. Ее особенностью выступают экономически эффективный процесс доказательства и улучшенные показатели производительности, согласно пресс-релизу.

zkVM 1.0 способна генерировать ZKP для любого dapp на языке Rust. Это позволяет разрабатывать сложную логику без ограничений, обычно связанных с объемом или стоимостью газа.

ZKP обеспечивают сжатие вычислений и их быструю валидацию без необходимости выполнения операций самим проверяющим. Благодаря этому разгружается значительная часть ресурсов.

Такой механизм крайне важен для повышения масштабируемости, поскольку облегчает выполнение сложных операций офчейн, сохраняя верификацию ончейн.

Это включает в себя потенциальные варианты использования в L2-решениях, кроссчейн-мостах и других областях, где эффективные и верифицируемые вычисления имеют решающее значение.

В отличие от zkEVM, которые разработаны специально для Ethereum Virtual Machine, zkVM — это виртуальные машины, применяющие ZKP для dapps в любом блокчейне, где интегрирован верификатор RISC Zero.

Напомним, в июле 2023 года RISC Zero привлек $40 млн в ходе раунда финансирования Серии А.

Летом 2024 года стоящая за StarkNet компания StarkWare заявила о планах сделать L2-сеть единым уровнем масштабирования для первой криптовалюты наряду с Ethereum.