Phân tích cú pháp cập nhật lớn cho Arbitrum: xác minh không được phép với BOLD

Tác giả: @francescoweb3; bản dịch: Huohuo/blockchain bản ngữ

**Arbitrum đang trở nên phi tập trung hơn: sử dụng BOLD để xác minh không được phép. **Mặc dù đây có thể không phải là một tuần có tên như BALD, nhưng đây là một bản cập nhật lớn đối với thiết kế của Arbitrum.

BOLD là viết tắt của Bounded Liquidity Delay, và đúng như tên gọi, đó là một "giao thức tranh chấp" cung cấp cho Arbitrum khả năng xác minh không được phép.

**1. Tại sao bạn cần ĐẬM? **

Nói một cách đơn giản, tất cả các Rollup lạc quan đều ổn định trạng thái của chúng trên Ethereum. ** Làm thế nào để họ đảm bảo giao dịch hợp lệ? Thông qua cái gọi là hệ thống bằng chứng gian lận. **

Trong thực tế, điều này xảy ra thông qua một tập hợp các thực thể được gọi là trình xác thực. Những trình xác thực này đưa ra các tuyên bố về trạng thái của L2 và xác nhận thông qua các hợp đồng thông minh rằng những tuyên bố này là đúng.

Sau đó, sẽ có khoảng thời gian thử thách 7 ngày (hoặc thời gian chờ đợi) trong thời gian đó những người xác thực khác có thể thực sự phản đối các xác nhận quyền sở hữu này và nếu có sự khác biệt, quy trình giải quyết tranh chấp sẽ được bắt đầu.

Nếu khiếu nại được xác nhận, trạng thái L2 được coi là chính xác và quá trình thanh toán hoàn tất trên Ethereum.

Quá trình xác minh thông qua bằng chứng gian lận đã gây ra sự chậm trễ khoảng 7 ngày đối với cầu nối cục bộ giữa Arbitrum và Ethereum.

Giao thức tranh chấp liên quan đến việc các bên gửi bằng chứng gian lận tới Ethereum để xác định kết quả hợp lệ của giao dịch L2.

** Vấn đề là gì? Hiện tại, việc xác minh thông qua bằng chứng gian lận là bắt buộc đối với cả Arbitrum One và Nova. **

Lý do của việc này là để bảo vệ giao thức tranh chấp khỏi các cuộc tấn công từ chối dịch vụ. Nếu một trình xác nhận độc hại tiếp tục chi tiền để ngăn xác nhận quyền sở hữu, thì việc rút L2 sang Ethereum sẽ bị chặn và trong khi họ có đủ tiền, quá trình này có thể tiếp tục trong một thời gian dài.

Đây được gọi là một cuộc tấn công trì hoãn và nó cố gắng ngăn chặn tiến trình của giao thức Tổng số bằng cách "cố gắng ngăn chặn hoặc trì hoãn việc xác nhận bất kỳ kết quả nào". Cuộc tấn công này được thiết kế để ngăn chặn trình xác thực gửi bằng chứng gian lận, do đó trạng thái L2 không thể được xác nhận và giải quyết cho Ethereum.

Thật vậy, việc chuyển sang xác minh không được phép yêu cầu một giao thức có khả năng chống lại các cuộc tấn công trì hoãn, như BOLD.

BOLD là một phương pháp xác minh L2 không cần cấp phép mới.

Nó cho phép Arbitrum:

Đảm bảo an ninh và sự sống động của chuỗi

Giảm thiểu độ trễ trong giải quyết nhà nước

Ngăn chặn các bên không trung thực làm tăng chi phí cho các bên trung thực.

Trên thực tế, BOLD có thể giúp phân cấp chuỗi Arbitrum bằng cách cung cấp "xác nhận bị trì hoãn thêm 7 ngày cố định" miễn nhiễm với các cuộc tấn công trì hoãn.

Nó đạt được điều này bằng cách cho phép "tranh chấp tất cả với tất cả" hiệu quả, trong đó ngay cả một người xác thực trung thực duy nhất cũng có thể thắng tranh chấp với bất kỳ số lượng xác nhận quyền sở hữu độc hại nào.

Do đó, BOLD có thể giải quyết tranh chấp giữa nhiều bên một cách hiệu quả trong một quy trình mà không cần dựa vào các thách thức trực tiếp trước đó.

BOLD yêu cầu tất cả các bên ủng hộ một tuyên bố cụ thể cùng nhau chiến đấu "như một đội".

Do đó, bất kỳ tranh chấp nào trong BÓNG đều liên quan đến việc thực thi "xác định" trạng thái L2, không liên quan đến một tổ chức hoặc tổ chức cụ thể.

Điều này có nghĩa là bất kỳ ai đồng ý với một trạng thái đều có thể biện minh cho nó trước khi tìm ra một điểm không nhất quán nào.

Do đó, vì các tranh chấp trong BOLD được tiến hành với tư cách là một phần của toàn bộ nhóm nên mọi thành viên trung thực trong nhóm đều ủng hộ mọi hành động đã thỏa thuận được thực hiện thay mặt cho nhóm.

Bản chất xác định của trạng thái L2 chính xác có nghĩa là các bên trung thực sẽ luôn thắng nếu họ tham gia, vì các bên độc hại không thể giả mạo bằng chứng thực hiện giao dịch Thiết kế này hiệu quả hơn vì mỗi bên có thể "âm thầm dựa vào người khác để đại diện cho vị trí của mình mà không lo bên đó sẽ cố tình thất bại trong thử thách".

Hiểu biết sâu sắc về ĐẬM

Thay vì được xem như một giao thức thử thách giữa các bên khác nhau, giao thức BOLD nên được hiểu là một cuộc cạnh tranh giữa các "cạnh" trong đó mục tiêu của những người tham gia là chọn đúng cạnh là người chiến thắng.

Làm thế nào để quá trình này hoạt động trong nền?

1. "Cạnh" là cấu trúc dữ liệu chính trong giao thức thử thách.
2. Mục tiêu của ĐẬM là xác nhận các cạnh tương ứng với phép tính chính xác và ngăn mọi cạnh không chính xác được xác nhận.
3. BOLD theo dõi trạng thái của một cạnh, nhưng không ràng buộc một cạnh với bất kỳ bên cụ thể nào.
4. Các cạnh được phân loại theo mối quan hệ của chúng để thực hiện chính xác.
5. Giao thức không biết cạnh thuộc loại nào, nhưng những người tham gia trung thực có thể biết.
6. Một cạnh có "Cam kết lịch sử bắt đầu" và "Cam kết lịch sử kết thúc".
7. Một lợi thế có thể chứng minh được nếu cả phần đầu và phần cuối của nó đều đúng; nó là sai lệch nếu chỉ phần đầu của nó là đúng; và nó không liên quan nếu cả hai đều sai.
8. Để biện minh cho giao thức: 8.1 Định lý bảo mật: Không thể xác nhận độ lệch khỏi bất kỳ lề nào. 8.2 Thời gian hoàn thành Định lý: Các cạnh trung thực có thể được xác nhận trước một số thời hạn.

cơ sở hạ tầng ĐẬM

2. Kết luận

BOLD đạt được độ trễ tối ưu ràng buộc khi xác nhận kết quả và cũng giới hạn tuyến tính công việc mà các bên trung thực yêu cầu về lợi ích bị bên đối nghịch tịch thu.