Lighter publie en Open-Source ses circuits de preuve à divulgation nulle de connaissance suite aux audits de sécurité

TLDR:

• Lighter a publié le code de vérification de la Preuve à divulgation nulle de connaissance suite à la réalisation des audits des circuits perpétuels et au comptant.
• La publication open-source permet la vérification indépendante des ordres, annulations et liquidations sur Ethereum.
• Le protocole traite environ 500 millions d'ordres et d'annulations quotidiennement via son système de vérification.
• Les développeurs peuvent construire des circuits en utilisant des scripts du dépôt GitHub pour correspondre aux Smart Contracts Ethereum déployés.

Lighter a rendu public son code de vérification de Preuve à divulgation nulle de connaissance après avoir achevé des audits de sécurité complets de ses circuits de trading perpétuels et au comptant. 

Le protocole Layer 2 a publié le code qui vérifie toutes les opérations on-chain, y compris les placements d'ordres, les annulations et les liquidations. 

Cette publication permet la vérification indépendante du fonctionnement de Lighter L2 et du maintien de la sécurité sur Ethereum. Cette initiative représente une étape vers une plus grande transparence dans l'infrastructure des échanges décentralisés.

Système de vérification de circuit complet désormais disponible

Le protocole a annoncé la publication via ses canaux officiels, déclarant que l'achèvement de l'audit des circuits perpétuels et au comptant a précédé la publication du code. 

Les circuits Lighter sont désormais accessibles sur GitHub dans le dépôt elliottech/lighter-prover. Les utilisateurs peuvent exécuter le script build_circuits.sh avec les paramètres par défaut pour construire toutes les couches de circuits depuis le début. Le processus génère un Smart Contract ZkLighterVerifier mis à jour qui correspond à la version déployée.

Le Lighter Verifier Proxy fonctionne à une adresse Ethereum spécifique, documentée sur Etherscan pour inspection publique. 

Les développeurs peuvent comparer le Smart Contract à cette adresse avec le résultat du script de construction. Ce processus de vérification garantit la cohérence entre les Smart Contracts déployés et le code open-source. Le système traite environ 500 millions d'ordres et d'annulations quotidiennement sur la plateforme de trading de Lighter.

Selon la documentation technique du projet, l'architecture suit un protocole de validation strict. L2Beat a publié les détails de la structure du Smart Contract, montrant comment le vérificateur requiert des preuves valides pour les lots d'opérations. 

Sans preuve cryptographique correcte, le système rejette les changements d'état sur Ethereum. Ce mécanisme empêche les modifications non autorisées de l'état de la blockchain.

Métriques de performance et infrastructure de vérification

Le système de Preuve à divulgation nulle de connaissance gère un volume de trading substantiel tout en maintenant les garanties de sécurité. 

Lighter traite des centaines de millions de transactions via ses circuits de vérification chaque jour. L'équipe continue d'améliorer l'efficacité de l'infrastructure de preuve. Le protocole prétend atteindre le plus grand nombre de transactions par seconde parmi les solutions Ethereum Layer 2.

Le processus de vérification couvre plusieurs types d'opérations au sein du système de trading. Les ordres, annulations et liquidations subissent tous une vérification cryptographique avant que les mises à jour d'état ne se produisent. 

Cette approche globale garantit que chaque action sur la plateforme reçoit une validation appropriée. Les circuits maintiennent l'intégrité des opérations de trading tout en préservant la confidentialité des utilisateurs.

La publication open-source permet aux développeurs blockchain et chercheurs en sécurité d'examiner la logique de vérification. 

Les équipes techniques peuvent auditer l'implémentation cryptographique et valider le modèle de sécurité. Cette transparence contribue à renforcer la confiance dans l'architecture de la plateforme. La publication du code suit les meilleures pratiques de l'industrie pour les solutions de mise à l'échelle Layer 2.

L'article Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits est apparu en premier sur Blockonomi.