Компания Runtime Verification, занимающаяся аудитом безопасности из Иллинойса, которая применяет формальные методы проверки, впервые разработанные в НАСА, для повышения безопасности, надежности и корректности вычислительных систем, запускает PI Squared, универсальный пакет ZK Rollup, использующий блокчейн MultiversX в качестве уровня консенсуса.  Как было показано на премьере в третий день конференции xDay, организованной MultiversX, PI Squared собирается свести проверку вычислительных утверждений к проверке математических доказательств. Это будет сделано с помощью универсального средства проверки доказательств, реализованного в виде специальной (параллельной) схемы ZK.  С экспоненциальным ростом пространства блокчейнов наблюдается рост числа взломов и эксплойтов смарт-контрактов, что создает потребность в более эффективных стандартах безопасности. Таким образом, решение Runtime Verification на основе объединения ZK выступает в качестве важнейшего инструмента в устранении этих проблем, препятствующих внедрению, в отличие от альтернатив, использующих эту технологию главным образом для улучшения масштабируемости сетей уровня 1.  Будучи независимым от языка программирования и виртуальной машины, он позволит любому разработчику, пользователю и предприятию, использующим возможности блокчейна MultiversX в своих рабочих процессах, легко, без доверия и программно проверять доказательства правильности.  Этот шаг также делает экосистему MultiversX главным кандидатом для стартапов и компаний, стремящихся безопасно развернуть ценные варианты использования, предоставляя доступный набор инструментов разработки для поиска тонких ошибок и логических недостатков на этапе проектирования.  Мероприятие   положило начало новой суперволне роста в пространстве Web3, чему способствовало масштабное партнерство, объединяющее искусственный интеллект, финансовые технологии, игры и многое другое с самой надежной, масштабируемой и безопасной архитектурой блокчейна в мире. xDay   О проверке времени выполнения  За последние 20 лет Runtime Verification стала пионером формальной методологии проверки разработки программного обеспечения. Он был начат в НАСА и постепенно проник в пространство блокчейнов, где он, возможно, наиболее необходим из-за растущей сложности, связанной с компоновкой смарт-контрактов и архитектурой блокчейна.   О МультиверсХ  Высокомасштабируемая, безопасная и децентрализованная сеть блокчейнов, созданная для обеспечения радикально новых приложений для пользователей, бизнеса, общества и новых границ метавселенной.

This is a PR written by or for the company mentioned within it. The writer has a vested interest in the company and products mentioned within.

Scale across the Multiverse. Build new apps, new economies, new worlds.

Этот звук создан на языке оригинала истории!

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

About Author

КОММЕНТАРИИ

БИРКИ

ЭТА СТАТЬЯ БЫЛА ПРЕДСТАВЛЕНА В

Related Stories

Цифровые кочевники слушают: что нужно знать о новой визе DTV в Таиланде

Плавание по водам: разработка RAG-приложений промышленного уровня с использованием озер данных

Как улучшить ваш рабочий процесс в 10 раз: 17 основных приложений

Руководство архитектора по созданию эталонной архитектуры для озера данных AI/ML

Цифровые кочевники слушают: что нужно знать о новой визе DTV в Таиланде

Плавание по водам: разработка RAG-приложений промышленного уровня с использованием озер данных

Как улучшить ваш рабочий процесс в 10 раз: 17 основных приложений

Руководство архитектора по созданию эталонной архитектуры для озера данных AI/ML

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps