Lighter Udostępnia Obwody Dowodów Zerowej Wiedzy po Audytach Bezpieczeństwa

TLDR:

• Lighter opublikował kod weryfikacji dowodów z wiedzą zerową po zakończeniu audytów obwodów perpetual i spot.
• Wydanie open-source umożliwia niezależną weryfikację zleceń, anulowań i likwidacji na Ethereum.
• Protokół przetwarza dziennie około 500 milionów zleceń i anulowań za pośrednictwem swojego systemu weryfikacji.
• Deweloperzy mogą budować obwody za pomocą skryptów z repozytorium GitHub, aby dopasować wdrożone inteligentne kontrakty Ethereum.

Lighter udostępnił publicznie kod weryfikacji dowodów z wiedzą zerową po zakończeniu kompleksowych audytów bezpieczeństwa swoich obwodów handlu perpetual i spot. 

Protokół Layer 2 opublikował kod, który weryfikuje wszystkie operacje on-chain, w tym składanie zleceń, anulowania i likwidacje. 

To wydanie umożliwia niezależną weryfikację działania Lighter L2 i utrzymywania bezpieczeństwa na Ethereum. Ten ruch stanowi krok w kierunku większej przejrzystości w infrastrukturze zdecentralizowanych giełd.

Kompletny System Weryfikacji Obwodów Jest Już Dostępny

Protokół ogłosił publikację za pośrednictwem swoich oficjalnych kanałów, stwierdzając, że zakończenie audytu obwodów perpetual i spot poprzedzało wydanie kodu. 

Obwody Lighter są teraz dostępne na GitHub w repozytorium elliottech/lighter-prover. Użytkownicy mogą uruchomić skrypt build_circuits.sh z domyślnymi ustawieniami, aby zbudować wszystkie warstwy obwodów od podstaw. Proces generuje zaktualizowany kontrakt ZkLighterVerifier, który odpowiada wdrożonej wersji.

Lighter Verifier Proxy działa pod konkretnym adresem Ethereum, udokumentowanym na Etherscan do publicznej inspekcji. 

Deweloperzy mogą porównać kontrakt pod tym adresem z wynikiem ze skryptu budowania. Ten proces weryfikacji zapewnia spójność między wdrożonymi kontraktami a kodem open-source. System przetwarza dziennie około 500 milionów zleceń i anulowań na platformie handlowej Lighter.

Zgodnie z dokumentacją techniczną projektu, architektura stosuje się do ścisłego protokołu walidacji. L2Beat opublikował szczegóły struktury inteligentnych kontraktów, pokazując, jak weryfikator wymaga ważnych dowodów dla partii operacji. 

Bez prawidłowego dowodu kryptograficznego system odrzuca zmiany stanu na Ethereum. Ten mechanizm zapobiega nieautoryzowanym modyfikacjom stanu blockchain.

Metryki Wydajności i Infrastruktura Weryfikacji

System dowodów z wiedzą zerową obsługuje znaczny wolumen handlu, zachowując jednocześnie gwarancje bezpieczeństwa. 

Lighter przetwarza setki milionów transakcji dziennie poprzez swoje obwody weryfikacyjne. Zespół nadal zwiększa efektywność infrastruktury dowodowej. Protokół twierdzi, że osiąga najwyższą liczbę transakcji na sekundę wśród rozwiązań Ethereum Layer 2.

Proces weryfikacji obejmuje wiele typów operacji w systemie handlowym. Zlecenia, anulowania i likwidacje przechodzą weryfikację kryptograficzną przed aktualizacją stanu. 

To kompleksowe podejście zapewnia, że każda akcja na platformie otrzymuje odpowiednią walidację. Obwody utrzymują integralność operacji handlowych, jednocześnie zachowując prywatność użytkowników.

Wydanie open-source pozwala deweloperom blockchain i badaczom bezpieczeństwa zbadać logikę weryfikacji. 

Zespoły techniczne mogą przeprowadzić audyt implementacji kryptograficznej i zwalidować model bezpieczeństwa. Ta przejrzystość pomaga budować zaufanie do architektury platformy. Wydanie kodu jest zgodne z najlepszymi praktykami branżowymi dla rozwiązań skalowania Layer 2.

Post Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits ukazał się pierwszy raz na Blockonomi.