RISC Zero выпускает zkVM 1.2, представляя приложениеDefiФункция предварительной компиляции ned

Проверяемая общая вычислительная платформа с нулевым разглашением (ZK), RISC-ноль ввел «приложение-defined» прекомпилирует для своей Zero-Knowledge Virtual Machine (zkVM) 1.2. Это нововведение позволяет разработчикам создавать высокопроизводительные приложения ZK, включая прекомпиляции в само приложение, а не в zkVM.

zkVM 1.2 приносит заметный прогресс в том, как работают прекомпиляторы. В отличие от традиционных прекомпиляторов, которые требуют координации между разработчиками, доказывающими и верификаторами, его приложение-defiПредварительные компиляции ned предлагают несколько преимуществ. Они включают возможность разработчикам развертывать новые предварительные компиляции без обновления контрактов верификаторов в цепочке или координации с проверяющими для использования новой схемы. Кроме того, разработчики могут оптимизировать свои приложения без разветвления zkVM или модификации существующих систем.

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

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

Преимущества производительности этих прекомпиляторов очевидны сразу. Например, Automata, партнер, интегрировал прекомпилятор RSA RISC Zero и сократил количество циклов своей гостевой программы с 39 миллионов до 217,000 180, что привело к снижению затрат примерно в XNUMX раз.

Что такое RISC Zero And Boundless?  

RISC Zero сосредоточен на разработке инфраструктуры и инструментов, которые позволяют разработчикам по всему миру создавать программное обеспечение, использующее технологию ZK. Его zkVM позволяет пользователям доказывать правильность выполнения произвольного кода Rust. Позволяя использовать существующие пакеты Rust, zkVM от RISC Zero упрощает создание надежных, проверяемых программных приложений, включающих доказательства ZK.

Недавно RISC Zero открытый его протокол ZK, Boundless, для доступа разработчиков. Это обеспечивает неограниченное выполнение без необходимости переноса существующих систем или обновления контрактов проверки. Разработчики теперь могут быстро создавать и развертывать приложения ZK на любом блокчейне, получая при этом бесплатный доступ к сервису проверки, предлагаемому Boundless.