Стартап доказательства с нулевым разглашением (ZKP) Succinct Labs объявил о запуске первого конкурса аудита виртуальных машин с нулевым разглашением (zkVM) с полностью открытым исходным кодом. Целью проекта является повышение прозрачности и безопасности их технологий посредством участия сообщества.
По правилам конкурса, лица, которым удастся взломать тестовую сеть SP1, получат награду в размере 110 000 долларов. Конкурс аудита, который проводится только по приглашению, начался в 20:00 UTC 3 июня и продлится до 20:00 UTC 24 июня. Приглашения можно получить на торговой площадке решений безопасности Web3 Cantina в течение 24 часов с момента начала конкурса. Участникам предлагается ретвитнуть все объявления на платформе социальных сетей X, чтобы получить приглашение.
Аудит сосредоточен на основных программах SP1. Недавно основная система доказательства, ограничений и рекурсии SP1 прошла аудит, проведенный двумя ведущими аудиторами с нулевым разглашением (ZK). Этот конкурс действует как вторичный процесс проверки, гарантирующий отсутствие в SP1 любых потенциальных эксплойтов и уязвимостей.
Чтобы помочь участникам понять каждую программу, на сервере Cantina Discord доступно пошаговое руководство по коду SP1.
SP1 представляет собой высокопроизводительную, полностью открытую и удобную для участников zkVM, предназначенную для проверки выполнения программ Rust или любых программ, скомпилированных с помощью LLVM.
Его исходный код открыт по лицензиям MIT/Apache 2.0, код не запутывается, все разработки ведутся публично. В отличие от существующих zkVM с неизменяемой логикой ограничений с закрытым исходным кодом, SP1 имеет модульную архитектуру, предназначенную для индивидуальной настройки с самого начала. Эта возможность настройки позволяет пользователям добавлять «прекомпиляции» к базовой логике zkVM, что приводит к заметному повышению производительности.
Объявляем первый конкурс аудита для zkVM со 100% открытым исходным кодом. Награда в размере 110 000 долларов США, если вы сможете сломать SP1. Проверьте свои навыки pic.twitter.com/V3YEIKYrZV
– Кратко (@SuccinctLabs) 3 июня 2024 г.
Что такое краткие лаборатории?
Succinct Labs разрабатывает децентрализованную сеть проверки, чтобы облегчить создание блокчейн-приложений и инфраструктуры, защищенной криптографической проверкой. Унифицируя цепочку поставок доказательств, он предлагает высокодоступную инфраструктуру создания доказательств с конкурентоспособными ценами на накопительные пакеты, сопроцессоры и другие приложения, использующие ZKP.
Недавно стартап привлек $55 млн в виде начального финансирования и финансирования серии A под руководством Paradigm Capital при участии Robot Ventures, Bankless Ventures, Geometry и других известных инвесторов.
Сообщение Succinct Labs запускает конкурс аудита ZkVM с открытым исходным кодом с призом в 110 тысяч долларов впервые появилось на Metaverse Post.
