Across V4 giới thiệu kiến trúc crosschain mới và cải tiến.
Hệ thống kết hợp các ý định và chứng minh không biết (ZKP) để mở rộng ra nhiều chuỗi hơn, nhanh hơn.
Dưới đây là phân tích kỹ thuật. 🧵
Trước đây, Across đã sử dụng "cầu chuẩn" hoặc bộ điều hợp cụ thể cho chuỗi để xác minh các thông điệp từ HubPool của Ethereum.
Điều này hoạt động tốt cho các L2 như Arbitrum và Optimism, những cái mà phơi bày trạng thái đã được hoàn tất của Ethereum.
Nhưng thiết kế này thì có giới hạn...
Đối với các chuỗi không phải EVM như BSC, mô hình này không hoạt động.
Không có cách xác minh trạng thái Ethereum chính thức. Điều này có nghĩa là phải xây dựng các bộ điều hợp tùy chỉnh hoặc không hỗ trợ những chuỗi đó chút nào.
Cả hai đều không phải là giải pháp tối ưu. Vì vậy, chúng tôi đã tìm ra một cách tốt hơn bằng cách sử dụng ZKP.
Dưới đây là quy trình:
Khi các relayer thực hiện các lệnh crosschain, các giao dịch sẽ được nhóm lại thành các gói hoàn trả cho relayer, sau đó được xác minh bởi Oracle Lạc quan của @UMAProtocol.
Điều này luôn xảy ra trên mạng chính Ethereum.
Khi một gói được xác minh, HubPool Across sẽ kích hoạt quá trình thanh toán.
Sau đó, nó ghi lại các băm thông điệp hoàn trả vào hợp đồng HubPoolStore trong các vị trí lưu trữ cụ thể.
Sự kiện lưu trữ này cũng xảy ra trên mạng chính Ethereum.
Mỗi băm tin nhắn trong hợp đồng HubPoolStore tương ứng với một ý định hoàn trả cho một relayer trên một chuỗi đích.
Lưu ý rằng các tin nhắn L1 → L2 có thể đại diện cho nhiều khoản hoàn trả (bao gồm cả việc lấp đầy chậm). Điều này là do chúng là các gói gốc.
Khi hợp đồng HubPoolStore ghi một băm thông điệp đã lưu, nó phát ra một sự kiện StoredCallData.
Sự kiện này chứa băm thông điệp và khe lưu trữ.
Sự kiện + dữ liệu đã lưu tạo thành điểm neo cho việc xác minh ZK ở phía hạ lưu.
Một dịch vụ gọi là finalizer lắng nghe những sự kiện đó.
Khi nó phát hiện một sự kiện mới, nó khởi động một quy trình để chứng minh rằng hash của thông điệp thực sự đã được ghi trên Ethereum.
Mỗi thông điệp, mà hash được lưu trữ, có một mục tiêu có thể cụ thể cho chuỗi của nó.
Bằng chứng này cho phép thông điệp được thực thi một cách an toàn trên chuỗi đích.
Nhưng tính cuối cùng của Ethereum không phải là ngay lập tức.
Khi người hoàn tất gửi dữ liệu đến ZK API, API sẽ chờ qua cửa sổ tính cuối cùng của Ethereum trước khi tạo ra một bằng chứng.
Để tạo ra một chứng minh ZK hợp lệ, ủy ban đồng bộ Ethereum phải ký vào một khối đã hoàn tất cụ thể.
Nếu thông điệp được bao gồm trong hoặc trước khối đó, các chữ ký cần thiết sẽ có sẵn để bắt đầu tạo ra chứng minh ZK.
Trình hoàn tất truy vấn API ZK để tạo ra một bằng chứng rằng một băm thông điệp cụ thể đã được ghi vào một khe lưu trữ HubPoolStore đã biết trong một khối Ethereum đã hoàn tất.
Điều này cho phép xác minh không cần tin cậy về việc hoàn trả của các relayer trên bất kỳ chuỗi đích nào.
API ZK chuẩn bị các đầu vào chứng minh bao gồm (nhưng không giới hạn ở):
- Các tiêu đề beacon đã hoàn tất
- Chữ ký của ủy ban đồng bộ
- Chứng minh Merkle về lưu trữ từ lớp thực thi của Ethereum
Những điều này tạo thành cơ sở để tạo ra chứng minh.
Across triển khai một stack tổng quát trên các chuỗi đích:
- Một hợp đồng Verifier (xác thực chứng ZK)
- SP1Helios bởi @Succinct (lưu trữ trạng thái Ethereum đã hoàn tất)
- Hợp đồng UniversalSpokepool (xác minh tính xác thực của các thông điệp trong quá trình thực thi)
Khi chứng thực ZK proof và trạng thái được xác nhận, executeMsg() có thể an toàn thực thi payload trên chuỗi đích.
Không cần tin tưởng. An toàn. Toàn cầu.
Điều này có nghĩa là Across không còn cần các bộ chuyển đổi tùy chỉnh cho mỗi chuỗi.
Chỉ cần một pipeline hoạt động ở mọi nơi:
storeMsg() trên Ethereum → Bằng chứng ZK → executeMsg() trên bất kỳ chuỗi đích nào có thể xác minh bằng chứng SP1Helios.
Không có giả định về niềm tin.
Không có chi phí tích hợp.
Chỉ cần Intents + ZK.
Tại sao điều này lại quan trọng?
Nó mở rộng đáng kể phạm vi của Across bằng cách mở khóa hỗ trợ cho các chuỗi dài không thể xác minh trạng thái Ethereum một cách tự nhiên và không có cầu nối chính thức.
Điều này giúp việc tham gia nhanh hơn, an toàn hơn và có khả năng mở rộng hơn.
Across không cần một cầu nối chính thức cho những chuỗi này. Nó chỉ cần khả năng xác minh một chứng minh ZK của trạng thái Ethereum.
Điều này giảm thiểu chi phí tích hợp, tránh rủi ro cầu nối tập trung và củng cố vai trò của Ethereum như là gốc của sự thật liên chuỗi.
7,71 N
42
Nội dung trên trang này được cung cấp bởi các bên thứ ba. Trừ khi có quy định khác, OKX không phải là tác giả của bài viết được trích dẫn và không tuyên bố bất kỳ bản quyền nào trong các tài liệu. Nội dung được cung cấp chỉ nhằm mục đích thông tin và không thể hiện quan điểm của OKX. Nội dung này không nhằm chứng thực dưới bất kỳ hình thức nào và không được coi là lời khuyên đầu tư hoặc lời chào mời mua bán tài sản kỹ thuật số. Việc sử dụng AI nhằm cung cấp nội dung tóm tắt hoặc thông tin khác, nội dung do AI tạo ra có thể không chính xác hoặc không nhất quán. Vui lòng đọc bài viết trong liên kết để biết thêm chi tiết và thông tin. OKX không chịu trách nhiệm về nội dung được lưu trữ trên trang web của bên thứ ba. Việc nắm giữ tài sản kỹ thuật số, bao gồm stablecoin và NFT, có độ rủi ro cao và có thể biến động rất lớn. Bạn phải cân nhắc kỹ lưỡng xem việc giao dịch hoặc nắm giữ tài sản kỹ thuật số có phù hợp hay không dựa trên tình hình tài chính của bạn.