Стартап Succinct Labs із підтвердженням нульового знання (ZKP) оголосив про запуск першого конкурсу аудиту віртуальної машини з нульовим знанням (zkVM) з повністю відкритим кодом. Він спрямований на підвищення прозорості та безпеки їхніх технологій через залучення спільноти.

Відповідно до правил конкурсу, особи, яким вдасться зламати тестову мережу SP1, отримають 110 000 доларів США. Конкурс з аудиту, який проводиться лише за запрошеннями, розпочався о 20:00 UTC 3 червня і триватиме до 20:00 UTC 24 червня. Запрошення можна отримати на ринку рішень безпеки Web3, Cantina, протягом 24 годин після початку конкурсу. Щоб отримати запрошення, учасникам пропонується зробити ретвіт усіх публікацій оголошень на платформі соціальних мереж X.

Аудит зосереджений на основних програмах SP1. Нещодавно два провідні аудитори з нульовими знаннями (ZK) пройшли перевірку основної системи перевірки, обмежень і рекурсії SP1. Цей конкурс діє як вторинний процес перевірки, щоб переконатися, що 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?

Succinct Labs розробляє децентралізовану мережу перевірки, щоб полегшити створення блокчейн-додатків та інфраструктури, захищеної криптографічною перевіркою. Об’єднуючи ланцюжок постачання доказів, він пропонує високодоступну інфраструктуру створення доказів із конкурентоспроможною ціною для зведених пакетів, співпроцесорів та інших додатків, що використовують ZKP.

Нещодавно стартап залучив 55 мільйонів доларів у вигляді початкового фінансування та фінансування серії A під керівництвом Paradigm Capital за участі Robot Ventures, Bankless Ventures, Geometry та інших відомих інвесторів.

Повідомлення Succinct Labs запускає конкурс аудиту ZkVM з відкритим кодом із призом у 110 тисяч доларів США вперше з’явилося на Metaverse Post.