🧵 @Agglayer v0.3 đã ra mắt. Hầu hết các cây cầu vẫn dựa vào những rung cảm "chỉ cần tin tưởng chúng tôi". Bản phát hành này cuối cùng đã lật ngược mô hình: "Đừng tin tưởng cây cầu, hãy xác minh tiểu bang." Hãy để tôi hướng dẫn bạn những gì đã thay đổi và tại sao nó lại quan trọng 👇

Trước phiên bản 0.3, Agglayer tập trung chủ yếu 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 cho Chuỗi B. Mô hình cũ vừa xác minh rằng "một tin nhắn gửi 100 USDC" đã được thông qua. Nhưng nó không chứng minh: - Chuỗi A có thực sự khấu trừ 100 USDC từ ví của bạn hay không - hoặc liệu Chuỗi B có đúc token chính xác hay không Bạn đã tin tưởng vào các trình sắp xếp hoặc logic cầu nối để "làm điều đúng đắn". Với v0.3, Agglayer bổ sung xác minh đầy đủ các bước nội bộ đó. Nó kiểm tra: - Rằng quá trình chuyển đổi trạng thái trên Chuỗi A là hợp lệ (ví dụ: số dư đã bị khấu trừ) - Hành vi cầu nối và tuyên bố trên Chuỗi B khớp với những gì thực sự đã xảy ra Không còn niềm tin mù quáng. Mọi thứ đều có thể chứng minh được bây giờ.

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 hiện đính kèm một bằng chứng cho thấy họ đã hoàn thành đúng khối của riêng mình - dựa trên các quy tắc của riêng họ. Hãy nghĩ về nó giống như #2FA để giải quyết: một yếu tố là sự khác biệt của tiểu bang, 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 tăng cường thông qua quy trình ba bước: 1️⃣ Chứng minh chuyển đổi trạng thái chứng minh quá trình chuyển đổi trạng thái của chính nó (thông qua bằng chứng zk hoặc ECDSA) 2️⃣ Bằng chứng AggProver xác minh bằng chứng chuyển đổi trạng thái và các ràng buộc cầu nối (tức là thoát, thay đổi gốc) 3️⃣ Cuối cùng, toàn bộ mọi thứ đượ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 tin cậy. Mỗi bước được thực hiện trong zkVM, nơi chúng tôi sử dụng @SuccinctLabs SP1! Đó là ba SP1 Proofs cho mỗi cam kết trạng thái chuỗi! Tin tưởng gấp ba! Nó không đáng tin cậy, mô-đun và an toàn hơn. Hãy giải thích từng lớp một:

Bước 1 - Bằng chứng chuyển đổi trạng thái Đây là nơi mỗi chuỗi chứng minh rằng quá trình chuyển đổi trạng thái bên trong của chính nó là hợp lệ. Nếu bạn là một zk rollup, bạn tạo ra một bằng chứng hợp lệ đầy đủ (ví dụ: Plonky2/3, STARK, v.v.). Nếu không, 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ý các 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." Kết quả là một bằng chứng về trạng thái địa phương - nó chưa nói gì về các cây cầu, chỉ là tính đúng đắn bên trong.