Lagrange, một dự án đột phá trong lĩnh vực kiểm chứng dữ liệu và kết quả từ AI, đã được chọn làm dự án thứ 26 trên Binance HODLer Airdrop. Hãy cùng BTA khám phá chi tiết về dự án này qua bài viết sau.
Lagrange là gì?
Lagrange là giao thức hạ tầng thế hệ mới, hoạt động như một AVS (Actively Validated Service) trên EigenLayer, cung cấp khả năng tạo ra Zero-Knowledge proofs (ZK proofs) cho các ứng dụng đa dạng như AI inference, cross-chain messaging và rollup verification.
Không giống như các mạng prover thông thường, Lagrange tích hợp ZK Coprocessor và Verifiable Database, cho phép xử lý dữ liệu lớn và tính toán phức tạp một cách minh bạch trên blockchain.
Đặt mục tiêu trở thành “bộ máy xác minh vạn năng”, Lagrange định vị mình như một nền tảng hạ tầng cho sự phát triển của Verifiable AI, Modular Execution và DePIN, tận dụng lớp bảo mật từ Ethereum restaking để cung cấp các dịch vụ chứng minh phi tập trung, hiệu quả và có khả năng mở rộng cao.
Lagrange hoạt động như thế nào?
Lagrange bao gồm hai giao thức chính:
-
ZK Prover Network: Mạng lưới sinh bằng chứng phi tập trung với hơn 85 operator trên EigenLayer, xử lý hiệu quả và bảo mật các loại bằng chứng từ AI đến rollup.
-
ZK Coprocessor: Công cụ tính toán off-chain có thể xác minh, hỗ trợ các ứng dụng như oracle, truy vấn lịch sử và tổng hợp dữ liệu đa chuỗi với kết quả xác minh được on-chain.
Lagrange còn phát triển DeepProve – giải pháp zkML giúp xác minh kết quả mô hình AI bằng ZK proofs một cách nhanh chóng. Với kiến trúc mở rộng và tích hợp AI, Lagrange hướng đến trở thành hạ tầng cốt lõi cho các ứng dụng blockchain và AI có thể xác minh.
Tính năng của Lagrange
-
Modular Prover Network: Mạng ZK Prover dạng module, dễ mở rộng, loại bỏ điểm nghẽn tập trung.
-
Cơ chế DARA: Đấu giá kép phân bổ tài nguyên chứng minh minh bạch, hiệu quả và chống thông đồng.
-
ZK Coprocessor tích hợp zkMapReduce & Verifiable Database: Hỗ trợ truy vấn SQL trên dữ liệu on-chain, xác minh trực tiếp qua smart contract với hiệu suất cao.
-
DeepProve (zkML): Giải pháp xác minh suy luận AI bằng ZK proofs, nhanh và chính xác.
-
Universal Proving Support: Hỗ trợ sinh bằng chứng cho nhiều hệ thống (AI, Rollups, dApps, liên chuỗi), tương thích với Plonky2, Plonky3 và Boojum.
