🧵 @Agglayer v0.3 đã ra mắt.
Hầu hết các cầu nối vẫn dựa vào cảm giác "hãy tin chúng tôi".
Phiên bản này cuối cùng đã thay đổi mô hình:
"đừng tin vào cầu nối, hãy xác minh trạng thái."
Hãy để tôi hướng dẫn bạn những gì đã thay đổi và tại sao điều đó lại quan trọng 👇
Agglayer v0.3 mainnet đã hoạt động.
Cải tiến bảo mật này đặt nền tảng cho các chuỗi không phải CDK tham gia, bắt đầu với Polygon PoS vào cuối Q3. Các chuỗi có thể chứng minh trạng thái và kết nối, một cách an toàn và không cần viết lại kiến trúc.
Điểm dừng tiếp theo: tương tác nhanh (giao dịch xuyên chuỗi dưới 10 giây)
Trước v0.3, Agglayer chủ yếu tập trung vào việc xác minh các thông điệp chuỗi chéo — không phải những gì xảy ra trong các chuỗi.
Giả sử Chuỗi A gửi 100 USDC đến Chuỗi B. Mô hình cũ chỉ xác minh rằng "một thông điệp gửi 100 USDC" đã được truyền đi. Nhưng nó không chứng minh được:
- liệu Chuỗi A thực sự đã trừ 100 USDC từ ví của bạn hay không
- hoặc liệu Chuỗi B có đúng cách phát hành các token hay không
Bạn đã phải tin tưởng vào các trình tự hoặc logic cầu nối để "làm điều đúng đắn."
Với v0.3, Agglayer thêm xác minh đầy đủ cho những bước nội bộ đó. Nó kiểm tra:
- Rằng sự chuyển đổi trạng thái trên Chuỗi A là hợp lệ (ví dụ: số dư đã được trừ)
- Rằng hành vi cầu nối và yêu cầu trên Chuỗi B khớp với những gì thực sự đã xảy ra
Không còn sự tin tưởng mù quáng. Mọi thứ giờ đây đều có thể chứng minh.
Agglayer v0.3 là một bản nâng cấp lớn cho bằng chứng bi quan.
Ý tưởng cốt lõi? Các chuỗi giờ đây đính kèm một bằng chứng cho thấy chúng đã hoàn tất khối của mình một cách hợp lý — dựa trên các quy tắc của chính chúng.
Hãy nghĩ về nó như #2FA cho việc thanh toán: một yếu tố là sự khác biệt trạng thái, yếu tố thứ hai là bằng chứng rằng khối đã được xây dựng một cách trung thực.
Bảo mật Agglayer v0.3 được củng cố thông qua quy trình ba bước:
1️⃣ Chứng minh chuyển trạng thái chứng minh chuyển trạng thái của chính nó (thông qua zk proof hoặc ECDSA)
2️⃣ Chứng minh AggProver xác minh chứng minh chuyển trạng thái và các ràng buộc cầu (tức là, thoát, thay đổi gốc)
3️⃣ Cuối cùng, toàn bộ quy trình được thực hiện lại. Điều này làm cho toàn bộ hệ thống có thể xác minh và chống giả mạo — không có lối tắt, không có giả định về niềm tin.
Mỗi bước được thực hiện trong zkVM, nơi chúng tôi sử dụng @SuccinctLabs SP1! Đó là ba chứng minh SP1 cho mỗi cam kết trạng thái chuỗi! Niềm tin gấp ba!
Nó không cần niềm tin, mô-đun và an toàn hơn rất nhiều.
Hãy giải thích từng lớp một cách chi tiết:
Bước 1 — Chứng minh chuyển trạng thái Đây là nơi mỗi chuỗi chứng minh rằng chuyển trạng thái nội bộ của nó là hợp lệ.
Nếu bạn là zk rollup, bạn tạo ra một chứng minh tính hợp lệ đầy đủ (ví dụ: Plonky2/3, STARK, v.v.).
Nếu bạn không phải, bạn có thể ký gốc trạng thái mới bằng ECDSA.
Mục tiêu ở đây: chứng minh "Tôi đã xử lý những giao dịch này và cập nhật trạng thái của mình một cách trung thực."
Đầu ra là một chứng minh trạng thái cục bộ — nó chưa nói gì về cầu nối, chỉ về tính chính xác nội bộ.
3,84 N
7
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.