Giao thức Lagrange: Làm thế nào để đạt được các hoạt động xuyên chuỗi không cần tin cậy thông qua công nghệ zk?

Đọc bài viết này mất 11 phút

Các giao thức nhắn tin truyền thống dựa vào các nút để cung cấp thông tin, nhưng Lagrange có cách tiếp cận khác. Nó cho phép mọi người xác minh việc gửi thông tin bằng mật mã, tương tự như việc IBC dựa vào các ứng dụng khách nhẹ để xác minh chuỗi chéo.

Tiêu đề gốc: "Giao thức Lagrange: Làm thế nào để đạt được các hoạt động chuỗi chéo không đáng tin cậy thông qua công nghệ zk? 》

Nguồn gốc: Dòng công nghệ thủy triều sâu

Khả năng tương tác và bảo mật chuỗi chéo đã trở thành một thách thức đối với công nghệ blockchain hiện tại và công ty khởi nghiệp ZK Lagrange Labs đã cung cấp giải pháp cho vấn đề này. Maven11, với tư cách là một tổ chức đầu tư tham gia, đã viết một bài báo giải thí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 sử dụng công nghệ chứng minh không có kiến thức để đạt được các hoạt động xuyên chuỗi không cần tin cậy.

Bằng chứng trạng thái chuỗi chéo rất 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 gửi các xác nhận trạng thái chuỗi có thể kiểm chứng được bằng cách sử dụng những người dùng không đáng tin cậy. Các trường hợp sử dụng bao gồm định giá DEX đa chuỗi, công cụ tổng hợp lợi nhuận, định giá cho vay, v.v.

Nói một cách đơn giản, bằng chứng trạng thái (lưu trữ) là bằng chứng (không có kiến thức) chứng minh rằng có một trạng thái trực tuyến nhất định trên bất kỳ chuỗi nào. Thông qua phép thuật 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 cậy mà không cần tin tưởng vào mạng oracle.

Các giao thức nhắn tin truyền thống dựa vào các nút để truyền thông tin, nhưng Lagrange có cách tiếp cận khác. Nó cho phép mọi người xác minh việc gửi thông tin bằng mật mã, tương tự như việc IBC dựa vào các ứng dụng khách nhẹ để xác minh chuỗi chéo.

Trong Lagrange, bất kỳ lớp vận chuyển xuyên chuỗi nào hoặc người dùng không đáng tin cậy đều có thể gửi bằng chứng không tương tác đã được xác minh trên chuỗi. Những bằng chứng này không dựa vào một bộ trình xác thực hoặc chữ ký, đảm bảo dữ liệu được tìm nạp trực tiếp trên chuỗi và được 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 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 về không có kiến thức do Ủy ban Bang Lagrange tạo ra, cho thấy tính xác thực của gốc trạng thái nhất định (tiêu đề khối).

Bằng chứng lưu trữ hàng loạt: Xác minh rằng tập hợp các trạng thái được khai báo tồn tại trong gốc trạng thái của một chuỗi cụ thể.

Tính toán phân tán không có kiến thức: Xác minh mọi tính toán phân tán được thực hiện ở trạng thái trên chuỗi.

Vì bằng chứng trạng thái Lagrange có tính chất mô-đun nên các giao thức có thể chọn sử dụng bằng chứng từng phần về trạng thái, lưu trữ hoặc tính toán để điều chỉnh hệ thống chứng minh cho phù hợp với ứng dụng của chúng. Các ứng dụng chuỗi chéo hiện tại có thể dễ dàng cải thiện tính bảo mật hoặc hiệu suất của các công cụ chuỗi chéo của chúng.

Khung dữ liệu lớn không có kiến thức Lagrange tận dụng các cấu trúc dữ liệu động tương tự như cây Verkle, cho phép các ứng dụng kết hợp các bằng chứng ngăn chặn lưu trữ hiệu quả với các tính toán phân tán tùy ý như MapReduce hoặc SQL phân tán )Kết hợp .

Với LagrangeJS SDK, nhà phát triển có thể dễ dàng yêu cầu bằng chứng trạng thái cho bất kỳ chuỗi nào và chỉ định các phép tính tùy ý sẽ được chạy trên một tập hợp con của trạng thái được lưu trữ. Điều này cho phép các nhà phát triển tận dụng bằng chứng lưu trữ và trạng thái chuỗi chéo an toàn trong giao diện thân thiện với người dùng.

SDK Lagrange cũng đơn giản hóa quy trình tạo bằng chứng trạng thái trên nhiều chuỗi cùng một lúc. Những bằng chứng này cho phép DApps được tích hợp với giao thức Lagrange để tích hợp nhiều xác minh trạng thái vào một giao dịch trực tuyến duy nhất.

Giao thức Lagrange tạo điều kiện xác minh trạng thái chuỗi chéo bằng cách tích hợp các chuỗi khối chính. Ban đầu, nó tương thích với tất cả EVM L1, L2 và các bản tổng hợp. Trong tương lai, có kế hoạch hỗ trợ các chuỗi không phải EVM như các chuỗi dựa trên Solana, Sui, Aptos và Cosmos SDK.

Ngoài ra, Lagrange đang nỗ lực tạo ra một nền kinh tế mạnh mẽ cho Optimistic Rollup bằng cách tận dụng các yêu cầu về trái phiếu kinh tế để cải thiện tính bảo mật của các giao thức nhắn tin và cầu nối xuyên chuỗi hiện có. slot đảm bảo tính hữu hạn. Điều này có thể cải thiện đáng kể khả năng tương tác giữa các Rollup bị cô lập trên Ethereum.

Nguyên tắc hoạt động về cơ bản là tạo ra các bằng chứng ứng dụng khách nhẹ ZK cho Optimistic Rollup, thay vì triển khai "ứng dụng khách nhẹ" hiện tại trên Ethereum - đó là Ủy ban đồng bộ hóa Ethereum.

Ủy ban đồng bộ hóa Ethereum hiện tại chỉ bao gồm 512 người xác thực được chọn ngẫu nhiên, những người nhận được phần thưởng hàng ngày cao hơn để cung cấp chức năng ứng dụng khách nhẹ.

Sự an toàn của ủy ban nhà nước chuỗi chéo Lagrange đến từ sự phát triển, kích thước động Các nút có trái phiếu kinh tế được đặt cược lại bằng EigenLayeer hoặc đặt cược bằng các công cụ phái sinh đặt cược thanh khoản, chẳng hạn như Rocket Pool.

Các nút phải đạt được kết quả cuối cùng cho mỗi chuỗi mà chúng chứng minh Khối mới là đã ký. Ngược lại với giới hạn 512 nút của ủy ban đồng bộ hóa máy khách nhẹ Ethereum, ủy ban trạng thái chuỗi chéo hỗ trợ các nút không giới hạn. Do đó, tài sản thế chấp đằng sau mỗi bằng chứng có thể được mở rộng linh hoạt khi cần, tạo ra bằng chứng an toàn cho từng chuỗi hoặc tổng hợp nhất định.

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ư trình tự chia sẻ, giúp cải thiện giao tiếp cuộn chéo và giải quyết các vấn đề oracle trong quá trình triển khai như SUAVE.