Tác giả: Frank, Foresight News
Tác giả: Frank, Foresight News
Vào ngày 12 tháng 10 năm 2022, theo giờ Bắc Kinh, Vitalik Buterin đã tham gia sự kiện Rollup Day do dự án mở rộng Ethereum Scroll tổ chức. Là một trong những hoạt động ngoại vi của Devcon VI ở Bogotá, sự kiện này chủ yếu tập trung vào chủ đề Ethereum Rollup.
Vào Rollup Day, Vitalik đã có một bài phát biểu về chủ đề cơ chế đa bằng chứng - "Làm cứng các rollup với nhiều bằng chứng".
Vitalik cho rằng hầu hết tất cả các giải pháp Rollup vẫn đang trong giai đoạn sử dụng "bánh xe huấn luyện", nghĩa là Rollup ở giai đoạn này chưa đạt được độ tin cậy hoặc giảm thiểu độ tin cậy.
Một lý do quan trọng khiến các Rollup này vẫn sử dụng "bánh xe huấn luyện" là các mã quá phức tạp sẽ làm tăng bề mặt tấn công của hệ thống của họ. Lấy ví dụ về mạch ZK-EVM do nhóm PSE phát triển, mã của nó có 34.469 dòng.
Xét thực tế là trong ngắn hạn và trung hạn, rất khó để mã Rollup hoàn toàn không có lỗi, Vitalik đã liệt kê một số giải pháp thay thế để thúc đẩy Rollup giảm thiểu độ tin cậy hoặc thậm chí không còn tin cậy nữa.
Viết lại quản trị ngưỡng cao
Giải pháp 1 là sử dụng cơ chế quản trị ngưỡng cao để quyết định ghi đè mã.
Ví dụ: sơ đồ đa chữ ký 6/8 được sử dụng để quyết định có viết lại mã lỗi hay không. Sơ đồ quản trị ngưỡng cao này có thể đạt được mức giảm thiểu tin cậy nhất định, nhưng vẫn có nguy cơ thông đồng.
nhiều tài liệu tham khảo
Tùy chọn thứ hai là đa ngôn ngữ.
Học hỏi từ cơ chế nhiều khách hàng trên Ethereum và áp dụng hệ thống đa bằng chứng (nhiều lần triển khai bằng chứng gian lận hoặc nhiều lần triển khai zkEVM) để ngăn chặn thời gian ngừng hoạt động của mạng.
Nếu bất kỳ ai gửi hai gốc trạng thái xung đột cho chương trình bằng chứng và cả hai đều vượt qua, chương trình bằng chứng sẽ bị đóng; nếu không có thông báo thành công nào được chuyển qua một chương trình bằng chứng cụ thể trong vòng 7 ngày, chương trình bằng chứng sẽ bị đóng (lấy cảm hứng từ thiết kế ví hợp đồng thông minh) .
Hai người chứng nhận + nhóm quản trị
Tùy chọn thứ ba là hai người chứng minh (bằng chứng gian lận so với bằng chứng zk) cộng với một nhóm quản trị để thực hiện cơ chế đảm bảo 2/3 (hai người chứng minh cộng với phá vỡ ràng buộc quản trị).
Lợi ích của nó là:
Quản trị không nhất thiết phải đáng tin cậy (nó không thể bị mâu thuẫn bởi các bằng chứng);
Khi một người chứng minh được rằng có kẽ hở trong hệ thống, thì hệ thống kia sẽ không bị ảnh hưởng;
Lý tưởng nhất là hai chương trình kiểm chứng nên có cấu trúc rất khác nhau để giảm thiểu khả năng xảy ra lỗi đồng thời;
Vitalik cũng nói rằng "Các khối EVM chứng minh ZK hiện mất vài giờ, nhưng công nghệ sẽ cải thiện trong tương lai, tôi tin bạn, chúng tôi (trong tương lai) sẽ nhận được bằng chứng ZK Snarks trong vòng 12 giây."
Ngoài ra, một số người trong ngành khác đã tham gia sự kiện Rollup Day này và chia sẻ quan điểm của họ.
Trong số đó, Mark Tyneway, đồng sáng lập của Optimism, nói rằng "hiện tại không có Rollup nào chống kiểm duyệt, điều đó có nghĩa là Rollup có cuộc bầu cử lãnh đạo không được phép và các hợp đồng thông minh không thể nâng cấp."
Về vấn đề MEV đang nhận được nhiều sự quan tâm, Tarun Chitra, người sáng lập Gauntlet Networks, cho biết: "Khi xem xét cách chuyển sang Rollup phi tập trung và một bộ phân loại phi tập trung cụ thể, một vấn đề không thể bàn cãi là tạo ra một lượng lớn MEV".
Alex Obadia, một nhà nghiên cứu tại Flashbots, cho biết: "Không rõ liệu có nên triển khai phân tách trình xây dựng nhúng (tách người xây dựng đề xuất, PBS) trong giao thức Ethereum hay không và vẫn còn một số câu hỏi mở về cách PBS sẽ tương tác với các công cụ khác. thay đổi giao thức tiềm năng.câu hỏi".
liên kết gốc
IOS
Android