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

TLDR:

• 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 Open-Sources Zero-Knowledge Proof Circuits Following Security Audits вперше з'явилася на Blockonomi.