Lighter открывает исходный код схем доказательств с нулевым разглашением после аудитов безопасности

Коротко:

• Lighter опубликовал код верификации доказательства с нулевым разглашением после завершения аудитов бессрочных и спотовых схем.
• Релиз с открытым исходным кодом обеспечивает независимую верификацию ордеров, отмен и ликвидаций на Ethereum.
• Протокол обрабатывает приблизительно 500 миллионов ордеров и отмен ежедневно через свою систему верификации.
• Разработчики могут создавать схемы, используя скрипты репозитория GitHub, чтобы соответствовать развернутым смарт-контрактам Ethereum.

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

Протокол Layer 2 опубликовал код, который проверяет все он-чейн операции, включая размещение ордеров, отмены и ликвидации. 

Этот релиз обеспечивает независимую верификацию того, как функционирует Lighter L2 и поддерживает безопасность на Ethereum. Этот шаг представляет собой движение к большей прозрачности в инфраструктуре децентрализованных бирж.

Полная система верификации схем теперь доступна

Протокол объявил о публикации через свои официальные источники, заявив, что завершение аудита бессрочных и спотовых схем предшествовало выпуску кода. 

Схемы Lighter теперь доступны на GitHub в репозитории elliottech/lighter-prover. Пользователи могут запустить скрипт build_circuits.sh с настройками по умолчанию, чтобы построить все уровни схем с нуля. Процесс генерирует обновленный контракт ZkLighterVerifier, который соответствует развернутой версии.

Lighter Verifier Proxy работает по конкретному адресу Ethereum, задокументированному на Etherscan для публичной проверки. 

Разработчики могут сравнить контракт по этому адресу с выводом из скрипта сборки. Этот процесс верификации обеспечивает согласованность между развернутыми контрактами и открытым исходным кодом. Система обрабатывает приблизительно 500 миллионов ордеров и отмен ежедневно на торговой платформе Lighter.

Согласно технической документации проекта, архитектура следует строгому протоколу валидации. L2Beat опубликовал детали структуры смарт-контракта, показывая, как верификатор требует действительных доказательств для пакетов операций. 

Без правильного криптографического доказательства система отклоняет изменения состояния на Ethereum. Этот механизм предотвращает несанкционированные модификации состояния блокчейна.

Показатели производительности и инфраструктура верификации

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

Lighter обрабатывает сотни миллионов транзакций через свои схемы верификации каждый день. Команда продолжает повышать эффективность инфраструктуры доказательства. Протокол утверждает, что достигает наивысшего количества транзакций в секунду среди решений Ethereum Layer 2.

Процесс верификации охватывает несколько типов операций в торговой системе. Ордера, отмены и ликвидации проходят криптографическую верификацию до того, как происходят обновления состояния. 

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

Релиз с открытым исходным кодом позволяет разработчикам блокчейна и исследователям безопасности изучить логику верификации. 

Технические команды могут провести аудит криптографической реализации и проверить модель безопасности. Эта прозрачность помогает укрепить доверие к архитектуре платформы. Выпуск кода следует отраслевым лучшим практикам для решений масштабирования Layer 2.

Статья Lighter публикует схемы доказательства с нулевым разглашением с открытым исходным кодом после аудитов безопасности впервые появилась на Blockonomi.