Lighter công bố mã nguồn mở các mạch Bằng chứng Zero-knowledge sau kiểm toán bảo mật

TLDR:

• Lighter đã công bố mã xác minh Bằng chứng Zero-knowledge sau khi hoàn thành kiểm toán các mạch giao dịch vĩnh viễn và Spot.
• Phiên bản mã nguồn mở cho phép xác minh độc lập các lệnh, hủy lệnh và thanh lý bắt buộc trên Ethereum blockchain.
• Giao thức xử lý khoảng 500 triệu lệnh và hủy lệnh hàng ngày thông qua hệ thống xác minh của mình.
• Các nhà phát triển có thể xây dựng mạch bằng cách sử dụng các tập lệnh kho lưu trữ GitHub để khớp với các Hợp đồng thông minh Ethereum đã triển khai.

Lighter đã công khai mã xác minh Bằng chứng Zero-knowledge sau khi hoàn thành kiểm toán bảo mật toàn diện các mạch giao dịch vĩnh viễn và Spot. 

Giao thức Layer 2 đã công bố mã xác minh tất cả các hoạt động Xử lý on-chain, bao gồm đặt lệnh, hủy lệnh và thanh lý bắt buộc. 

Bản phát hành này cho phép xác minh độc lập cách Lighter L2 hoạt động và duy trì bảo mật trên Ethereum blockchain. Động thái này đại diện cho một bước tiến hướng tới minh bạch hơn trong cơ sở hạ tầng sàn giao dịch phi tập trung.

Hệ thống xác minh mạch hoàn chỉnh hiện đã có sẵn

Giao thức đã thông báo việc công bố thông qua các kênh chính thức, cho biết việc hoàn thành kiểm toán các mạch vĩnh viễn và Spot đã diễn ra trước khi phát hành mã. 

Các mạch Lighter hiện có thể truy cập trên GitHub tại kho lưu trữ elliottech/lighter-prover. Người dùng có thể chạy tập lệnh build_circuits.sh với cài đặt mặc định để xây dựng tất cả các lớp mạch từ đầu. Quá trình này tạo ra một hợp đồng ZkLighterVerifier cập nhật khớp với phiên bản đã triển khai.

Lighter Verifier Proxy hoạt động tại một địa chỉ Ethereum cụ thể, được ghi chép trên Etherscan để công chúng kiểm tra. 

Các nhà phát triển có thể so sánh hợp đồng tại địa chỉ này với đầu ra từ tập lệnh xây dựng. Quá trình xác minh này đảm bảo tính nhất quán giữa các hợp đồng đã triển khai và mã nguồn mở. Hệ thống xử lý khoảng 500 triệu lệnh và hủy lệnh hàng ngày trên nền tảng giao dịch của Lighter.

Theo tài liệu kỹ thuật của dự án, kiến trúc tuân theo giao thức xác thực nghiêm ngặt. L2Beat đã công bố chi tiết về cấu trúc Hợp đồng thông minh, cho thấy cách trình xác minh yêu cầu các bằng chứng hợp lệ cho các lô hoạt động. 

Không có bằng chứng mật mã chính xác, hệ thống sẽ từ chối các thay đổi trạng thái trên Ethereum blockchain. Cơ chế này ngăn chặn các sửa đổi trái phép đối với trạng thái blockchain.

Số liệu hiệu suất và cơ sở hạ tầng xác minh

Hệ thống Bằng chứng Zero-knowledge xử lý Khối lượng giao dịch đáng kể trong khi vẫn duy trì các đảm bảo bảo mật. 

Lighter xử lý hàng trăm triệu giao dịch thông qua các mạch xác minh của mình mỗi ngày. Nhóm tiếp tục nâng cao hiệu quả của cơ sở hạ tầng chứng minh. Giao thức tuyên bố đạt được số giao dịch trên giây cao nhất trong số các giải pháp Ethereum Layer 2.

Quá trình xác minh bao gồm nhiều loại hoạt động trong hệ thống giao dịch. Lệnh, hủy lệnh và thanh lý bắt buộc đều trải qua xác minh mật mã trước khi cập nhật trạng thái xảy ra. 

Cách tiếp cận toàn diện này đảm bảo rằng mọi hành động trên nền tảng đều nhận được xác thực phù hợp. Các mạch duy trì tính toàn vẹn của các hoạt động giao dịch đồng thời bảo vệ quyền riêng tư của người dùng.

Bản phát hành mã nguồn mở cho phép các nhà phát triển blockchain và nhà nghiên cứu bảo mật kiểm tra logic xác minh. 

Các nhóm kỹ thuật có thể kiểm toán việc triển khai mật mã và xác thực mô hình bảo mật. Sự minh bạch này giúp xây dựng niềm tin vào kiến trúc của nền tảng. Việc phát hành mã tuân theo các thực tiễn tốt nhất trong ngành cho các giải pháp mở rộng Layer 2.

Bài viết Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits xuất hiện đầu tiên trên Blockonomi.