Mọi thứ bạn cần biết về tổng số lạc quan

Lưu ý của biên tập viên: Bài viết này đến từChain News ChainNews (ID: chainnewscom), được xuất bản với sự cho phép.

Lưu ý của biên tập viên: Bài viết này đến từ

Chain News ChainNews (ID: chainnewscom)

Chain News ChainNews (ID: chainnewscom)

, được xuất bản với sự cho phép.

Được viết bởi: Georgios Konstantopoulos, đối tác nghiên cứu tại công ty đầu tư mạo hiểm tiền điện tử Paradigm.

Trình biên dịch: Zhan Juan

Paradigm ủy quyền cho Lianwen dịch và xuất bản bản tiếng Trung của bài báo.

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

Sự phân cấp của hệ thống được xác định bởi khả năng của nút yếu nhất trong mạng để xác thực các quy tắc của hệ thống. Một giao thức hiệu suất cao có thể chạy trên phần cứng có tài nguyên thấp có thể được gọi là "có thể mở rộng".

Trong bài đăng này, chúng ta sẽ tìm hiểu cách hoạt động của "các giải pháp lớp 2" hiện tạ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ác vấn đề về khả năng mở rộng của Ethereum.

• Nếu bạn quan tâm đến việc tìm hiểu thêm về các công nghệ khả năng mở rộng tiên tiến của Ethereum cũng như cách xây dựng và kiến ​​trúc các hệ thống như vậy, thì bài viết này có thể hữu ích cho bạn.

• Xuyên suốt bài viết, các từ khóa hoặc khái niệm quan trọng được in đậm, đây là những từ/thuật ngữ mà bạn sẽ bắt gặp khi tìm hiểu về tiền điện tử. Chủ đề này rất phức tạp. Có thể bạn sẽ cảm thấy hơi bối rối trong quá trình đọc, nhưng chỉ cần bạn kiên trì đọc nó, tôi tin bạn sẽ thu được điều gì đó.

• Yêu cầu tài nguyên chuỗi khối

Có ba yếu tố ảnh hưởng đến yêu cầu tài nguyên để chạy một nút trong 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 chuỗi khối.

• 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 để lập chỉ mục và chi phí lưu trữ "trạng thái" để tiếp tục xử lý các khối giao dịch mới. Cần lưu ý rằng việc lưu trữ "trạng thái" (số dư tài khoản, mã byte hợp đồng, giá trị nonce) đắt hơn lưu trữ dữ liệu giao dịch thô.

• Có 2 cách để đo lường hiệu suất:

• Thông lượng: Số lượng giao dịch mà một hệ thống có thể xử lý mỗi giây.

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

Phi tập trung là một thuộc tính mong muốn của các mạng tiền điện tử mới nổi như Bitcoin và Ethereum, nhưng các thành phần tạo nên một mạng phi tập trung là gì?

Độ tin cậy thấp: Thuộc tính này cho phép bất kỳ cá nhân nào xác minh rằng số lượng bitcoin không vượt quá 21 triệu hoặc bitcoin của họ không thể bị làm giả. Một người nào đó độc lập chạy phần mềm nút sẽ tính toán trạng thái mới nhất và xác minh rằng tất cả các quy tắc đang được tuân theo trong quy trình.

• Chi phí thấp: Nếu phần mềm nút đắt tiền để vận hành, các cá nhân sẽ dựa vào các 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 độ tin cậy cao, đó là điều chúng tôi muốn tránh ngay từ đầu.

• Một thuộc tính mong muốn khác là khả năng mở rộng: khả năng thay đổi quy mô thông lượng và độ trễ siêu tuyến tính với chi phí vận hành hệ thống. Đó là một định nghĩa tốt, nhưng nó không bao gồm "sự tin tưởng". Do đó, chúng tôi định nghĩa "khả năng mở rộng phi tập trung": đạ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.

• Để 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 các hoạt động khác nhau với chi phí khác nhau, ví dụ: hoạt động lưu trữ đắt hơn hoạt động thêm. Đơn vị tính toán trong một giao dịch được gọi là "gas". Các tham số hệ thống được thiết lập để xử lý tối đa 12,5 triệu gas trên mỗi khối và trung bình cứ 12,5 giây lại tạo ra một khối giao dịch. Do đó, Ethereum có độ trễ là 12,5 giây và thông lượng là 1 triệu gas mỗi giây.

• Bạn có thể hỏi: 1 triệu gas mỗi giây mang lại lợi ích gì?

~47 giao dịch "chuyển khoản đơn giản" mỗi giây. Các giao dịch này tiêu tốn 21.000 gas, chịu trách nhiệm chuyển ETH từ A sang B và là loại giao dịch đơn giản nhất.

~16 lần chuyển mã thông báo ERC20 mỗi giây. So với chuyển ETH, các phương thức này liên quan đến nhiều hoạt động lưu trữ hơn và do đó tốn ~60 nghìn gas mỗi lần.

~10 giao dịch tài sản Uniswap mỗi giây. Chi phí trung bình của một giao dịch token-to-token là khoảng 102k gas.

…chọn phí gas của bất kỳ giao dịch nào bạn thích và chia cho 1 triệu (12,5 triệu / 12,5 /gas)

Lưu ý rằng khi độ phức tạp 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ợ mọi giao dịch. Bằng cách này, chúng tôi có thể đạt được thông lượng rất cao và độ trễ có thể chỉ dưới giây. Tuyệt vời! Thao tác này sẽ không thay đổi bất kỳ thông số nào trên toàn hệ thống, nhưng chúng tôi sẽ chọn tham gia vào 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 mong muốn.

Giải pháp 2: Tạo các khối lớn hơn và thường xuyên hơn

Chúng tôi có thể giảm độ trễ bằng cách giảm 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 khí khối. Thay đổi này sẽ khiến việc vận hành một nút trở nên đắt đỏ hơn, gây khó khăn cho các cá nhân khi chạy một nút (điều này đã xảy ra với EOS, Solana, Ripple, v.v.).

Ở Giải pháp 1, nhu cầu tin tưởng tăng lên. Ở phương án 2, chi phí tăng lên. Điều này loại bỏ chúng như một tùy chọn khả năng mở rộng.

Bắt đầu từ những nguyên tắc đầu tiên, khám phá lại Bản tổng hợp lạc quan

Trong phần tiếp theo, chúng tôi giả định rằng người đọc đã quen thuộc với hàm 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 cuộc đối thoại Socrates với mục tiêu khám phá một giao thức giúp tăng thông lượng hiệu quả của Ethereum mà không gây gánh nặng cho người dùng và người vận hành nút.

Hỏi: Chúng tôi muốn mở rộng quy mô Ethereum mà không làm thay đổi đáng kể các giả định về niềm tin và chi phí. làm thế nào tôi nên làm điều đó?

Trả lời: Chúng tôi muốn giảm yêu cầu chi phí hệ thống cho các hoạt động hiện tại (xem ở trên để biết ba loại tài nguyên). Để hiểu tại sao điều này không dễ thực hiện, trước tiên chúng ta cần xem xét kiến ​​trúc của Ethereum:

Mọi nút trong Ethereum hiện đang lưu trữ và thực hiện mọi giao dịch do người dùng gửi tới. Trong quá trình thực thi, các giao dịch chạy qua EVM và tương tác với trạng thái của EVM (chẳng hạn như lưu trữ, số dư, v.v.) - một hoạt động 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ỉ cung cấp những cải tiến nhỏ liên tục.

H: Có phải bạn đang nói rằng có một cách để thực hiện các giao dịch mà không liên quan đến nhà nước, giữ cho chi phí tài nguyên ở mức thấp?

Trả lời: Trong trường hợp cực đoan, chúng tôi có thể chuyển tất cả hoạt động thực thi ra khỏi chuỗi trong khi vẫn giữ một số dữ liệu trên chuỗi không? 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 thứ tự". Họ chịu trách nhiệm lưu trữ cục bộ và thực hiện các giao dịch do người dùng gửi. Để giữ cho hệ thống hoạt động, người đặt hàng cần cam kết định kỳ gốc Merkle của các giao dịch họ nhận được và gốc trạng thái được tạo 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 O(1) ở trạng thái Ethereum cho các giao dịch ngoài chuỗi O(N).

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

Trả lời có.

H: OK, vì vậy khi bạn tham gia, người đặt hàng đảm bảo cho bạn phí chuyển khoản rẻ. Vậy tiền gửi và rút tiền sẽ hoạt động như thế nào?

Trả lời: Người dùng sẽ vào hệ thống bằng cách gửi tiền vào Ethereum, sau đó người đặt hàng 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 có thể đề xuất nội dung giao dịch đó trên Ethereum, ví dụ: "Tôi muốn rút 3 ETH, tài khoản của tôi hiện có > 3 ETH, đây là bằng chứng". Ngay cả khi không có trạng thái người dùng thực tế ở lớp 1, người dùng có thể tìm ra trạng thái gốc do người đặt hàng xuất bản để hiển thị bằng chứng Merkle có liên quan rằng họ có đủ tiền ở trạng thái hiện tại.

H: Bây giờ chúng tôi biết rằng người dùng cần bằng chứng Merkle để rút tiền của họ. Làm cách nào để người dùng lấy dữ liệu để xây dựng bằng chứng Merkle?

A: Họ có thể yêu cầu người phân loại cung cấp dữ liệu cho họ!

Hỏi: Điều gì xảy ra nếu máy phân loại tạm thời hoặc vĩnh viễn không sử dụng được?

Trả lời: Trình sắp xếp có thể độc hại hoặc đơn giản là nó có thể ngoại tuyến do sự cố kỹ thuật, điều này sẽ làm giảm hiệu suất (hoặc tệ hơn là đánh cắp tài sản của bạn!). Do đó, chúng tôi cũng phải yêu cầu người đặt hàng gửi dữ liệu giao dịch hoàn chỉnh trên chuỗi để lưu trữ, nhưng không được thực thi. Trong vấn đề này, mục tiêu là để có được dữ liệu sẵn có. Giả sử tất cả dữ liệu được lưu trữ vĩnh viễn trên Ethereum, ngay cả khi một người đặt hàng biến mất, những người đặt hàng 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 lớp 2 mới nhất và rời khỏi vị trí của người tiền nhiệm để tiếp tục.

H: Nếu người đặt hàng 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 từ Ethereum không?

Đ: 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: Một điều tôi vẫn không hiểu là làm thế nào bạn có thể lưu trữ thứ gì đó trong Ethereum và không thực thi nó? Không phải mọi giao dịch đều đi qua EVM sao?

Trả lời: Giả sử bạn gửi 10 giao dịch để chuyển ETH từ A sang B. Thực hiện mỗi giao dịch sẽ làm như sau: tăng nonce của A, giảm số dư của A và tăng số dư của B. Điều này liên quan đến khá nhiều thao tác ghi và đọc từ trạng thái thế giới của Ethereum. 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 công khai { } của hợp đồng thông minh. Lưu ý rằng phần thân của hàm trống! Điều này có nghĩa là dữ liệu giao dịch đã xuất bản không được giải thích, 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 chuỗi khối (chi phí ghi rất thấp).

Hỏi: Chúng tôi có thể tin tưởng máy phân loại không? Điều gì sẽ xảy ra nếu họ đưa ra một chuyển đổi trạng thái không hợp lệ?

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

Hỏi: Chờ chút! Bạn đã nói trước đó rằng nếu nó a) tăng chi phí hoặc b) đưa ra các giả định tin cậy mới, thì nó không đủ điều kiện là khả năng mở rộng. Trong trường hợp bạn mô tả, chẳng phải chúng ta cũng cho rằng ai đó sẽ luôn báo cáo hành vi gian lận sao?

Trả lời có. Chúng tôi giả định sự tồn tại của một thực thể được gọi là "người xác thực" giám sát gian lận và xuất bản bằng chứng gian lận nếu trạng thái của lớp 1 và lớp 2 không khớp. Chúng tôi cũng giả định rằng những người xác thực có thể có được bằng chứng gian lận có trong Ethereum một cách đáng tin cậy trong thời gian tranh chấp. Chúng tôi coi sự tồn tại của trình xác nhận là một giả định "yếu". Hãy tưởng tượng có một ứng dụng với 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 đó không có vẻ quá xa vời! Mặt khác, việc thay đổi mô hình ủy thác của Ethereum hoặc tăng chi phí hoạt động của các nút Ethereum là những giả định "mạnh mẽ" mà chúng tôi không muốn thay đổi. Đây là những gì chúng tôi muốn nói bằng cách "thay đổi đáng kể các giả định của hệ thống cơ bản" khi chúng tôi xác định khả năng mở rộng phi tập trung.

H: Tôi đồng ý rằng ai đó sẽ chạy trình xác thực vì tất cả các bên đều được hưởng lợi từ sự thành công của giải pháp mới này. Nhưng tất nhiên nó cũng phụ thuộc vào chi phí của hoạt động thực tế. Vì vậy, các yêu cầu tài nguyên để chạy trình xác thực và trình sắp xếp là gì?

Trả lời: Người đặt hàng và người xác thực phải chạy nút đầy đủ Ethereum (không phải nút lưu trữ), nút lớp 2 đầy đủ, để tạo trạng thái lớp 2. Phần mềm do người xác minh điều hành chịu trách nhiệm tạo bằng chứng gian lận và phần mềm do người đặt hàng điều hành chịu trách nhiệm gộp 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 Bản tổng hợp lạc quan (Bản tổng hợp lạc quan là sự kết hợp của "Hợp đồng lạc quan" và "Tính khả dụng của dữ liệu trên chuỗi" (hay còn gọi là "Tổng hợp dữ liệu")), giải pháp mở rộng quy mô được mong đợi nhất trong năm 2019-2021. Thật dễ hiểu tại sao, vì nó là sản phẩm cuối cùng của quá trình nghiên cứu kéo dài nhiều năm của cộng đồng Ethereum, điều mà bạn nên trải nghiệm trong cuộc trò chuyện ngắn ở trên.

Khuyến khích lạc quan

• 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 trên chuỗi được thực hiện. 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 phát hành trên Ethereum. Trong một thế giới lý tưởng, gian lận không bao giờ xảy ra và do đó, bằng chứng gian lận không bao giờ được đưa ra.

• Chúng tôi hạn chế gian lận bằng cách giới thiệu trái phiếu trung thực. Để người dùng trở thành người phân loại, trước tiên họ phải đăng một trái phiếu trên Ethereum, trái phiếu này sẽ bị mất nếu bị chứng minh là gian lận. Để khuyến khích các cá nhân phát hiện gian lận, trái phiếu của người đặt hàng được phân phối cho người xác nhận sau khi bị cắt giảm.

Trái phiếu trung thành và thời gian tranh chấp

Khi thiết kế các biện pháp khuyến khích bằng chứng gian lận, có hai thông số cần điều chỉnh:

Quy mô trái phiếu trung thành: Người đặt hàng phải công bố số tiền được phân phối cho người xác nhận. Quy mô càng lớn, động cơ trở thành người xác nhận càng lớn và càng ít động cơ gian lận với tư cách là người đặt hàng.

• Khoảng thời gian tranh chấp: Khoảng thời gian mà bằng chứng gian lận có thể được đưa ra, sau đó các giao dịch lớp 2 được coi là an toàn trên lớp 1. Khoảng thời gian tranh chấp dài hơn giúp bảo mật tốt hơn trước các cuộc tấn công kiểm duyệt. Khoảng thời gian tranh chấp ngắn hơn tạo ra trải nghiệm người dùng tốt cho người dùng rút tiền từ lớp 2 sang lớp 1, vì họ không phải đợi lâu để tiền của mình được sử dụng lại ở lớp 1.

• Theo chúng tôi, không thể tìm thấy một giá trị tĩnh chính xác cho cả hai tham số. Có thể 10 trái phiếu ETH và thời gian tranh chấp 1 ngày là đủ. Nhưng có lẽ 1 ETH và 7 ngày là đủ. Câu trả lời thực sự là nó phụ thuộc vào động cơ trở thành người xác thực (phụ thuộc vào chi phí vận hành) và việc đưa ra bằng chứng gian lận dễ dàng như thế nào (phụ thuộc vào tắc nghẽn lớp 1). Cả hai điều này nên được điều chỉnh, bằng tay hoặc tự động.

• Điều đáng nói là 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 thời lượng của giai đoạn tranh chấp theo chương trình.

• Việc thực hiện cơ chế phạt này như thế nào cho đúng mới là điều cốt yếu, nếu không sẽ bị lạm dụng trong thực tế. Hãy để tôi đưa ra một ví dụ để minh họa cách triển khai ngây thơ và phi thực tế là gì:

• Alice gửi trái phiếu 1 ETH, cho phép cô ấy đóng vai trò là người đặt hàng trong hệ thống

Alice đăng cập nhật trạng thái lừa đảo

Bob nhận thấy điều này và công bố một cuộc tranh cãi. Nếu thành công, điều này sẽ trao 1 ETH trong trái phiếu của Alice cho Bob và hủy cập nhật trạng thái gian lận

Alice nhận thấy cuộc tranh cãi và cũng đăng một bài (thách thức bản thân!)

ALice đã nhận được 1 ETH của cô ấy và mặc dù cô ấy đã cố gắng gian lận nhưng cô ấy thực sự không bị phạt.

Alice có thể khởi động cuộc tấn công này bằng cách "chạy trước", tức là phát cùng một giao dịch với Bob, nhưng với giá gas cao hơn, khiến giao dịch của Alice được thực hiện trước Bob. Điều này có nghĩa là Alice có thể tiếp tục 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ộ trái phiếu cho người tranh chấp, hãy đốt X% trái phiếu. Trong ví dụ trên, nếu chúng ta đốt 50%, Alice sẽ chỉ nhận được 0,5 ETH, đủ để ngăn cô ấy cố gắng gian lận ở bước 2. Tất nhiên, việc hủy trái phiếu sẽ làm giảm động cơ chạy trình xác thực (vì khoản thanh toán trở nên ít hơn), vì vậy cần phải đảm bảo rằng trái phiếu bị hủy vẫn đủ để khuyến khích người dùng trở thành người xác thực.

Những lời chỉ trích phổ biến về Tổng hợp lạc quan và phản hồi của chúng tôi

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

• Thời gian rút tiền/tranh chấp kéo dài gây tử vong cho việc áp dụng và khả năng kết hợp

• Chúng tôi đã đề cập ở trên rằng thời gian tranh chấp dài là tốt cho an ninh. Dường như có một sự đánh đổi cố hữu ở đây: thời gian tranh chấp kéo dài có hại cho người dùng, những người phải đợi lâu nếu muốn rút tiền. Khoảng thời gian tranh chấp ngắn hơn chắc chắn mang lại trải nghiệm người dùng mượt mà, nhưng sau đó bạn sẽ gặp rủi ro về gian lận xảy ra.

Chúng tôi không nghĩ đó là một vấn đề. Với khả năng trì hoãn rút tiền kéo dài, chúng tôi hy vọng các nhà tạo lập thị trường sẽ nhanh chóng can thiệp và cung cấp các khoản rút tiền nhanh hơn. Điều này có thể thực hiện được vì người xác thực trạng thái lớp 2 có thể đánh giá chính xác liệu việc rút tiền có khả năng 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ỏ. Ví dụ:

• Những người tham gia:

• Alice: Có 5 ETH trên lớp 2.

• Bob: Trong hợp đồng thông minh "nhà tạo lập thị trường", có 4,95 ETH trên lớp 1 và có một trình xác thực chạy trên lớp 2

• bước chân:

• Alice cho Bob biết cô ấy muốn rút tiền "nhanh" và trả cho anh ta khoản phí 0,05 ETH

Alice gửi yêu cầu tiền mặt tớ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 vào thời điểm này:

Bob kiểm tra xem giao dịch rút tiền có hợp lệ trên trình xác thực lớp 2 của anh ấy không và phê duyệt giao dịch rút tiền nhanh. Điều này sẽ ngay lập tức chuyển 4,95 ETH đến địa chỉ lớp 1 của Alice. Sau khi thời gian rút tiền kết thúc, Bob có thể yêu cầu 5 ETH, tạo ra lợi nhuận ròng.Simple Fast WithdrawalsTrình xác thực của Bob cảnh báo anh ta rằng giao dịch không hợp lệ. Bob phản đối quá trình chuyển đổi trạng thái do giao dịch gây ra, hủy bỏ giao dịch và kiếm được trái phiếu của mình vì đã cho phép 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 không trung thực và bị trừng phạt. Chúng tôi hy vọng các khoản phí trả cho các nhà tạo lập thị trường sẽ giảm dần theo thời gian, cuối cùng khiến quá trình này hoàn toàn vô hình đối với người dùng nếu có nhu cầu về dịch vụ.

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

Lưu ý rằng kỹ thuật này lần đầu tiên được giới thiệu trong "

"(Rút tiền đơn giản và nhanh chóng)" được mô tả trong bài báo.

Những người khai thác có thể hối lộ để kiểm duyệt việc rút tiền, phá vỡ bảo mật của Optimistic Rollup

Trong bài viết "Kịch bản tấn công gần như bằng không của Optimistic Rollup", một số người cho rằng ưu đãi của những người khai thác quá lớn sẽ khiến người đặt hàng thông đồng với những người khai thác Ethereum và không sẵn sàng xem xét bất kỳ giao dịch tranh chấp nào. Tất nhiên, do sự phụ thuộc của bảo mật hệ thống vào việc giải quyết tranh chấp, điều này rất nguy hiểm đối với bất kỳ hệ thống Lạc quan nào.

Tiến thoái lưỡng nan của trình xác thực ức chế hoạt động của trình xác thực, phá vỡ sự lạc quanphân tíchVàgiải phápEd Felten đã viết một bài báo xuất sắc về tình thế tiến thoái lưỡng nan của người xác thực

• phân tích

• Và

• giải pháp

• , chúng tôi tóm tắt như sau:

Nếu các ưu đãi của hệ thống hoạt động như dự định, sẽ không có ai gian lận

Sẽ chẳng ích gì khi chạy trình xác thực nếu không có ai gian lận vì bạn không thể kiếm tiền từ việc vận hành nó

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

Tóm lại là

Điều này nghe có vẻ quan trọng, gần như nghịch lý. Giả sử quy mô phần thưởng cố định, nhiều trình xác thực hơn sẽ giảm phần thưởng dự kiến ​​cho một trình xác thực duy nhất. Ngoài ra, với nhiều trình xác thực hơn, dường như sẽ có ít miếng bánh hơn và ít gian lận hơn, điều này càng làm vấn đề trở nên trầm trọng hơn. Trong một phân tích tiếp theo, Felten cũng đưa ra giải pháp cho tình thế tiến thoái lưỡng nan của người xác thực.

Tôi muốn đưa ra lập trường ngược lại ở đây và tôi không nghĩ hoàn cảnh khó khăn của những người xác nhận lại quan trọng như các nhà phê bình nói. Trên thực tế, có những khuyến khích phi tiền tệ để trở thành người xác nhận. Ví dụ: bạn có thể xây dựng một ứng dụng lớn trên nền tảng gộp và bạn có thể giữ các mã thông báo và nếu hệ thống bị lỗi thì ứ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ẽ mất giá trị. Ngoài ra, nhu cầu rút tiền nhanh tạo động cơ cho các trình xác thực nhà tạo lập thị trường tồn tại (như chúng ta đã thấy trong phần trước), vốn không tránh khỏi gian lận. Cụ thể hơn, Bitcoin không cung cấp bất kỳ động cơ nào để lưu trữ toàn bộ lịch sử chuỗi khối 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 lại làm như vậy một cách vị tha.

Mặc dù việc chạy các trình xác nhận trong môi trường chân không không được khuyến khích, nhưng nó sẽ giữ cho hệ thống an toàn, đây là điều quan trọng nhất đối với các thực thể đã đầu tư vào sự thành công của hệ thống. Do đó, chúng tôi tin rằng trong Lớp 2 của hệ thống Lạc quan, không cần phải nghĩ ra các cơ chế để vượt qua tình thế tiến thoái lưỡng nan của người xác thực.Tóm lại làChúng tôi phân tích một trong những công nghệ sẽ rất quan trọng đối với Ethereum vào năm 2021: Tổng hợp lạc quan.

Để tóm tắt các lợi ích của nó: Optimistic Rollup là một phần mở rộng của Ethereum mang tính bảo mật, khả năng kết hợp và con hào dành cho nhà phát triển của Ethereum, đồng thời cải thiện hiệu suất mà không ảnh hưởng nghiêm trọng đến chi phí hoặc nhu cầu tin cậy của người dùng Ethereum. Chúng tôi khám phá các cấu trúc khuyến khích làm cho Tổng hợp lạc quan hoạt động và phản hồi những lời chỉ trích phổ biến.Chúng tôi muốn nhấn mạnh rằng trần hiệu suất của Optimistic Rollup được xác định bởi dữ liệu được công bố trên Cấp 1. Do đó, ưu điểm của nó là: 1) nén dữ liệu bạn xuất bản càng nhiều càng tốt (ví dụ:Tổng hợp chữ ký BLS), 2) có lớp dữ liệu lớn và rẻ (ví dụ: ETH2).Khi đọc thêm, chúng tôi khuyên dùng Buterin's On Rollup và