tiêu đề cấp đầu tiên

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

• Vì Arbitrum là một giải pháp khả năng mở rộng L2 cho Ethereum L1, nên một phần kiến ​​trúc của Arbitrum nằm trên L1 và một số nằm 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 Rollup Arbitrum và duy trì các hộp thư đến và hộp thư đi của Arbitrum rollup trên chuỗi Ethereum.

• Người dùng, hợp đồng L1 và các 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 chức năng do EthBridge cung cấp, là cổng kết nối giữa L1 ​​và L2.

• AVM có thể đọc các đầu vào và thực hiện các phép tính dựa trên các đầ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.

• Mô tả hình ảnh

tiêu đề cấp đầu tiên

Thỏa thuận Rollup Arbitrum

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

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

• Giao thức Arbitrum Rollup chịu 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 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 cam kết, họ sẽ trở thành người cầm cố và có thể đặt cọc các khối trên chuỗi Arbitrum.

• Cả người xác nhận và người đặt cược đều không cần sự cho phép.

• 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 như chuỗi Ethereum.

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

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

• Vai trò của trình 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 đều được giao thức xác nhận hoặc từ chối.

• Mỗi khối chứa một số lĩnh vực. Ngoại trừ trường số khối, dữ liệu trong mỗi trường là một xác nhận 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.

• lời hứa

lời hứa

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

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

• Khi bạn đặt cược vào một khối, bạn không thể lấy lại tiền đặt cọc của mình 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 này là chính xác và mọi khối trên 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 một khối trên 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, khoản 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, bạn có thể mở rộng đặt cược của mình cho bất kỳ khối nào sau khối đó.

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

• Có một tham số số tiền cam kết cơ sở được chỉ định trên chuỗi Arbitrum, tham số này sẽ đượ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 với chi phí đặt cược, số tiền đặt cược được nhân với một hệ số tăng theo cấp số nhân với thời gian chờ (thời gian chờ được tính từ thời hạn của khối đang chờ xử lý đầu tiên).

• Điều này là để tăng chi phí của loại tấn công này trong cuộc tấn công.

• tiêu đề phụ

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

• Một thách thức phát sinh khi hai người đặt cược vào các khối khác nhau mà không có mối quan hệ thừa kế giữa họ, họ phân kỳ trên một khối.

• Các thách thức chủ yếu diễn ra trên chuỗi Arbitrum và được phân xử bởi hợp đồng L1.

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

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

• Người cầm cố "bị đơn" 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ẽ chuyển sang trạng thái của khối được đề xuất.

• Trong trò chơi phân chia, người đặt cược (Alice), là "bị cáo", thực hiện nước đi đầu tiên và chia N hướng dẫn thành K phân đoạn và kích thước của mỗi phân đoạn là N/K.

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

• Cũng lưu ý rằng mỗi đoạn văn có phần mở đầu và phần kết thúc (điều này không quan trọng, nhưng giúp chúng ta hiểu đ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à tương ứng chúng với từng phân đoạn của Alice và thấy rằng một trong các phân đoạn đó là điểm kết thúc khác với của Alice.

• Bob thực sự đang tìm những phân đoạn mà anh ấy không đồng ý.

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

• Alice thực hiện phép toán ban đầu của Bob và tìm đoạn con có điểm kết thúc khác.

• Quá trình phân tách tiếp tục cho đến khi Alice và Bob tìm thấy một hướng dẫn mà họ đã chuyển hướ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à sau đó quyết định "người chiến thắng" trong tranh chấp.

• "Người thua cuộc" sẽ mất tiền cam kết, một số trong số đó sẽ bị phá hủy (ngăn cản những kẻ tấn công đặt cược phòng ngừa rủi ro) và phần còn lại sẽ được thưởng cho "người chiến thắng" trung thực.

• Trong toàn bộ quá trình chia tách, 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 hai bên có tuân theo quy tắc của trò chơi hay không.

• Trong quá trình tranh chấp, tất cả những người xác thực khác có thể 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à người xác thực có thể tiếp tục gửi các khối Tổng số trên chuỗi chính xác.

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

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

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

tiêu đề phụ

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 các 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 thực.

• Phòng thí nghiệm Offchain kỳ vọng những người xác thực sẽ áp dụng chiến lược chủ động, phòng thủ hoặc chờ xem; giao thức không thực thi chiến lược nào họ áp dụng.

• "Trình xác nhận tích cực" 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. Mỗi chuỗi chỉ cần một trình xác thực hoạt động trung thực; việc tăng số lượng trình xác nhận đang hoạt động không cải thiện hiệu quả của toàn bộ chuỗi.

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

• Mặc dù "người xác thực chờ và xem" cũng 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 sự không trung thực, họ sẽ không đề xuất hoặc đặt cược vào đúng khối và 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 ngoại tuyến sẽ chạy các nút trình xác thực đang hoạt động trên chuỗi Arbitrum hàng đầu của họ.

• Hầu hết thời gian, trình xác nhận phòng thủ và trình xác nhận chờ xem không cần phải làm bất cứ điều gì, vì vậy kẻ tấn công không bao giờ biết có bao nhiêu trình xác nhận phòng thủ.

• tiêu đề cấp đầu tiên

nút đầy đủ

• Các nút đầy đủ trên chuỗi Arbitrum hoạt động 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.

• Tất cả các nút đều có trình mô phỏng AVM tích hợp. Do đó, từ quan điểm 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 cần biết giao thức tổng số thực tế.

• Các nút đầy đủ có thể đóng vai trò là công cụ tổng hợp trên chuỗi, giúp người dùng tăng hiệu quả chi phí.

• Arbitrum cũng có một cơ sở để thu phí từ người dùng để bù đắp cho các nút đầy đủ về chi phí hoạt động như một công cụ tổng hợp.

• Các nút đầy đủ cũng có thể giảm hơn nữa 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.

• tiêu đề cấp đầu tiên

chế độ trình 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.

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

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

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

• Hộp thư đến đầu tiên sẽ hoạt độ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 gắn thẻ số khối và dấu thời gian.

• Hộp thư đến thứ hai sẽ được kiểm soát 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 thư đến hộp thư đến này.

• 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 để đóng dấu tin nhắn.

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

• Những đồng bằng này thường tương đương với khoảng 10 phút trong thế giới thực.

• Khi arbOS kiểm tra 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 trình sắp xếp thứ tự.

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

• Nếu arbitrum cần đợi các khối X hoàn tất trên Ethereum, thì trình sắp xếp chuỗi cần quay lại các khối X để xác định giao dịch nào sẽ được xử lý ngay sau giao dịch được đóng gói hiện tại của nó

• 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 thứ tự 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 thứ tự, nhưng các giao dịch được gửi tới hộp thư đến thông thường sẽ được hoàn tất nhanh hơn so với khi không có trình sắp xếp thứ tự.

• Đây là một sự đánh đổi tích cực do sự khác biệt lớn giữa OK tức thì và OK 5 phút so với OK 5 phút và OK 10 phút.

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

• 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 đưa 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 cùng một giao dịch đến hộp thư đến bình thường sau khi phát hiện ra rằng chúng đã bị kiểm duyệt.

• Sequencer cũng có thể chặn trước các giao dịch của người dùng.

• Chuỗi Arbitrum ban đầu sẽ kích hoạt trình sắp xếp thứ tự do Offchain Labs điều hành.

• Mô tả hình ảnh

tiêu đề cấp đầu tiên

ArbGas / Phí

• Nguyên tắc của ArbGas tương tự như Ethereum gas, đượ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 ArbGas cố định trên chuỗi Arbitrum và ArbGas được tiêu thụ nhanh hơn nhiều so với gas Ethereum.

• Vai trò chính của ArbGas là dự đoán thời gian cần thiết để xác minh kết quả tính toán.

• Mỗi khối Tổng số chứa một tuyên bố về tổng lượng 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 trong khối hiện tại.

• Do đó, khi kiểm tra tính hợp lệ của khối, người xác minh có thể đặt chênh lệch này làm giới hạn trên của gas.

• Vì dữ liệu của các giao dịch này cuối cùng cần đượ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 một giao dịch đến bộ tổng hợp, một phần phí sẽ tự động được trả cho bộ tổng hợp như một khoản 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ụ đảm bảo hoạt động an toàn của toàn bộ chuỗi.

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

• Tóm lại là

Tóm lại là

• 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 với 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, nó sẽ được mở cho người dùng.

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

Liên kết gốc:

Nếu bạn muốn tìm hiểu thêm về Arbitrum, vui lòng tham khảo tài liệu này.

Liên kết gốc:

https://tracer.finance/radar/arbitrum-in-under-10/

Biên dịch & Hiệu đính: Min Min & A Jian

Biên dịch & Hiệu đính: Min Min & A Jian