Hướng dẫn đầy đủ nhất về Optimistic Rollup: Đây là mọi thứ bạn cần biết

Tiêu đề gốc: "Hướng dẫn đầy đủ nhất về tổng hợp lạc quan: Đây là mọi thứ bạn cần biết"

Nguồn gốc: Babbitt

Lưu ý: Tác giả gốc là Georgios Konstantopoulos, nhà nghiên cứu tại Quỹ Paradigm.

Một trong những thách thức lớn nhất mà hệ sinh thái Ethereum phải đối mặt là độ trễ thấp dưới những hạn chế nghiêm ngặt về tài nguyên (chẳng hạn như CPU, băng thông, bộ nhớ và dung lượng ổ đĩa) và thông lượng cao .

Mức độ phân quyền của một hệ thống phụ thuộc vào khả năng của nút yếu nhất trong mạng trong việc xác minh các quy tắc hệ thống. Chúng tôi tin rằng các giao thức hiệu suất cao có thể chạy trên phần cứng có nguồn tài nguyên thấp là "có thể mở rộng".

Trong bài viết này, chúng ta sẽ đi sâu vào các nguyên tắc của “Giải pháp Lớp 2” hiện đại, các mô hình bảo mật tương ứng của chúng và cách chúng giải quyết câu hỏi về khả năng mở rộng của Ethereum.

Bài viết này dành cho những cá nhân tò mò muốn tìm hiểu thêm về các công nghệ mở rộng quy mô Ethereum tiên tiến, cũng như động lực xây dựng và kiến trúc con người cho các hệ thống như vậy.

Yêu cầu về tài nguyên blockchain

Có ba yếu tố sẽ ảnh hưởng đến Yêu cầu về tài nguyên để chạy các nút trong các mạng phi tập trung như Bitcoin và Ethereum:

Băng thông: chi phí tải xuống và phát bất kỳ dữ liệu nào liên quan đến blockchain;

Tính toán: chi phí chạy tính toán trong tập lệnh hoặc hợp đồng thông minh;

Lưu trữ: chi phí lưu trữ dữ liệu giao dịch cho mục đích lập chỉ mục và chi phí tiếp tục xử lý trạng thái khối giao dịch mới".

Hiệu suất được đo lường theo hai cách:

Thông lượng: Hệ thống mỗi giây Số lượng giao dịch có thể được xử lý;

Độ trễ: thời gian cần thiết để xử lý một giao dịch;

Lý tưởng cho các mạng tiền điện tử mới nổi như Bitcoin và Ethereum Đặc điểm là sự phân quyền. Nhưng điều gì làm cho web trở nên phi tập trung?

Độ tin cậy thấp: Thuộc tính này cho phép mọi người xác minh rằng tổng số Bitcoin không phải là 21 triệu BTC hoặc không có Bitcoin giả. Cá nhân chạy phần mềm nút sẽ tính toán độc lập trạng thái mới nhất và xác minh rằng tất cả các quy tắc đều được tuân thủ trong quy trình;

Chi phí thấp: Nếu vận hành phần mềm nút tốn kém, các cá nhân sẽ dựa vào bên thứ ba đáng tin cậy để xác minh trạng thái. Chi phí cao có nghĩa là yêu cầu về độ tin cậy cao, đó là điều chúng tôi muốn tránh ngay từ đầu.

Một tính năng mong muốn khác là khả năng mở rộng: khả năng mở rộng quy mô thông lượng và độ trễ một cách siêu tuyến tính với chi phí vận hành hệ thống. Định nghĩa này hay nhưng nó không bao gồm “niềm tin”. Do đó, chúng tôi chỉ định "khả năng mở rộng phi tập trung": nghĩa là đạt được khả năng mở rộng mà không làm tăng đáng kể các giả định về độ tin cậy của hệ thống.

Nếu bạn phóng to, môi trường thời gian chạy của Ethereum là Máy ảo Ethereum (EVM). Các giao dịch chạy qua EVM thực hiện nhiều hoạt động khác nhau với mức chi phí khác nhau (ví dụ: chi phí vận hành cửa hàng cao hơn hoạt động bổ sung). Đơn vị tính toán trong các giao dịch được gọi là "gas" và hệ thống được tham số hóa để xử lý tối đa 12,5 triệu Gas mỗi khối, với một khối giao dịch trung bình được tạo ra cứ sau 12,5 giây. Do đó, Ethereum có độ trễ khoảng 12,5 giây và thông lượng 1 triệu gas mỗi giây.

Bạn có thể gặp câu hỏi này: Bạn có thể sử dụng bao nhiêu 1 triệu gas mỗi giây?

Có khoảng 47 giao dịch chuyển khoản đơn giản mỗi giây. Mỗi giao dịch này tiêu tốn 21.000 gas. Đây là những loại giao dịch đơn giản nhất, chẳng hạn như chuyển ETH từ địa chỉ A đến địa chỉ Đến địa chỉ B;

Có khoảng 16 lần chuyển token ERC20 mỗi giây. So với giao dịch ETH, các giao dịch này liên quan đến nhiều hoạt động lưu trữ hơn nên mỗi lần tốn khoảng 60.000 gas;

Đó có khoảng 10 giao dịch tài sản Uniswap mỗi giây và các giao dịch giữa các mã thông báo trên nền tảng tiêu tốn trung bình 102.000 gas;

V.v.;

Xin lưu ý rằng khi độ phức tạp của việc thực hiện giao dịch tăng lên, thông lượng của hệ thống sẽ giảm xuống giá trị rất thấp. Vẫn còn chỗ để cải thiện!

Giải pháp 1: Sử dụng trung gian

Chúng tôi có thể sử dụng một bên thứ ba đáng tin cậy để hỗ trợ tất cả các giao dịch của chúng tôi. Bằng cách này, chúng tôi có thể đạt được thông lượng rất cao và có thể có độ trễ thứ cấp, điều này thật tuyệt vời! Điều này sẽ không thay đổi bất kỳ tham số nào trên toàn hệ thống, nhưng chúng tôi sẽ chọn tham gia mô hình tin cậy do bên thứ ba đơn phương thiết lập. Họ có thể chọn kiểm duyệt chúng tôi hoặc thậm chí tịch thu tài sản của chúng tôi, điều này là không nên.

Giải pháp 2: Làm cho các khối lớn hơn và rút ngắn khoảng cách giữa các khối

Chúng tôi có thể giảm độ trễ bằng cách rút ngắn thời gian giữa hai khối và chúng tôi có thể tăng thông lượng bằng cách tăng giới hạn gas của khối. Nhưng thay đổi này sẽ làm cho hoạt động của nút trở nên tốn kém hơn, ngăn cản các cá nhân chạy các nút (ví dụ: đây là phương pháp được EOS, Solana, Ripple, v.v. sử dụng).

Chúng ta có thể thấy rằng giải pháp 1 bổ sung thêm các yêu cầu về độ tin cậy, trong khi giải pháp 2 tăng thêm chi phí. Điều này làm cho cả hai giải pháp đều không phải là lựa chọn tốt cho khả năng mở rộng.

Xây dựng lại từ những nguyên tắc đầu tiên Hiểu về Lạc quan Rollup

Trong phần này, chúng tôi giả định rằng Người đọc đã được giới thiệu các khái niệm của băm và cây merkle.

Dựa trên những gì chúng ta đã học được cho đến nay, hãy mô phỏng một số cuộc đối thoại Socrates với mục tiêu khám phá một giao thức có thể tăng thông lượng hiệu quả của khối lượng Ethereum mà không làm tăng gánh nặng cho người dùng và nhà khai thác nút.

Hỏi: Vậy... chúng tôi muốn mở rộng quy mô Ethereum mà không thay đổi niềm tin và các giả định về chi phí. chúng ta nên làm gì?

Trả lời: Chúng tôi muốn giảm yêu cầu về chi phí hệ thống cho các hoạt động hiện tại của mình (xem ba loại tài nguyên ở trên). Để hiểu rằng việc triển khai nó không phải là một nhiệm vụ dễ dàng, trước tiên chúng ta cần hiểu kiến trúc của Ethereum:

Mọi nút trong Ethereum hiện đang lưu trữ và thực thi mọi giao dịch được gửi bởi người dùng. Trong quá trình thực hiện, các giao dịch chạy qua EVM và tương tác với trạng thái của EVM (ví dụ: lưu trữ, số dư, v.v.), điều này rất tốn kém. Các kỹ thuật tối ưu hóa hợp đồng thông minh phổ biến tập trung vào việc giảm thiểu số lượng tương tác với trạng thái, nhưng chúng chỉ mang lại những cải tiến nhỏ về hệ số không đổi.

Hỏi: Bạn đang nói rằng có một phương thức giao dịch không ảnh hưởng đến trạng thái và do đó làm giảm chi phí tài nguyên?

Trả lời: Trong những trường hợp đặc biệt, chúng tôi có thể chuyển tất cả việc thực thi ra khỏi chuỗi và giữ một số dữ liệu trên chuỗi. Chúng tôi có thể làm điều này bằng cách giới thiệu một bên thứ ba được gọi là trình sắp xếp chuỗi. Họ chịu trách nhiệm lưu trữ và thực hiện các giao dịch do người dùng gửi cục bộ. Để giữ cho hệ thống luôn hoạt động, các trình sắp xếp chuỗi cần phải cam kết định kỳ các gốc merkle của các giao dịch mà họ nhận được và các gốc trạng thái được tạo ra trên Ethereum. Đây là một bước đi đúng hướng vì chúng tôi chỉ lưu trữ dữ liệu trạng thái Ethereum O(1) cho các giao dịch ngoài chuỗi O(N).

H: Vậy chúng tôi mở rộng quy mô bằng cách yêu cầu trình sắp xếp chuỗi tính toán mọi thứ bên ngoài chuỗi và chỉ xuất bản gốc merkle?

Trả lời: Có.

Hỏi: Ok, sau khi bạn tham gia, bộ nối tiếp sẽ đảm bảo rằng các lần chuyển của bạn sẽ rẻ, vậy làm thế nào việc gửi và rút tiền có hiệu quả không?

Trả lời: Người dùng sẽ vào hệ thống này bằng cách gửi tiền trên Ethereum và sau đó trình sắp xếp thứ tự sẽ ghi có số tiền tương ứng vào tài khoản của người dùng. Người dùng rút tiền trở lại mạng chính Ethereum bằng cách thực hiện giao dịch "Tôi muốn rút 3 ETH, tài khoản của tôi hiện có>3 ETH và đây là bằng chứng về điều đó." Ngay cả khi L1 không có trạng thái người dùng thực tế, người dùng có thể chứng minh rằng họ có đủ tiền ở trạng thái hiện tại bằng cách hiển thị bằng chứng merkle tham chiếu đến trạng thái gốc do trình sắp xếp chuỗi xuất bản.

Hỏi: Chúng tôi đã xác định rằng người dùng cần có bằng chứng merkle để rút tiền Quỹ của họ, làm cách nào để người dùng có được dữ liệu để xây dựng bằng chứng merkle?

Trả lời: Họ có thể yêu cầu người sắp xếp chuỗi cung cấp dữ liệu cho họ!

Hỏi: Nhưng nếu trình sắp xếp thứ tự tạm thời hoặc vĩnh viễn không khả dụng thì sao?

Trả lời: Trình sắp xếp chuỗi có thể độc hại hoặc đơn giản là ngoại tuyến do các vấn đề kỹ thuật, điều này sẽ gây ra sự suy giảm hiệu suất (hoặc tệ hơn là bị đánh cắp tiền!) Do đó, chúng tôi cũng phải yêu cầu trình sắp xếp thứ tự gửi dữ liệu giao dịch hoàn chỉnh trên chuỗi để lưu trữ nhưng không thực thi. Mục đích ở đây là để có được dữ liệu sẵn có. Giả sử rằng tất cả dữ liệu được lưu trữ vĩnh viễn trên Ethereum, ngay cả khi trình sắp xếp chuỗi biến mất, trình sắp xếp chuỗi mới có thể truy xuất tất cả dữ liệu liên quan đến Lớp 2 từ Ethereum, tái tạo lại trạng thái L2 mới nhất và tiếp tục nơi nó dừng lại.

Hỏi: Vậy nếu trình sắp xếp chuỗi đang trực tuyến nhưng từ chối cung cấp cho tôi dữ liệu bằng chứng merkle, tôi có thể Tải xuống qua Ethereum?

Đáp: Có, bạn có thể tự đồng bộ hóa nút Ethereum hoặc kết nối với một trong nhiều dịch vụ nút được quản lý.

Hỏi: Vậy tôi vẫn không hiểu... làm sao bạn có thể lưu trữ thứ gì đó trên Ethereum và không thực thi nó? ? Không phải mọi giao dịch đều phải thông qua EVM sao?

A: Giả sử bạn gửi 10 giao dịch để chuyển ETH từ địa chỉ A sang địa chỉ B. Thực hiện mỗi giao dịch sẽ thực hiện các thao tác sau: Tăng nonce của A , giảm số dư của A và tăng số dư của B. Đây là khá nhiều thao tác viết và đọc từ trạng thái thế giới. Thay vào đó, bạn có thể gửi mã hóa của tất cả các giao dịch tới hàm public{} của hợp đồng thông minh. Xin lưu ý rằng nội dung của hàm này trống! Điều này có nghĩa là dữ liệu giao dịch được xuất bản không được diễn giải, thực thi hoặc truy cập ở bất kỳ đâu: nó chỉ được lưu trữ trong nhật ký lịch sử của blockchain (với chi phí ghi thấp).

Hỏi: Chúng ta có thể tin cậy trình sắp xếp chuỗi không? Điều gì sẽ xảy ra nếu họ đưa ra chuyển đổi trạng thái không hợp lệ?

Trả lời: Bất cứ khi nào trình sắp xếp trình tự đưa ra một loạt các chuyển đổi trạng thái sẽ xảy ra một "giai đoạn tranh chấp". Trong khoảng thời gian này, bất kỳ bên A nào cũng có thể "bằng chứng gian lận" có thể được đưa ra để chứng minh rằng một trong các chuyển đổi trạng thái là không hợp lệ. Được chứng minh bằng cách phát lại giao dịch gây ra sự chuyển đổi trạng thái trên chuỗi và so sánh gốc trạng thái kết quả với gốc trạng thái do trình sắp xếp chuỗi xuất bản. Nếu gốc trạng thái không khớp, bằng chứng gian lận sẽ thành công và quá trình chuyển đổi trạng thái bị hủy bỏ. Nếu có thêm chuyển đổi trạng thái sau chuyển đổi trạng thái không hợp lệ, chúng cũng sẽ bị hủy. Các giao dịch vượt quá thời gian tranh chấp sẽ không còn bị tranh chấp và sẽ được coi là giao dịch cuối cùng.

Hỏi: Đợi một chút! Bạn đã nói trước đó rằng bạn không thể thực sự mở rộng quy mô nếu a) tăng chi phí hoặc b) đưa ra các giả định về niềm tin mới. Vì vậy, trong sơ đồ bạn mô tả, không phải chúng ta cũng cho rằng luôn có người báo cáo gian lận sao?

Trả lời: Có, chúng tôi giả định rằng có một thực thể được gọi là "người xác minh" chịu trách nhiệm giám sát gian lận. Nếu ở trạng thái Lớp 1 và Lớp 2 Nếu không trùng khớp, họ sẽ cấp giấy chứng nhận gian lận. Chúng tôi cũng giả định rằng người xác nhận có thể thu được bằng chứng gian lận trong Ethereum một cách đáng tin cậy trong thời gian tranh chấp. Chúng tôi tin rằng sự tồn tại của các trình xác nhận là một giả định "yếu". Hãy tưởng tượng một ứng dụng có hàng nghìn người dùng và bạn chỉ cần một người chạy trình xác thực. Điều này nghe có vẻ rất khả thi, mặt khác, việc thay đổi mô hình tin cậy của Ethereum hoặc tăng chi phí vận hành nút Ethereum là những thay đổi giả thuyết “mạnh mẽ” mà chúng tôi không muốn thực hiện. Khi chúng tôi xác định khả năng mở rộng phi tập trung, đây chính là ý nghĩa của việc cố ý thay đổi các giả định của hệ thống cơ bản.

H: Tôi đồng ý rằng sẽ có người đến và chạy trình xác thực vì nhiều người tham gia đã thành công với giải pháp mới này, vâng Có quyền lợi được đảm bảo. Nhưng để chắc chắn thì còn phụ thuộc vào chi phí thực tế. Vậy các yêu cầu về tài nguyên để chạy trình xác thực và trình sắp xếp chuỗi là gì?

Trả lời: Trình sắp xếp chuỗi và trình xác thực phải chạy nút đầy đủ Ethereum (không phải nút lưu trữ), nút L2 hoàn chỉnh, để tạo L2 trạng thái. Trình xác thực chạy phần mềm chịu trách nhiệm tạo bằng chứng gian lận, trong khi trình xác thực chạy phần mềm chịu trách nhiệm đóng gói các giao dịch của người dùng và xuất bản chúng.

Hỏi: Vậy à?

Trả lời: Có! Chúc mừng! Bạn đã khám phá lại Optimistic Rollup [3], giải pháp mở rộng quy mô được mong đợi nhất trong năm 2019-2021. Đây là đỉnh cao của quá trình nghiên cứu kéo dài nhiều năm của cộng đồng Ethereum, như bạn có thể trải nghiệm trong cuộc trò chuyện ngắn gọn ở trên.

Khuyến khích trong sự tập hợp lạc quan

Việc mở rộng quy mô lớp 2 dựa trên thực tế là chúng tôi cố gắng giảm thiểu số lượng giao dịch được thực hiện trên chuỗi. Chúng tôi sử dụng bằng chứng gian lận để hủy mọi chuyển đổi trạng thái không hợp lệ có thể đã xảy ra. Vì bằng chứng gian lận là các giao dịch trực tuyến nên chúng tôi cũng muốn giảm thiểu số lượng bằng chứng gian lận được công bố trên Ethereum. Trong một thế giới lý tưởng, gian lận sẽ không bao giờ xảy ra nên không cần phải đưa ra bằng chứng gian lận.

Chúng tôi loại bỏ gian lận bằng cách đưa ra chính sách đảm bảo lòng trung thành. Để người dùng xây dựng trình sắp xếp chuỗi, trước tiên họ phải gửi một khoản tiền gửi trên Ethereum, số tiền này có thể bị mất nếu chứng minh được gian lận. Để khuyến khích các cá nhân phát hiện gian lận, tiền gửi của người sắp xếp chuỗi sẽ được chia nhỏ và phân phối cho những người xác nhận phát hiện ra gian lận.

Tiền đặt cọc trung thành và thời gian tranh chấp

Khi thiết kế các biện pháp khuyến khích để chống gian lận, cần phải điều chỉnh hai tham số:

Quy mô tiền gửi trung thành: nghĩa là cần phải thiết lập một trình sắp xếp số tiền bị khóa, những khoản tiền này cũng là mục tiêu mà người xác nhận nên theo đuổi. Rõ ràng, số tiền này càng lớn thì động lực để trở thành người xác nhận càng lớn và động lực để người sắp xếp chuỗi thực hiện hành vi gian lận càng nhỏ.

Thời gian tranh chấp: Khoảng thời gian trong đó bằng chứng gian lận được đưa ra, sau đó các giao dịch L2 được coi là an toàn để giải quyết trên L1. Thời gian tranh chấp kéo dài nhằm mang lại sự bảo mật tốt hơn trước các cuộc tấn công kiểm duyệt. Mặt khác, thời gian tranh chấp ngắn hơn sẽ tạo ra trải nghiệm tốt hơn cho người dùng vì họ không phải đợi lâu để sử dụng lại tiền của mình trên L1.

Theo quan điểm của chúng tôi, không có giá trị tĩnh chính xác cho cả hai tham số, có lẽ khoản tiền gửi 10 ETH và thời gian tranh chấp 1 ngày là đủ. Có thể khoản tiền gửi 1 ETH và thời gian tranh chấp 7 ngày cũng được. Câu trả lời thực sự là nó phụ thuộc vào động lực để trở thành người xác nhận (điều này phụ thuộc vào chi phí chạy trình xác thực) và mức độ dễ dàng đưa ra bằng chứng gian lận (điều này phụ thuộc vào mức độ tắc nghẽn của L1). Cả hai điều này đều có thể điều chỉnh được, dù là thủ công hay tự động. Đáng chú ý, EIP1559 giới thiệu một opcode BASEFEE mới cho Ethereum có thể được sử dụng để ước tính tình trạng tắc nghẽn trên chuỗi và do đó điều chỉnh theo chương trình khoảng thời gian tranh chấp.

Việc thực hiện đúng cơ chế xử phạt này là rất quan trọng, nếu không sẽ bị lợi dụng trên thực tế. Sau đây là ví dụ về cách triển khai đơn giản nhưng không hiệu quả:

Alice đã đặt cược 1 ETH, cho phép cô xây dựng trình sắp xếp chuỗi;

Alice đăng một cập nhật trạng thái giả mạo;

Bob nhận thấy điều này và đưa ra một thử thách tranh chấp chống lại nó. Nếu thử thách thành công, điều này sẽ khiến khoản tiền gửi 1 ETH của Alice được chuyển vào tài khoản của Bob và Hủy trạng thái gian lận cập nhật;

Alice nhận thấy thử thách tranh chấp này và cô ấy cũng bắt đầu thử thách tranh chấp (thử thách bản thân!);

Alice đã nhận được 1 ETH của mình, nhưng cô ấy thực sự không nhận được. Không có hình phạt nào được trả , ngay cả khi cô ấy cố gắng lừa đảo;

Alice có thể phát động một cuộc tấn công thông qua một "giao dịch chạy trước", nghĩa là phát đi giao dịch giống như Bob, nhưng trả tiền phí gas cao hơn, khiến giao dịch của Alice được thực hiện trước giao dịch của Bob. Điều này có nghĩa là Alice luôn có thể cố gắng thực hiện hành vi gian lận với chi phí tối thiểu (chỉ phí giao dịch Ethereum).

Giải pháp cho vấn đề này rất đơn giản: thay vì trao toàn bộ số tiền đặt cọc cho người thách thức tranh chấp, hãy đốt X% số tiền đó. Trong ví dụ trên, nếu chúng tôi đốt 50%, Alice sẽ nhận lại 0,5 ETH, điều này đủ để ngăn cản cô ấy cố gắng gian lận lần thứ hai. Tất nhiên, cơ chế đốt này sẽ làm giảm động lực chạy trình xác nhận của người dùng (vì phần thưởng sẽ nhỏ hơn), do đó phần thưởng gửi sau khi đốt phải đủ lớn để thu hút người xác nhận.

Về những lời chỉ trích về tập hợp lạc quan và phản ứng của chúng tôi

Bây giờ chúng ta đã hoàn thành các khối xây dựng cơ bản của tập hợp lạc quan, hãy khám phá và giải quyết một số lời chỉ trích về cơ chế này.

Vấn đề 1: Thời gian thoát khỏi/tranh chấp kéo dài gây bất lợi cho việc áp dụng và khả năng kết hợp, điều này gây tổn hại nghiêm trọng

Chúng tôi đã đề cập ở trên rằng thời gian tranh chấp kéo dài mang lại lợi ích lớn cho vấn đề bảo mật, nhưng dường như có một sự đánh đổi cố hữu ở đây: thời gian tranh chấp kéo dài không có lợi cho Được thông qua vì bất kỳ người dùng nào muốn rút tiền từ nó sẽ phải chờ một thời gian dài, chẳng hạn như 7 ngày. Mặc dù thời gian tranh chấp ngắn hơn có thể mang lại trải nghiệm mượt mà hơn cho người dùng nhưng nó tiềm ẩn nguy cơ gian lận và sẽ không có tranh chấp nào được đưa vào kịp thời.

Chúng tôi không tin rằng đây là một vấn đề và do khả năng trì hoãn hủy niêm yết trên quy mô lớn này, chúng tôi hy vọng các nhà tạo lập thị trường sẽ can thiệp và cung cấp dịch vụ hủy niêm yết nhanh hơn. Điều này có thể thực hiện được vì những người xác minh trạng thái L2 có thể xác định chính xác liệu việc rút tiền có phải là gian lận hay không và do đó mua dịch vụ của họ với mức chiết khấu nhỏ. Sau đây là ví dụ:

Người tham gia:

Alice có 5 ETH trên L2; Bob: Hợp đồng thông minh "Nhà tạo lập thị trường" Có 4,95 ETH trên L1 và trình xác thực đang chạy trên L2;

Các bước:

Alice cho Bob biết cô ấy muốn "nhanh" Rút tiền và đưa cho anh ấy với mức phí 0,05 ETH;

Alice bắt đầu giao dịch rút tiền đối với hợp đồng thông minh "nhà tạo lập thị trường" của Bob;

Hai điều có thể xảy ra: (1) Bob kiểm tra xem việc rút tiền có hợp lệ hay không trên trình xác thực L2 và phê duyệt việc rút tiền nhanh chóng. Điều này ngay lập tức chuyển 4,95 ETH đến địa chỉ L1 của Alice. Khi kết thúc thời gian rút tiền, Bob có thể yêu cầu 5 ETH và do đó kiếm được lợi nhuận đáng kể.

(2) Người xác nhận của Bob đã nhắc nhở anh ấy rằng giao dịch không hợp lệ. Bob phản đối việc chuyển đổi trạng thái do giao dịch gây ra, đã hủy giao dịch và giành được số tiền ký quỹ Sequencer cho phép các giao dịch độc hại xảy ra.

Alice có thể trung thực và rút tiền ngay lập tức, hoặc cô ấy có thể không trung thực và bị trừng phạt. Nếu có nhu cầu về dịch vụ này, chúng tôi dự kiến mức phí trả cho các nhà tạo lập thị trường này sẽ giảm theo thời gian, cuối cùng khiến chương trình hoàn toàn vô hình đối với người dùng.

Ý nghĩa quan trọng nhất của tính năng này là nó có thể được kết hợp với các hợp đồng L1 mà không phải đợi toàn bộ thời gian tranh chấp.

Xin lưu ý rằng công nghệ này được giới thiệu lần đầu tiên trong "Rút tiền đơn giản và nhanh chóng" được giới thiệu.

Vấn đề 2: Người khai thác có thể bị hối lộ để xem xét việc rút tiền và làm suy yếu tính bảo mật của OR

Trong "kịch bản tấn công tổng chi phí gần như bằng 0", người ta sẽ lập luận rằng động cơ khuyến khích dành cho thợ đào lớn đến mức những người sắp xếp chuỗi thông đồng với thợ đào Ethereum để kiểm duyệt mọi giao dịch gây tranh cãi là chuyện nhỏ . Với sự phụ thuộc vào bảo mật, điều này có thể gây tử vong cho bất kỳ hệ thống lạc quan nào.

Chúng tôi không đồng ý với quan điểm này và tin rằng một bên trung thực sẽ luôn sẵn sàng hối lộ những người khai thác, thậm chí còn hơn cả một bên ác ý. Hơn nữa, những người khai thác phải trả thêm giá mỗi khi họ đi chệch khỏi hành vi “trung thực” bằng cách giúp một bên độc hại giành chiến thắng. Hành vi như vậy sẽ phá hủy giá trị của Ethereum, điều này có thể làm tăng chi phí cho những người khai thác tham gia Ethereum.

Trên thực tế, tình huống này đã được nghiên cứu trong tài liệu học thuật, chứng minh rằng "mối đe dọa phản công này dẫn đến một trạng thái cân bằng hoàn hảo trong trò chơi con, trong đó, không ai sẽ tấn công trước."

Chúng tôi xin cảm ơn Hasu vì đã cung cấp bằng chứng trên giấy.

Vấn đề 3: Tình thế tiến thoái lưỡng nan của người xác minh tạo ra những trở ngại cản trở hoạt động của người xác minh

Ed Felten đã viết một số phân tích và giải pháp xuất sắc cho vấn đề nan giải của người xác nhận, chúng tôi tóm tắt dưới đây:

Nếu các biện pháp khuyến khích của hệ thống này hoạt động như dự kiến thì sẽ không có ai gian lận;

Nếu không có ai gian lận thì việc chạy trình xác nhận cũng chẳng ích gì vì chạy trình xác nhận sẽ không kiếm được tiền;

Vì không có ai chạy trình xác thực nên trình sắp xếp chuỗi cuối cùng sẽ có cơ hội gian lận;

Trình sắp xếp chuỗi gian lận và hệ thống không còn hoạt động như mong đợi;

Điều này nghe có vẻ quan trọng và gần như mâu thuẫn! Giả sử quy mô của phần thưởng là cố định thì càng nhiều người xác nhận sẽ giảm khoản thanh toán dự kiến của một người xác thực. Ngoài ra, nhiều trình xác thực hơn dường như thu hẹp quy mô phần thưởng do ít xảy ra gian lận hơn, điều này càng khiến vấn đề trở nên trầm trọng hơn. Trong phân tích tiếp theo, Felten cũng đưa ra giải pháp cho vấn đề nan giải của người xác nhận.

Tôi muốn nói điều này từ quan điểm ngược lại, rằng tình thế tiến thoái lưỡng nan của người xác minh không quan trọng như những người chỉ trích nói. Trong thực tế, có những ưu đãi phi tiền tệ để trở thành người xác nhận. Ví dụ: nếu bạn là một ứng dụng lớn được xây dựng trên cơ sở tổng hợp hoặc bạn là chủ sở hữu mã thông báo, nếu hệ thống bị lỗi, ứng dụng của bạn sẽ không hoạt động hoặc mã thông báo của bạn sẽ có giá trị thấp hơn. Thêm vào đó, nhu cầu rút tiền nhanh chóng tạo ra động lực cho sự tồn tại của các trình xác thực của nhà tạo lập thị trường (như đã thảo luận trong phần trước), bất kể gian lận. Để đặt điều này vào bối cảnh cụ thể hơn, Bitcoin không khuyến khích lưu trữ toàn bộ lịch sử blockchain hoặc cung cấp dữ liệu cục bộ của bạn cho các đồng nghiệp, nhưng mọi người vẫn sẽ làm như vậy một cách vị tha.

Ngay cả khi việc chạy trình xác thực trong chân không không tương thích với các biện pháp khuyến khích, nó vẫn đảm bảo tính bảo mật của hệ thống, điều này quan trọng nhất đối với các đơn vị đầu tư vào sự thành công của hệ thống. Do đó, chúng tôi tin rằng không cần thiết phải thiết kế các cơ chế để giải quyết vấn đề nan giải của người xác minh trong các hệ thống lớp thứ hai lạc quan.

Kết luận

Theo tiêu đề của bài viết, chúng tôi đã phân tích một trong những giải pháp kỹ thuật quan trọng nhất của Ethereum vào năm 2021: Optimistic Rollup.

Để tóm tắt các lợi ích của giải pháp này: HOẶC, với tư cách là một giải pháp mở rộng Ethereum, kế thừa tính bảo mật, khả năng tương thích và khả năng của nhà phát triển của mạng chính Ethereum. mà không ảnh hưởng đáng kể đến các yêu cầu về chi phí hoặc độ tin cậy đối với người dùng Ethereum. Chúng tôi khám phá các cấu trúc khuyến khích giúp cho việc tổng hợp lạc quan hoạt động và phản hồi lại những lời chỉ trích phổ biến.

Khi đọc thêm, chúng tôi khuyên bạn nên đọc bài viết "Hướng dẫn chưa đầy đủ về các mô hình tổng hợp và tin cậy" của Vitalik. Chúng tôi cũng khuyên bạn nên nghiên cứu những người thân của HOẶC họ hàng gần của ZK Rollup. , những người bạn của chúng tôi tại StarkWare đã xây dựng loại giải pháp này. Cuối cùng, có nhiều cách khác để đạt được khả năng mở rộng phi tập trung, chẳng hạn như shending và kênh trạng thái, những cách này cũng có ưu và nhược điểm riêng.

Chúng tôi xin cảm ơn Hasu, Patrick McCorry, Liam Horne, Ben Jones, Kobi Gurkan và Dave White vì những phản hồi có giá trị của họ về bài viết này.

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