"Khung cho Tích hợp An toàn AltDA trên Ethereum" - đội ngũ @eigen_da Các tích hợp AltDA mở rộng không gian thiết kế của Ethereum, nhưng hầu hết các thiết kế và triển khai đều chưa được xác định rõ cho bảo mật L2. Đây là sự chính thức hóa đầu tiên về những gì tích hợp an toàn yêu cầu: một nền tảng cho các hệ thống không cần tin cậy. Điều này chính thức hóa các nguyên tắc tương tự được áp dụng trong khung của @l2beat.

Giả định cốt lõi: các trình sắp xếp và người đề xuất có thể hành xử ác ý. Một trình sắp xếp ác ý có thể: - Đăng tải dữ liệu bị hỏng lên L1 - Mã hóa các payload không chính xác - Giữ lại các blob cho đến sau khi cắt giảm DA Một người đề xuất ác ý có thể: - phân nhánh sự đồng thuận L2 trên Ethereum Nếu không có các kiểm tra thích hợp, những cuộc tấn công này có thể làm ngừng sự đồng thuận L2 hoặc làm cạn kiệt cầu nối.

Chúng tôi xem việc tích hợp AltDA như một chuỗi các biến đổi dữ liệu xác định trên ba cấu trúc dữ liệu. L1 Inbox bytes → AltDA Commitment → Blob → Rollup Payload Mỗi bước cần các hàm tổng quát, có nghĩa là chúng xử lý TẤT CẢ các đầu vào, bao gồm cả rác thù địch. Các triển khai một phần = thất bại về tính khả thi.

DA Verifier là rất quan trọng nhưng thường bị hiểu nhầm. Nó phải: - Tổng quát: xử lý bất kỳ đầu vào nào mà không bị sập - Chính xác: không có kết quả dương tính giả (cho phép giữ lại dữ liệu) hoặc âm tính giả (tấn công liveness yếu hơn) Một lỗi dừng trong một trò chơi thách thức = khả năng bị đánh cắp cầu.

Tích hợp OP Stack của EigenDA (Hokulea + EigenDA Proxy) thực hiện khung này và được sử dụng bởi @Celo @megaeth và những người khác sớm thôi. Cách tiếp cận của chúng tôi chính thức hóa khung của @l2beat với các định nghĩa miền rõ ràng và các hàm tổng quát. Chúng tôi hy vọng các đội rollup và DA khác sẽ thấy nó hữu ích trong việc hiểu, thiết kế và tích hợp các tích hợp an toàn.