Giao thức Lagrange: Tương tác liên chuỗi không cần tin cậy thông qua ZK
Tuyển chọn TechFlowTuyển chọn TechFlow
Giao thức Lagrange: Tương tác liên chuỗi không cần tin cậy thông qua ZK
Các giao thức truyền tin truyền thống dựa vào các nút để chuyển tiếp thông tin, nhưng Lagrange lại áp dụng một phương pháp khác. Nó cho phép bất kỳ ai cũng có thể gửi và xác thực thông điệp đã được mã hóa, tương tự như cách IBC dựa vào client nhẹ để thực hiện xác thực liên chuỗi.
Chuyên sâu báo cáo Web3Tác giả: Maven 11
Biên dịch: TechFlow
Khả năng tương tác chéo chuỗi và tính bảo mật đang trở thành một thách thức trong công nghệ blockchain hiện nay, và công ty khởi nghiệp ZK Lagrange Labs đã đưa ra giải pháp của mình. Maven11, với tư cách là một tổ chức đầu tư tham gia, đã viết bài phân tích tầm quan trọng của Lagrange, bài viết này trình bày chi tiết các khái niệm cốt lõi của giao thức Lagrange, quy trình xác minh và cách tận dụng công nghệ bằng chứng không kiến thức (zero-knowledge proof - ZKP) để thực hiện các thao tác chéo chuỗi đáng tin cậy.
Bằng chứng trạng thái chéo chuỗi cực kỳ quan trọng đối với các ứng dụng trong thế giới đa chuỗi. Nó cho phép các ứng dụng sử dụng những tuyên bố về trạng thái chuỗi do người dùng không đáng tin cậy gửi lên nhưng vẫn có thể xác minh được. Các trường hợp sử dụng bao gồm định giá DEX đa chuỗi, tập hợp lợi nhuận, định giá cho vay,...
Đơn giản hơn, bằng chứng trạng thái (lưu trữ) là một loại bằng chứng (không kiến thức), nhằm chứng minh sự tồn tại của một trạng thái trên chuỗi bất kỳ. Nhờ vào sức mạnh của bằng chứng không kiến thức (ZKP), chúng ta có thể đạt được điều này một cách hiệu quả và không cần tin tưởng, mà không phải phụ thuộc vào mạng lưới oracle.
Các giao thức truyền thông truyền thống dựa vào các nút để truyền tải thông tin, nhưng Lagrange lại áp dụng phương pháp khác biệt. Nó cho phép bất kỳ ai cũng có thể gửi lên thông tin được mã hóa và xác minh, tương tự như IBC sử dụng client nhẹ để xác minh chéo chuỗi.
Trong Lagrange, bất kỳ lớp truyền tải chéo chuỗi nào hoặc người dùng không đáng tin cậy đều có thể gửi lên những bằng chứng phi tương tác có thể được xác minh trực tiếp trên chuỗi. Những bằng chứng này không phụ thuộc vào tập hợp bộ xác thực hay chữ ký, đảm bảo việc lấy dữ liệu trực tiếp trên chuỗi và tổng hợp hiệu quả giữa các chuỗi.
Việc xác minh bằng chứng trạng thái của Lagrange bao gồm nhiều bước:
-
Xác minh gốc trạng thái: Xác minh bằng chứng ngắn gọn không kiến thức do Ủy ban Trạng thái Lagrange tạo ra, cho thấy tính xác thực của một gốc trạng thái (đầu khối) nhất định.
-
Bằng chứng lưu trữ theo lô: Xác minh xem một nhóm trạng thái đã tuyên bố có tồn tại trong gốc trạng thái cụ thể của một chuỗi nhất định hay không.
-
Tính toán phân tán không kiến thức: Xác minh bất kỳ tính toán phân tán nào được thực hiện trên trạng thái chuỗi.
Do bằng chứng trạng thái của Lagrange mang tính mô-đun, các giao thức có thể lựa chọn sử dụng phần bằng chứng trạng thái, lưu trữ hoặc tính toán, từ đó tùy chỉnh hệ thống bằng chứng phù hợp với ứng dụng của mình. Các ứng dụng chéo chuỗi hiện tại có thể dễ dàng nâng cao tính bảo mật hoặc khả năng biểu đạt của công cụ chéo chuỗi.
Khung xử lý dữ liệu lớn không kiến thức của Lagrange tận dụng cấu trúc dữ liệu động tương tự cây Verkle, cho phép các ứng dụng kết hợp bằng chứng lưu trữ hiệu quả với bất kỳ tính toán phân tán nào (như MapReduce hoặc SQL phân tán).
Với SDK LagrangeJS, các nhà phát triển có thể dễ dàng yêu cầu bằng chứng trạng thái từ bất kỳ chuỗi nào và chỉ định các tính toán phân tán tùy ý chạy trên tập con trạng thái lưu trữ. Điều này giúp các nhà phát triển tận dụng bằng chứng trạng thái và lưu trữ chéo chuỗi an toàn thông qua giao diện thân thiện với người dùng.
SDK Lagrange cũng đơn giản hóa quá trình đồng thời tạo ra bằng chứng trạng thái trên nhiều chuỗi. Những bằng chứng này cho phép các DApp tích hợp với giao thức Lagrange có thể tích hợp nhiều xác minh trạng thái vào một giao dịch duy nhất trên chuỗi.
Giao thức Lagrange thúc đẩy việc xác minh trạng thái chéo chuỗi bằng cách tích hợp các blockchain chính. Ban đầu, nó tương thích với mọi EVM L1, L2 và rollup. Trong tương lai, kế hoạch hỗ trợ các chuỗi phi EVM như Solana, Sui, Aptos và các chuỗi dựa trên Cosmos SDK.
Hơn nữa, Lagrange còn đang nỗ lực cải thiện tính bảo mật của các giao thức cầu nối và truyền tin chéo chuỗi hiện tại bằng cách tận dụng các khoản đặt cọc kinh tế, nhằm tạo ra tính đảm bảo cuối cùng mạnh mẽ trong từng slot cho Optimistic Rollup. Điều này có thể cải thiện đáng kể khả năng tương tác giữa các rollup tách biệt trên Ethereum.
Nguyên lý hoạt động cơ bản là tạo ra bằng chứng client nhẹ ZK cho Optimistic Rollup, thay vì triển khai "client nhẹ" hiện tại trên Ethereum – tức là Ủy ban đồng bộ Ethereum.
Ủy ban đồng bộ Ethereum hiện tại chỉ có 512 bộ xác thực được chọn ngẫu nhiên, nhận phần thưởng cao hơn mỗi ngày để cung cấp chức năng client nhẹ.
Tính bảo mật của Ủy ban Trạng thái Chéo Chuỗi Lagrange bắt nguồn từ số lượng nút liên tục tăng lên, kích thước động, với các khoản đặt cọc kinh tế — các nút này hoặc tái đặt cược thông qua EigenLayer, hoặc đặt cược thông qua các sản phẩm phái sinh thanh khoản như Rocket Pool.
Các nút phải ký xác nhận cho mỗi khối mới đạt đến trạng thái cuối cùng trên chuỗi mà họ đang xác minh. Trái ngược với giới hạn 512 nút của Ủy ban đồng bộ client nhẹ Ethereum, Ủy ban Trạng thái Chéo Chuỗi hỗ trợ số lượng nút vô hạn. Do đó, tài sản đặt cọc đằng sau mỗi bằng chứng có thể mở rộng động theo nhu cầu, tạo ra bằng chứng an toàn cho từng chuỗi hoặc Rollup cụ thể.
Bằng chứng trạng thái có các trường hợp sử dụng quan trọng trong các giao thức như bộ sắp xếp chung (shared sequencer), góp phần cải thiện giao tiếp giữa các Rollup, cũng như giải quyết vấn đề oracle trong các triển khai như SUAVE.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
Maven 11
