Проверка времени выполнения запускает универсальный накопительный пакет ZK на MultiversX

Компания Runtime Verification, занимающаяся аудитом безопасности из Иллинойса, которая применяет формальные методы проверки, впервые разработанные в НАСА, для повышения безопасности, надежности и корректности вычислительных систем, запускает PI Squared, универсальный пакет ZK Rollup, использующий блокчейн MultiversX в качестве уровня консенсуса.

Как было показано на премьере в третий день конференции xDay, организованной MultiversX, PI Squared собирается свести проверку вычислительных утверждений к проверке математических доказательств. Это будет сделано с помощью универсального средства проверки доказательств, реализованного в виде специальной (параллельной) схемы ZK.

С экспоненциальным ростом пространства блокчейнов наблюдается рост числа взломов и эксплойтов смарт-контрактов, что создает потребность в более эффективных стандартах безопасности. Таким образом, решение Runtime Verification на основе объединения ZK выступает в качестве важнейшего инструмента в устранении этих проблем, препятствующих внедрению, в отличие от альтернатив, использующих эту технологию главным образом для улучшения масштабируемости сетей уровня 1.

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

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

Мероприятие xDay положило начало новой суперволне роста в пространстве Web3, чему способствовало масштабное партнерство, объединяющее искусственный интеллект, финансовые технологии, игры и многое другое с самой надежной, масштабируемой и безопасной архитектурой блокчейна в мире.

О проверке времени выполнения

За последние 20 лет Runtime Verification стала пионером формальной методологии проверки разработки программного обеспечения. Он был начат в НАСА и постепенно проник в пространство блокчейнов, где он, возможно, наиболее необходим из-за растущей сложности, связанной с компоновкой смарт-контрактов и архитектурой блокчейна.

О МультиверсХ

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