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