Bạn nghĩ gì về việc bằng chứng gian lận của Optimism được điều chỉnh để được cấp phép do vấn đề bảo mật

Tác giả: HAOTIAN

Gần đây, @Optimism đã bị cộng đồng hải ngoại nghi ngờ do vấn đề kiểm tra bảo mật trong Hệ thống Chứng minh Lỗi. Ban đầu là một cơ chế chống gian lận không cần cấp phép, sau khi phát hiện ra các vấn đề bảo mật lớn, OP Foundation thực sự đã đề xuất một hard fork để khắc phục sự cố và chuyển đổi nó thành cơ chế chống gian lận được cấp phép? Chính xác thì chuyện gì đã xảy ra?

1) Nói một cách đơn giản: Hệ thống chứng minh lỗi là một cơ chế xác minh tính đúng đắn của trạng thái mạng Lớp 2. Bất kỳ ai cũng có thể gửi trạng thái L2 tới máy ảo đang tranh chấp trên L1 mà không cần được phép và chấp nhận Thử thách của người khác. thử thách thành công, cơ chế khen thưởng và trừng phạt sẽ được kích hoạt.

Đây là cơ chế chống gian lận phải tồn tại đối với cơ chế OP-Rollup để đảm bảo an ninh. Sự ra mắt của Fault Proof System vào tháng 6 đã bù đắp cho những chỉ trích của thị trường về việc OP Stack thiếu cơ chế thách thức hiệu quả.

2) Tuy nhiên, một cuộc kiểm tra dựa vào cộng đồng gần đây đã phát hiện ra nhiều lỗ hổng trong hệ thống chống gian lận và phản hồi của Optimism Foundation thật đáng ngạc nhiên:

1. được coi là lỗ hổng bảo mật nhỏ;

2. Hệ thống chống gian lận được loại trừ khỏi phạm vi kiểm toán bên ngoài;

3. Tạm thời điều chỉnh bằng chứng gian lận mà không được phép Là một cơ chế cấp phép, một biện pháp cứng rắn. kế hoạch fork có tên Granite được đề xuất để giải quyết các vấn đề bảo mật;

Bằng cách này, mọi người phải nghi ngờ về ý nghĩa và tính hiệu quả của cái gọi là Hệ thống chứng minh lỗi,

3) Làm thế nào để thực hiện bạn xem vấn đề này? Theo ý kiến ​​​​của tôi:

1. Việc ra mắt Hệ thống chống lỗi của Optimism hoàn toàn là để mở rộng hơn nữa cơ chế thách thức bảo mật cần thiết do trại OP Stack thực hiện. Thị trường đã trở nên “lạc quan” về việc liệu bản thân Optimism có như vậy hay không. một cơ chế thách thức.”;

2. Cấu trúc của Hệ thống Chứng minh Lỗi thực sự rất phức tạp. Hầu hết trạng thái có thể được xác minh cục bộ trong L2 và chỉ một số phần chính được đẩy đến máy ảo bị lỗi. L1 để ra quyết định Có, đó là sự phát triển Một máy ảo có mã hoạt động cụ thể, có thể đảm bảo chi phí xác minh L1 thấp trong khi vẫn đảm bảo tính bảo mật

3. được phép và cũng bị lộ sau khi bị vô hiệu hóa khẩn cấp. Nếu không có sự cho phép quá mức của OP Foundation và ủy ban bảo mật đa chữ ký, bằng chứng gian lận vẫn nằm trong sự kiểm soát của ủy ban bảo mật ngay cả khi không được phép;

< p>4. Sự lạc quan đạt được các mục tiêu về bảo mật và phân quyền của Giai đoạn 1 ít nhất là so với Arbitrum trong cùng phe đã tụt lại phía sau và vị trí dẫn đầu về công nghệ của ZK-Rollup sẽ được đánh giá cao hơn.