Tiêu đề ban đầu:Don’t overload Ethereum’s consensus

Tiêu đề ban đầu:

Tác giả gốc: Vitalik ButerinSự đồng thuận của mạng Ethereum là một trong những hệ thống kinh tế tiền điện tử an toàn nhất hiện có. giá trị18 triệu ETH(khoảng 34 tỷ đô la) trình xác nhận hoàn thành một khối cứ sau 6,4 phút, chạy nhiềutriển khai giao thức khác nhau

để dự phòng. Nếu sự đồng thuận về kinh tế tiền điện tử không thành công, cho dù là do lỗi hay do một cuộc tấn công 51% có chủ ý, thì một cộng đồng lớn gồm hàng nghìn nhà phát triển và nhiều người dùng khác sẽ theo dõi mạng để đảm bảo chuỗi được khôi phục đúng cách. Sau khi chuỗi được khôi phục, các quy tắc giao thức sẽ đảm bảo rằng những kẻ tấn công (phần lớn) sẽ bị trừng phạt nghiêm khắc.

• Lời tiên tri cuối cùng: chỉ một vật phẩmđề xuấtđề xuấtSchellingCoinVề mặt , người dùng có thể bỏ phiếu xem điều gì là đúng bằng cách gửi ETH, điều này sẽ sử dụng

• Cơ chế: Mọi người gửi ETH để bỏ phiếu cho câu trả lời đa số đều nhận được một phần tỷ lệ của tất cả ETH đã gửi phiếu bầu cho câu trả lời thiểu số. Theo mô tả của nó: "Vì vậy, về nguyên tắc, đây là một trò chơi đối xứng. Điều phá vỡ sự đối xứng này là a) sự thật là một điểm tự nhiên cần được dung hòa, và quan trọng hơn b) những người đặt cược vào sự thật có thể tạo ra một sự đáng tin cậy. Lộ trình ngã ba Ethereum."EigenLayerTái cầm cố: bao gồm

• Một tập hợp các kỹ thuật được sử dụng bởi nhiều giao thức bao gồm Ethereum, những người đặt cược Ethereum có thể đồng thời sử dụng cổ phần của họ làm tiền gửi trong một giao thức khác. Trong một số trường hợp, tiền gửi của họ cũng có thể bị mất nếu họ không tuân thủ các thỏa thuận khác. Trong các trường hợp khác, không có ưu đãi trong giao thức và tiền đặt cược chỉ được sử dụng để bỏ phiếu.Phục hồi dự án L2 do L1 thúc đẩy: Trong nhiều trường hợp, nếu L2 có lỗi, L1 có thể khôi phục lỗi đó bằng cách chuyển đổi dự án. Một ví dụ gần đây là。

Một thiết kế sử dụng các nhánh mềm L1 để phục hồi sau các lỗi của L2

Mục đích của bài đăng này là giải thích chi tiết tại sao, theo tôi, một tập hợp con nhất định của những công nghệ này lại gây ra rủi ro hệ thống cao đối với hệ sinh thái và nên được khuyến khích và chống lại.ETH được đặt cược bởi trình xác thực kép về cơ bản là khả thi, mặc dù nó có một số rủi ro, nhưng việc cố gắng "tuyển dụng" sự đồng thuận xã hội của Ethereum cho các mục đích của chính ứng dụng của bạn thì không.

tiêu đề phụ

Ví dụ về sự khác biệt giữa việc sử dụng lại trình xác nhận (rủi ro thấp) và quá tải sự đồng thuận xã hội (rủi ro cao)- Alice đã tạo một mạng xã hội Web3 và nếu bạn chứng minh bằng mật mã rằng bạn kiểm soát các khóa của trình xác thực Ethereum đang hoạt động, bạn sẽ tự động nhận được trạng thái "đã xác minh".

Đây là rủi ro thấp.- Bob chứng minh bằng mật mã rằng anh ta kiểm soát các khóa của mười trình xác thực Ethereum đang hoạt động, qua đó chứng minh rằng anh ta đủ giàu có để đáp ứng các yêu cầu pháp lý nhất định.

Đây là rủi ro thấp.- Charlie tuyên bố đã lật tẩyphỏng đoán số nguyên tố sinh đôi(phỏng đoán số nguyên tố sinh đôi) và tuyên bố biết số p lớn nhất sao cho cả p và p+2 đều là số nguyên tố. Anh ấy thay đổi địa chỉ rút tiền cam kết của mình thành một hợp đồng thông minh, nơi bất kỳ ai cũng có thể gửi một ví dụ ngược có mục đích q > p và một SNARK chứng minh rằng cả q và q+2 đều là số nguyên tố. Nếu ai đó đưa ra yêu cầu hợp lệ, thì người xác thực của Bob sẽ buộc phải thoát và người gửi sẽ nhận được số ETH còn lại của Bob.

Đây là rủi ro thấp.- Dogecoin đã quyết định chuyển sang bằng chứng cổ phần và tăng quy mô nhóm bảo mật của nó, điều này cho phép những người đặt cược Ethereum "đặt cược gấp đôi" và tham gia bộ xác thực của nó cùng một lúc. Để làm được điều này, những người đặt cược ethereum đã phải thay đổi địa chỉ rút tiền đặt cược của họ thành một hợp đồng thông minh để bất kỳ ai cũng có thể gửi bằng chứng rằng họ đã vi phạm các quy tắc đặt cược Dogecoin. Nếu ai đó gửi bằng chứng như vậy, trình xác thực của người đặt cược sẽ bị buộc phải thoát và số ETH còn lại của họ sẽ được sử dụng để mua và đốt DOGE.

Đây là rủi ro thấp.- eCash đang làm điều tương tự như Dogecoin, nhưng những người đứng đầu dự án đã thông báo thêm rằng nếu hầu hết các trình xác thực ETH tham gia thông đồng để kiểm duyệt các giao dịch eCash, họ mong muốn cộng đồng Ethereum sẽ hard fork để loại bỏ các trình xác nhận này. Họ lập luận rằng làm như vậy là vì lợi ích của Ethereum, vì những trình xác thực này đã được chứng minh là độc hại và không đáng tin cậy.

Đây là rủi ro cao.- Fred đã tạo ra một tiên tri về giá ETH/USD có chức năng cho phép những người xác thực Ethereum tham gia và bỏ phiếu. Không có cơ chế khuyến khích.

Đây là rủi ro thấp.- George đã tạo ra một lời tiên tri về giá ETH/USD có chức năng cho phép những người nắm giữ ETH tham gia và bỏ phiếu. Để ngăn chặn sự lười biếng và hối lộ, họ đã thêm một ưu đãi trong đó những người tham gia đưa ra câu trả lời trong vòng 1% giá trị trung bình sẽ nhận được 1% ETH cho bất kỳ người tham gia nào đưa ra câu trả lời trên 1% giá trị trung bình. Khi được hỏi "Nếu ai đó đề nghị hối lộ tất cả những người tham gia một cách đáng tin cậy và mọi người bắt đầu gửi câu trả lời sai, liệu những người trung thực có nhận được 10 triệu ETH không?" Đừng fork để loại trừ tiền từ những kẻ xấu.

Đây là rủi ro cao.

• Hai tình huống khác như sau:George rõ ràng là không trả lời.Đây là rủi ro trung bình đến cao

• (Bởi vì các dự án có thể tạo ra động lực để thử một ngã ba như vậy, và do đó sẽ có kỳ vọng để thử, ngay cả khi không có sự khuyến khích chính thức nào).George trả lời: "Sau đó, kẻ tấn công chiến thắng và chúng tôi từ bỏ việc sử dụng lời tiên tri này."Đây là rủi ro từ thấp đến trung bình

(Không phải là "thấp", chỉ vì cơ chế tạo ra một nhóm lớn các tác nhân, trong một cuộc tấn công 51%, có thể được khuyến khích ủng hộ độc lập một đợt fork để bảo vệ tiền gửi của họ).- Hermione đã tạo ra Lớp 2 thành công và tin rằng vì Lớp 2 của cô ấy lớn nhất nên nó vốn dĩ là an toàn nhất, bởi vì nếu có một lỗi khiến tiền bị đánh cắp, tổn thất sẽ rất lớn đến nỗi cộng đồng không thể tránh khỏi. lựa chọn khác ngoài việc khôi phục tiền của người dùng thông qua một ngã ba.。

đây là rủi ro cao

Nếu bạn đang thiết kế một giao thức mà ngay cả khi mọi thứ bị hỏng hoàn toàn, tổn thất sẽ thuộc về những người xác thực và người dùng chọn tham gia và sử dụng giao thức của bạn, đây là rủi ro thấp. Mặt khác, nếu bạn có ý định tìm kiếm một nhánh rẽ hoặc tổ chức lại để giải quyết các vấn đề của mình trong sự đồng thuận xã hội rộng lớn hơn của hệ sinh thái Ethereum, thì đây là rủi ro cao và tôi nghĩ chúng ta nên mạnh mẽ chống lại mọi nỗ lực tạo ra kỳ vọng đó.Nền tảng trung bình đề cập đến việc bắt đầu ở trong danh mục rủi ro thấp, nhưng tạo động lực cho người tham gia chuyển sang danh mục rủi ro cao;, đặc biệt là cơ chế xử phạt nghiêm khắc đối với hành vi đi chệch khỏi số đông là một ví dụ điển hình.

tiêu đề phụ

Vậy chính xác điều gì là sai với việc mở rộng quy mô đồng thuận của Ethereum?

Giả sử bây giờ là năm 2025. Thất vọng với hiện trạng, một nhóm đã quyết định phát triển một dự đoán giá ETH/USD mới, hoạt động bằng cách cho phép những người xác thực bỏ phiếu về giá mỗi giờ. Nếu những người xác thực bỏ phiếu, họ sẽ nhận được một phần phần thưởng phí từ hệ thống một cách vô điều kiện. Nhưng các tác nhân sẽ sớm trở nên lười biếng: họ kết nối với các API tập trung và khi các API đó bị tấn công mạng, họ sẽ thoát hoặc bắt đầu báo cáo các giá trị sai. Để giải quyết vấn đề này, họ đã giới thiệu một cơ chế khuyến khích: nhà tiên tri cũng bỏ phiếu hồi tố về giá từ một tuần trước và nếu phiếu bầu của bạn (thời gian thực hoặc hồi tố) khác hơn 1% so với trung bình của các phiếu hồi cứu, bạn Sẽ bị trừng phạt nặng nề, số tiền thu được từ hình phạt sẽ được chuyển đến những người đã bỏ phiếu "đúng".

Trong vòng một năm, hơn 90% người xác nhận đã tham gia. Có người hỏi: Điều gì sẽ xảy ra nếu Lido, cùng với một số nhà đầu tư lớn khác, tập hợp lại và 51% tấn công cuộc bỏ phiếu, buộc giá ETH/USD giả được thông qua và phạt nặng những người không tham gia cuộc tấn công? Tại thời điểm này, những người ủng hộ oracle, những người đã đầu tư rất nhiều vào kế hoạch này, đã trả lời rằng nếu điều này xảy ra, Ethereum chắc chắn sẽ phân nhánh để loại bỏ những kẻ xấu.

Lúc đầu, kế hoạch này được giới hạn ở ETH/USD và có vẻ như rất linh hoạt và ổn định. Nhưng theo thời gian, các chỉ số khác đã làm theo: ETH/EUR, ETH/CNY và cuối cùng là lãi suất trên tất cả các quốc gia G20.

Nhưng vào năm 2034, mọi thứ bắt đầu trở nên tồi tệ. Một cuộc khủng hoảng chính trị nghiêm trọng bất ngờ ở Brazil đã dẫn đến một cuộc bầu cử gây tranh cãi. Một bên kiểm soát thủ đô và 75% diện tích đất nước, còn bên kia kiểm soát một số khu vực phía bắc. Các phương tiện truyền thông lớn của phương Tây tin rằng đảng miền bắc rõ ràng là người chiến thắng vì hành động của họ là hợp pháp, trong khi hành động của đảng miền nam là bất hợp pháp. Các nguồn chính thức ở các quốc gia như Ấn Độ, cũng như Elon Musk, tin rằng đảng miền nam đã kiểm soát hiệu quả phần lớn đất nước và cộng đồng quốc tế không nên cố gắng trở thành cảnh sát của thế giới mà nên chấp nhận kết quả này.

Tại thời điểm này, các bên đang ở trên hai dây chuyền trong hai vũ trụ riêng biệt, không có cách nào thiết thực để quay lại với nhau. Ethereum, một nền tảng không được phép toàn cầu được tạo ra một phần để che giấu các quốc gia và địa chính trị, cuối cùng đã bị một quốc gia thành viên G20 chia đôi với những vấn đề nội bộ nghiêm trọng không ngờ tới.

tiêu đề phụ

Câu chuyện khoa học viễn tưởng này hay đến mức có thể dựng thành phim, nhưng chúng ta có thể học được gì từ nó?

Tính "tinh khiết" của chuỗi khối là một lợi thế rất lớn, vì nó là một cấu trúc toán học thuần túy nhằm cố gắng đạt được sự đồng thuận về các vấn đề toán học thuần túy. Một khi blockchain cố gắng "chốt" với thế giới bên ngoài, các xung đột ở thế giới bên ngoài cũng bắt đầu ảnh hưởng đến blockchain. Xem xét một sự kiện chính trị đủ cực đoan - và thực tế không quá cực đoan, vì câu chuyện trên về cơ bản là một sự bắt chước những gì đã thực sự xảy ra ở mọi quốc gia lớn (dân số trên 25 triệu người) trong thập kỷ qua - thậm chí giống như một lời tiên tri về tiền tệ Thậm chí một cái gì đó lành tính như một cỗ máy có thể xé nát một cộng đồng.

• Dưới đây là một số tình huống có thể xảy ra hơn:

• Một trong những loại tiền tệ được nhà tiên tri theo dõi (thậm chí có thể là đô la Mỹ) chỉ là siêu lạm phát khi thị trường sụp đổ đến mức không có giá thị trường cụ thể rõ ràng tại một số thời điểm.

• Nếu Ethereum đang thêm một lời tiên tri về giá cho một loại tiền điện tử khác, thì sự chia rẽ gây tranh cãi trong câu chuyện trên không phải là giả thuyết: đó là điều đã xảy ra, bao gồm cả lịch sử của Bitcoin và Ethereum.

Nhưng quan trọng hơn, tôi nghĩ rằng có một hàng rào Schelling đang hoạt động: một khi chuỗi khối bắt đầu kết hợp các chỉ số giá trong thế giới thực làm chức năng giao thức Lớp 1, thì nó có thể dễ dàng không thể diễn giải ngày càng nhiều thông tin trong thế giới thực. Việc giới thiệu chỉ số giá Lớp 1 cũng mở rộng bề mặt tấn công hợp pháp của blockchain: nó không còn chỉ là một nền tảng công nghệ trung lập và rõ ràng hơn là trở thành một công cụ tài chính.

tiêu đề phụ

Còn những rủi ro do các ví dụ khác ngoài chỉ số giá gây ra thì sao?

Khả năng bị chia rẽ cũng sẽ củng cố đáng kể chế độ "quá lớn để thất bại". Có rất nhiều dự án lớp 2 và lớp ứng dụng trên Ethereum nên việc đồng thuận xã hội Ethereum sẵn sàng fork để giải quyết tất cả các vấn đề là không thực tế. Do đó, các dự án lớn hơn nhất thiết phải có nhiều khả năng được giải cứu hơn các dự án nhỏ hơn. Đến lượt nó, điều này dẫn đến lợi thế cho các dự án lớn hơn: bạn muốn đặt tiền của mình vào Arbitrum hay Optimism (nếu có sự cố xảy ra, Ethereum sẽ phân nhánh để cứu mọi thứ) hay vào Taiko nhỏ hơn (dự án phi phương Tây, ít kết nối xã hội hơn với cốt lõi) nhóm nhà phát triển, ít có khả năng nhận được giải cứu hỗ trợ L1 hơn)?

tiêu đề phụ

Nhưng lỗi mang lại rủi ro và chúng ta cần những lời tiên tri tốt hơn. Vậy lam gi?

- Giá tiên tri: một trong haiOracle phi tập trung cho nền kinh tế mã hóa chưa hoàn chỉnhOracle phi tập trung cho nền kinh tế mã hóa chưa hoàn chỉnh

hoặc một lời tiên tri dựa trên việc bỏ phiếu của người xác nhận, hứa hẹn rõ ràng rằng chiến lược khôi phục khẩn cấp của nó không phải là sử dụng sự đồng thuận L1 để khôi phục, mà là sự kết hợp của cả hai. Ví dụ: một nhà tiên tri về giá có thể dựa trên giả định tin cậy rằng những người tham gia bỏ phiếu đang dần bị hỏng để người dùng có thể nhận được cảnh báo sớm về một cuộc tấn công và thoát khỏi bất kỳ hệ thống nào dựa vào nhà tiên tri đó. Một nhà tiên tri như vậy có thể cố ý trao phần thưởng sau một thời gian dài trì hoãn, do đó, nếu một phiên bản của giao thức bị hủy bỏ (ví dụ: do nhà tiên tri thất bại và cộng đồng chuyển sang phiên bản khác), những người tham gia sẽ không được thưởng.Nền kinh tế mã hóa chưa hoàn chỉnh DAOMột hệ thống tòa án phi tập trung trên Internet.

Một hệ thống tòa án phi tập trung trên Internet.

• - Các giao thức lớp 2:

• Trước mắt, dựa vào một số bánh xe đào tạo (bài viết này gọi nó là Giai đoạn 1)Ở giữa, dựa vàoHệ thống nhiều bằng chứng

• . Phần cứng đáng tin cậy (ví dụ: SGX) có thể được bao gồm ở đây; tôi thực sự không khuyến khích các hệ thống giống như SGX là biện pháp bảo mật duy nhất, nhưng chúng có thể có giá trị với tư cách là thành viên của hệ thống 2 trên 3.

Hy vọng về lâu dài, các tính năng phức tạp như "xác minh EVM" cuối cùng sẽ được tích hợp vào giao thức.

- Cầu nối chuỗi chéo: Tương tự như logic tiên tri, nhưng cũng giảm thiểu sự phụ thuộc vào cầu nối chuỗi chéo: giữ tài sản trên các chuỗi gốc của chúng và sử dụng các giao thức hoán đổi nguyên tử để di chuyển giá trị giữa các chuỗi khác nhau.- Sử dụng bộ xác thực Ethereum để bảo mật các chuỗi khác: ở trêndanh sách ví dụvalidiumtiêu đề phụ

tóm tắt

tóm tắt

Sự đồng thuận xã hội của cộng đồng blockchain rất mong manh. Điều này là cần thiết — bởi vì việc nâng cấp sẽ xảy ra, lỗi sẽ xảy ra và các cuộc tấn công 51% luôn có khả năng xảy ra — nhưng vì nó có nguy cơ cao gây ra sự chia tách chuỗi, nên cần thận trọng khi sử dụng nó trong các cộng đồng trưởng thành. Thường có một sự thôi thúc tự nhiên trong cộng đồng để cố gắng mở rộng lõi của chuỗi khối Ethereum với ngày càng nhiều chức năng hơn, vì lõi đó có trọng lượng kinh tế lớn nhất và được cộng đồng chú ý nhiều nhất, nhưng mỗi phần mở rộng như vậy lại làm cho lõi trở nên phức tạp hơn. Dễ vỡ.Chúng ta nên cảnh giác với các dự án lớp ứng dụng thực hiện các hành động như thế này -Những hành động này có thể làm tăng "phạm vi" đồng thuận của chuỗi khối thay vì xác thực các quy tắc giao thức cốt lõi của Ethereum.

Trên thực tế, các dự án lớp ứng dụng thử các chiến lược như vậy là điều tự nhiên, trên thực tế, những ý tưởng như vậy thường được hình thành đơn giản mà không xem xét rủi ro, nhưng kết quả khả thi có thể dễ dàng đi ngược lại mục tiêu của toàn bộ cộng đồng . Một quy trình như vậy không có nguyên tắc hạn chế và theo thời gian có thể dễ dàng dẫn đến việc cộng đồng blockchain ngày càng có nhiều "nhiệm vụ" hơn, đẩy nó đến một sự lựa chọn không dễ dàng - hoặc là chia cổ phần cao hàng năm, hoặc là một loại quan liêu chính thức trên thực tế với quyền kiểm soát cuối cùng qua chuỗi khối.