Tìm hiểu thêm về trọng tài

Tiêu đề gốc: " Trọng tài trong vòng dưới 10 phút 》

Tác giả gốc: Nick Crow

Bản tổng hợp gốc: Min Min & Ajian, người đam mê Ethereum

Tháng tới, Tracer sẽ triển khai sản phẩm hoán đổi vĩnh viễn của mình trên Arbitrum. Bài viết này sẽ giúp bạn hiểu sâu hơn về cơ chế đằng sau Arbitrum để bạn có thể có trải nghiệm tốt hơn khi giao dịch qua Tracer trong môi trường L2.

Tóm tắt kiến trúc

• Vì Arbitrum là giải pháp mở rộng L2 cho Ethereum L1 nên kiến trúc của Arbitrum một phần dựa trên L1 và một phần trên L2.

• Thành phần của Arbitrum trên L1 là EthBridge, bao gồm một bộ hợp đồng Ethereum.

• EthBridge chịu trách nhiệm phân xử giao thức Arbitrum Rollup và duy trì hộp thư đến và hộp thư đi của Arbitrum trên chuỗi Ethereum.

• Người dùng, hợp đồng L1 và nút đầy đủ có thể gửi giao dịch của họ đến chuỗi Arbitrum thông qua hộp thư đến và hộp thư đi trên chuỗi Ethereum và quan sát kết quả của các giao dịch đó.

• Máy ảo Arbitrum (AVM) là một tính năng do EthBridge cung cấp và là cổng kết nối giữa L1 và L2.

• AVM có thể đọc đầu vào và thực hiện các phép tính dựa trên những đầu vào đó để tạo ra đầu ra.

• ArbOS chạy trên AVM, đảm bảo các hợp đồng thông minh được thực thi trên chuỗi Arbitrum. ArbOS tồn tại hoàn toàn trên L2 và chạy các hợp đồng EVM giống như trên Ethereum.

- Sơ đồ kiến trúc Arbitrum-

Giao thức cuộn lên Arbitrum

• Thứ tự tin nhắn trong hộp thư đến của bạn quyết định kết quả của giao dịch.

• Do đó, bất kỳ ai kiểm tra hộp thư đến của họ sẽ biết kết quả của các giao dịch, chỉ bằng cách tự thực hiện chúng.

→ Giao thức Arbitrum Rollup có trách nhiệm xác nhận kết quả của các giao dịch đã xảy ra.

• Người dùng tham gia vào giao thức được gọi là người xác thực; nếu người xác thực gửi ETH vào hợp đồng đặt cược, họ sẽ trở thành người đặt cược và có thể đặt cọc các khối trên chuỗi Arbitrum.

• Không cần có sự cho phép để trở thành người xác thực hoặc người đặt cược.

•  Về mặt bảo mật, chỉ cần một trình xác thực trung thực để đảm bảo rằng chuỗi Arbitrum thực thi chính xác.

• Điều này làm cho chuỗi Arbitrum trở nên không đáng tin cậy ở mức độ tương tự như chuỗi Ethereum.

• Arbitrum giả định rằng ít nhất một người xác nhận là trung thực.

• Giao thức Arbitrum Rollup hoạt động trên chuỗi Arbitrum Rollup. Sau này là một chuỗi các khối Rollup, độc lập với chuỗi Ethereum.

• Vai trò của người xác thực là đề xuất các khối mới và thêm chúng vào chuỗi Arbitrum.

• Mỗi khối được đề xuất cuối cùng sẽ được xác nhận hoặc từ chối bởi giao thức.

• Mỗi khối chứa nhiều trường. Ngoại trừ trường số khối, dữ liệu trong mỗi trường là sự khẳng định của người đề xuất khối nhưng không nhất thiết phải chính xác.

• Nếu bất kỳ trường xác nhận nào không chính xác, giao thức cuối cùng sẽ từ chối khối.

• Tất cả các khối được đề xuất đều có thời gian xác nhận.

• Người xác thực phản đối một khối phải đề xuất khối chính xác. Những người xác thực trung thực gửi thành công bằng chứng gian lận sẽ được khen thưởng.

Cam kết

• Để khối Rollup được thêm vào chuỗi, người đặt cược phải đặt cọc khối đó.

• Đặt cược là không được phép và bất kỳ ai cũng có thể đặt cọc bất kỳ khối nào.

• Khi bạn đặt cọc một khối, bạn không thể lấy lại tiền đặt cọc cho đến khi khối đó được xác nhận.

• Khi bạn đặt cược vào một khối, điều đó có nghĩa là bạn tin rằng khối đó là chính xác và mọi khối trong chuỗi từ khối được xác nhận mới nhất đến khối bạn đặt cược đều đúng.

• Nếu khối bạn đặt cược không chính xác hoặc nếu một khối trong chuỗi từ khối được xác nhận mới nhất đến khối bạn đặt cược không chính xác, tiền gửi của bạn sẽ bị mất.

• Nếu bạn không muốn đặt cược vào một khối nhất định, bạn có thể đặt cược vào khối được xác nhận mới nhất.

• Nếu bạn đặt cược vào một khối nhất định, bạn có thể mở rộng đặt cược của mình sang bất kỳ khối nào theo sau khối đó.

• Số lượng tài sản thế chấp cần thiết là linh hoạt.

• Có một tham số số tiền đặt cược cơ sở được chỉ định trên chuỗi Arbitrum được sử dụng trong hầu hết các trường hợp.

• Để ngăn kẻ tấn công làm chậm mạng do phải trả giá bằng việc đặt cược, số tiền đặt cược được nhân với hệ số tăng theo cấp số nhân theo thời gian chờ (thời gian chờ được tính từ thời hạn của khối không xác định đầu tiên).

• Điều này nhằm làm tăng chi phí của kiểu tấn công này trong quá trình tấn công.

• Việc tăng gấp đôi số tiền đặt cược này chỉ là tạm thời và sẽ chỉ xảy ra nếu quá trình xác nhận khối của chuỗi Arbitrum diễn ra chậm.

Thỏa thuận thách thức

• Khi hai người đặt cược đặt cược vào các khối khác nhau và không có mối quan hệ thừa kế giữa hai khối, họ sẽ không đồng ý về một khối, gây ra thách thức.

• Các thách thức chủ yếu xảy ra trên chuỗi Arbitrum và được xét xử theo hợp đồng L1.

• Các thử thách bao gồm trò chơi cắt lát nhiều vòng tương tác được chơi trên L2 và thử nghiệm một bước được thực hiện trên L1.

• Nếu người đặt cược tranh chấp một khối, người đặt cược đề xuất khối đó sẽ đóng vai trò là "bị đơn" để bảo vệ khẳng định của mình.

• Người đặt cọc "bị cáo" tuyên bố rằng bắt đầu từ khối trước, sau khi máy ảo thực hiện N lệnh, trạng thái của khối trước đó sẽ được nâng lên trạng thái của khối được đề xuất.

• Trong trò chơi cắt lát, người cầm cố (Alice) trong vai “bị cáo” đứng đầu và chia N lệnh thành K đoạn, với kích thước mỗi đoạn là N/K.

• Xin lưu ý rằng mức tiêu thụ Arbgas của mỗi bước là bằng nhau nhưng số bước không nhất thiết phải bằng nhau.

• Cũng lưu ý rằng mỗi đoạn văn đều có phần mở đầu và phần kết thúc (điều này không quan trọng nhưng sẽ giúp chúng ta hiểu được điểm tiếp theo).

• Người cầm cố (Bob) với tư cách là "nguyên đơn" cũng chia N hướng dẫn thành K phân đoạn (kích thước của mỗi phân đoạn là N/K) và khớp chúng một đối một với các phân đoạn được phân đoạn của Alice và nhận thấy rằng một trong các phân đoạn được phân đoạn là Điểm cuối khác với điểm cuối của Alice.

• Bob thực sự đang xác định những phân khúc mà anh ấy không đồng ý.

• Sau đó, Bob sẽ thực hiện thao tác ban đầu của Alice, chia phân đoạn đang tranh chấp (kích thước N/K) thành K phân đoạn con và sau đó gửi phân đoạn này cùng với các phân đoạn con cho Alice.

• Alice thực hiện thao tác ban đầu của Bob và tìm phân đoạn có các điểm cuối khác nhau.

• Quá trình phân tách tiếp tục cho đến khi Alice và Bob tìm ra hướng dẫn mà họ không đồng ý.

• Hướng dẫn này được gửi đến hợp đồng L1, hợp đồng này sẽ thực thi nó và xác định “người chiến thắng” trong tranh chấp.

• “Bên thua” sẽ mất cam kết, một phần cam kết sẽ bị phá hủy (để ngăn chặn những kẻ tấn công phòng ngừa rủi ro cá cược của họ), phần còn lại sẽ được thưởng cho “người chiến thắng” trung thực.

• Trong suốt quá trình sharding, hợp đồng L1 với tư cách là người phân xử không biết bất kỳ thông tin nào về hướng dẫn và chỉ chịu trách nhiệm xác minh xem cả hai bên có tuân thủ luật chơi hay không.

• Trong quá trình tranh chấp, tất cả những người xác nhận khác có thể tự xác định kết quả của tranh chấp trước khi tranh chấp được hoàn tất, điều đó có nghĩa là một soft fork xảy ra và những người xác thực có thể tiếp tục gửi các khối Rollup trên đúng chuỗi.

• Giai đoạn thử thách có thời gian bắt buộc là khoảng một tuần cho mỗi người đặt cược.

• Mỗi người đóng góp phải hoàn thành nhiệm vụ của mình trong thời hạn một tuần, nếu không họ sẽ "thua kiện".

• Giống như một bộ đếm thời gian trò chơi cờ vua.

- Hình ảnh trên hiển thị nhiều vòng của trò chơi cắt lát tương tác được chơi bởi hai người đặt cược trong quá trình tranh chấp. Trên thực tế, khẳng định được đề cập chứa nhiều hướng dẫn hơn những gì được hiển thị trong hình trên và do đó có nhiều lượt chơi hơn, nhưng nguyên tắc vẫn giống nhau -

Người xác minh

• Trình xác thực là các nút trên chuỗi Arbitrum chịu trách nhiệm giám sát hoạt động của giao thức Rollup và nâng cao trạng thái của toàn bộ chuỗi.

• Không phải tất cả các nút đều là trình xác nhận.

• Offchain Labs mong đợi những người xác thực áp dụng chiến lược chủ động, phòng thủ hoặc chờ xem; giao thức không buộc họ phải áp dụng bất kỳ chiến lược nào.

• "Trình xác thực đang hoạt động" sẽ tiếp tục nâng cao trạng thái của chuỗi bằng cách đề xuất các khối mới. Chỉ cần một trình xác thực hoạt động trung thực trên mỗi chuỗi; việc tăng số lượng trình xác thực đang hoạt động sẽ không làm tăng hiệu quả của toàn bộ chuỗi.

• "Người xác thực phòng thủ" giám sát giao thức Arbitrum và chỉ hành động khi họ phát hiện hành vi không trung thực: tự đề xuất một khối chính xác hoặc đặt cược vào đúng khối do người xác thực khác đề xuất.

• Mặc dù "người xác nhận chờ và xem" giám sát giao thức Arbitrum giống như người xác thực phòng thủ, ngay cả khi họ phát hiện ra hành vi không trung thực, họ sẽ không đề xuất hoặc đặt cược vào khối chính xác mà sẽ chỉ đưa ra cảnh báo cho những người xác thực khác.

• Các phòng thí nghiệm offchain sẽ chạy các nút xác thực đang hoạt động trên chuỗi Arbitrum hàng đầu của họ.

• Trong hầu hết các trường hợp, trình xác thực phòng thủ và trình xác thực chờ xem không cần phải làm gì cả, vì vậy kẻ tấn công không bao giờ biết có bao nhiêu trình xác thực phòng thủ.

• Mặc dù bất kỳ ai cũng có thể trở thành người xác thực, nhưng dự kiến những người chọn trở thành người xác nhận chủ yếu là những người đã đặt cọc một lượng lớn tài sản trên chuỗi hoặc những người mà họ tuyển dụng.

Nút đầy đủ

• Các nút đầy đủ trên chuỗi Arbitrum có vai trò giống như các nút đầy đủ trên Ethereum, chịu trách nhiệm theo dõi trạng thái của chuỗi và cho phép những người khác tương tác với chuỗi.

• Trình mô phỏng AVM tích hợp nút đầy đủ. Do đó, từ góc độ của nút đầy đủ, chuỗi Arbitrum chỉ tính toán đầu ra dựa trên đầu vào mà không biết giao thức tổng hợp thực tế.

• Các nút đầy đủ có thể hoạt động như bộ tổng hợp trên chuỗi để giúp người dùng cải thiện hiệu quả chi phí.

• Arbitrum cũng thu phí từ người dùng thông qua một cơ sở để bù đắp chi phí cho các nút đầy đủ đóng vai trò là bộ tổng hợp.

• Các nút đầy đủ cũng có thể giảm thêm chi phí dữ liệu cuộc gọi L1 bằng cách nén các giao dịch.

• Nút đầy đủ gửi giao dịch đã nén vào hộp thư đến và arbOS sẽ giải nén giao dịch sau khi nhận được.

• Các nút đầy đủ thường kết hợp nén và tổng hợp thành một, tức là gửi một loạt giao dịch đã nén vào hộp thư đến.

Chế độ tuần tự

• Khi chuỗi Arbitrum bắt đầu, chúng ta có thể chọn có bật trình sắp xếp thứ tự hay không.

• Trình sắp xếp thứ tự là một nút đầy đủ có đặc quyền quyết định thứ tự các giao dịch trong hộp thư đến.

• Đặc quyền này cho phép trình sắp xếp chuỗi đảm bảo ngay lập tức kết quả của giao dịch.

• Nếu chuỗi Arbitrum đã bật trình sắp xếp thứ tự thì hộp thư đến sẽ được chia thành hai phần:

• Hộp thư đến đầu tiên sẽ hoạt động bình thường như thể trình sắp xếp thứ tự không tồn tại, tức là các nút có thể gửi tin nhắn đến hộp thư đến này được đánh dấu bằng số khối và dấu thời gian.

• Hộp thư đến thứ hai sẽ được điều khiển bởi trình sắp xếp thứ tự và chỉ trình sắp xếp thứ tự mới có thể gửi tin nhắn đến hộp thư đến đó.

• Khi gửi tin nhắn đến hộp thư đến, trình sắp xếp thứ tự có thể chỉ định số khối và dấu thời gian được sử dụng để đánh dấu tin nhắn.

• Điều này bao gồm số khối và dấu thời gian (của các khối trong quá khứ) và giây delta (trong quá khứ) cho đến khối delta đã chỉ định.

• Các giá trị delta này thường tương ứng với khoảng 10 phút trong thế giới thực.

• Khi arbOS nhìn vào hộp thư đến, nó sẽ nhận được tin nhắn có số khối thấp nhất. Số khối này là số khối của hộp thư đến thông thường hoặc số khối của hộp thư đến theo thứ tự.

• Số lượng khối mà trình sắp xếp thứ tự có thể xem lại tùy thuộc vào số lượng khối xác nhận cần thiết để hoàn thiện khối trọng tài trên Ethereum.

• Nếu trọng tài cần đợi các khối X để đạt được tính hữu hạn trên Ethereum thì trình sắp xếp thứ tự sẽ cần xem lại các khối X để xác định giao dịch nào sẽ được xử lý ngay sau giao dịch mà nó hiện đang đóng gói.

• Khi chế độ trình sắp xếp thứ tự được bật trên chuỗi Arbitrum, các giao dịch được gửi tới trình sắp xếp chuỗi sẽ được hoàn tất x khối sớm hơn so với khi không có trình sắp xếp chuỗi, nhưng các giao dịch được gửi đến hộp thư đến thông thường sẽ được hoàn tất x khối sớm hơn so với khi không có trình sắp xếp chuỗi. sau đó.

• Vì có sự khác biệt lớn giữa sự chắc chắn ngay lập tức và sự chắc chắn trong 5 phút so với sự chắc chắn trong 5 phút và sự chắc chắn trong 10 phút, nên đây là một sự đánh đổi tích cực.

• Tuy nhiên, các trình sắp xếp chuỗi độc hại có thể khai thác các đặc quyền này ở một mức độ nhất định.

• Trình sắp xếp thứ tự độc hại có thể kiểm duyệt các giao dịch của người dùng bằng cách không đặt chúng vào hộp thư đến của trình sắp xếp thứ tự, buộc người dùng phải gửi giao dịch tương tự đến hộp thư đến thông thường sau khi phát hiện ra rằng chúng đã bị kiểm duyệt.

• Trình sắp xếp chuỗi cũng có thể chạy trước các giao dịch của người dùng.

• Chuỗi Arbitrum ban đầu sẽ cho phép trình sắp xếp chuỗi do Offchain Labs điều hành.

• Nhóm Cornell Tech đã đạt được một số kết quả trong việc phát triển thuật toán sắp xếp thứ tự công bằng phi tập trung và chỉ cần thêm một số công việc nghiên cứu nữa để triển khai thành giải pháp dài hạn của Arbitrum.

- Sự khác biệt trong hộp thư đến khi chế độ trình sắp xếp thứ tự bật/tắt-

ArbGas / Chi phí

• Nguyên lý của ArbGas tương tự như khí Ethereum và được sử dụng để đo lường chi phí tính toán trên chuỗi Arbitrum.

• Tuy nhiên, không có giới hạn cứng đối với ArbGas trên chuỗi Arbitrum và ArbGas được tiêu thụ nhanh hơn nhiều so với khí Ethereum.

• Vai trò chính của ArbGas là dự đoán sẽ mất bao lâu để xác minh kết quả tính toán.

• Mỗi khối Rollup chứa một tuyên bố về tổng mức tiêu thụ ArbGas, có nghĩa là sự khác biệt giữa tuyên bố trong khối hiện tại và tuyên bố trong khối trước đó phải là một chỉ báo hiệu quả về mức tiêu thụ ArbGas của khối hiện tại.

• Do đó, khi kiểm tra tính hợp lệ của khối, người xác nhận có thể đặt chênh lệch này làm giới hạn gas trên. Nếu có quá nhiều ArbGas cạn kiệt trước khi khối được thực thi, có thể xác định rằng khối không hợp lệ và thử thách nó thành công. .

• Vì dữ liệu của các giao dịch này cuối cùng cần phải được tải lên chuỗi nên người dùng cần phải trả phí.

• Nếu người dùng gửi giao dịch đến đơn vị tổng hợp, một phần phí sẽ tự động được trả cho đơn vị tổng hợp dưới dạng bồi thường.

• Các khoản phí còn lại sẽ được đưa vào nhóm phí của mạng để thanh toán phí dịch vụ nhằm đảm bảo toàn bộ chuỗi hoạt động an toàn.

• Phí bao gồm các giao dịch L2, dữ liệu cuộc gọi L1, chi phí tính toán và lưu trữ.

• Phí được thanh toán bằng ETH.

Kết luận

• Arbitrum là một giải pháp khả năng mở rộng L2 được phát triển bởi Offchain Labs: Optimistic Rollup sử dụng giao thức thử thách tương tác nhiều vòng.

• Chuỗi Arbitrum hàng đầu đã được mở cho các nhà phát triển vào ngày 28 tháng 5. Khi các dự án chạy trên chuỗi này đạt đến ngưỡng, chúng sẽ được mở cho người dùng.

• Từ góc độ người dùng, trải nghiệm tương tác của chuỗi Arbitrum không khác gì Ethereum.

Tháng tới, Tracer sẽ triển khai Hoán đổi vĩnh viễn trên mạng chính Arbitrum. Chào mừng bạn theo dõi Tracer trên Twitter và tham gia Discord.

Liên kết gốc

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia