Lighter Merilis Sirkuit Bukti Tanpa Pengetahuan Secara Open-Source Setelah Audit Keamanan

TLDR:

• Lighter menerbitkan kode verifikasi zero-knowledge proof setelah menyelesaikan audit sirkuit perpetual dan spot.
• Rilis open-source memungkinkan verifikasi independen atas order, pembatalan, dan likuidasi di Ethereum.
• Protokol ini memproses sekitar 500 juta order dan pembatalan setiap hari melalui sistem verifikasinya.
• Developer dapat membangun sirkuit menggunakan skrip repositori GitHub agar sesuai dengan smart contract Ethereum yang telah di-deploy.

Lighter telah membuat kode verifikasi zero-knowledge proof-nya tersedia untuk publik setelah menyelesaikan audit keamanan komprehensif atas sirkuit trading perpetual dan spot-nya. 

Protokol Layer 2 ini menerbitkan kode yang memverifikasi semua operasi on-chain, termasuk penempatan order, pembatalan, dan likuidasi. 

Rilis ini memungkinkan verifikasi independen tentang cara kerja Lighter L2 dan mempertahankan keamanan di Ethereum. Langkah ini merupakan kemajuan menuju transparansi yang lebih besar dalam infrastruktur decentralized exchange.

Sistem Verifikasi Sirkuit Lengkap Kini Tersedia

Protokol ini mengumumkan publikasi melalui saluran resminya, menyatakan bahwa penyelesaian audit untuk sirkuit perpetual dan spot mendahului rilis kode. 

Sirkuit Lighter kini dapat diakses di GitHub pada repositori elliottech/lighter-prover. Pengguna dapat menjalankan skrip build_circuits.sh dengan pengaturan default untuk membangun semua lapisan sirkuit dari awal. Proses ini menghasilkan kontrak ZkLighterVerifier yang diperbarui yang sesuai dengan versi yang telah di-deploy.

Lighter Verifier Proxy beroperasi pada alamat Ethereum tertentu, terdokumentasi di Etherscan untuk inspeksi publik. 

Developer dapat membandingkan kontrak di alamat ini dengan output dari skrip build. Proses verifikasi ini memastikan konsistensi antara kontrak yang di-deploy dan kode open-source. Sistem ini memproses sekitar 500 juta order dan pembatalan setiap hari di seluruh platform trading Lighter.

Menurut dokumentasi teknis proyek, arsitektur mengikuti protokol validasi yang ketat. L2Beat telah menerbitkan detail struktur smart contract, menunjukkan bagaimana verifier memerlukan proof yang valid untuk batch operasi. 

Tanpa proof kriptografi yang benar, sistem menolak perubahan state di Ethereum. Mekanisme ini mencegah modifikasi tidak sah terhadap state blockchain.

Metrik Kinerja dan Infrastruktur Verifikasi

Sistem zero-knowledge proof menangani volume trading yang besar sambil mempertahankan jaminan keamanan. 

Lighter memproses ratusan juta transaksi melalui sirkuit verifikasinya setiap hari. Tim terus meningkatkan efisiensi infrastruktur pembuktian. Protokol ini mengklaim mencapai transaksi per detik tertinggi di antara solusi Layer 2 Ethereum.

Proses verifikasi mencakup berbagai jenis operasi dalam sistem trading. Order, pembatalan, dan likuidasi semuanya menjalani verifikasi kriptografi sebelum pembaruan state terjadi. 

Pendekatan komprehensif ini memastikan bahwa setiap tindakan di platform menerima validasi yang tepat. Sirkuit mempertahankan integritas operasi trading sambil menjaga privasi pengguna.

Rilis open-source memungkinkan developer blockchain dan peneliti keamanan untuk memeriksa logika verifikasi. 

Tim teknis dapat mengaudit implementasi kriptografi dan memvalidasi model keamanan. Transparansi ini membantu membangun kepercayaan terhadap arsitektur platform. Rilis kode mengikuti praktik terbaik industri untuk solusi penskalaan Layer 2.

Postingan Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits pertama kali muncul di Blockonomi.