Bankless: Sự thịnh vượng và tiến thoái lưỡng nan của các Rollup lạc quan

Tiêu đề gốc: “Quả bom hẹn giờ của Ethereum? "

Tác giả: Jack Inabinet

Biên dịch gốc: Kate, Marsbit

Mạng lớp thứ hai của Ethereum đã chứng kiến sự tăng trưởng vượt bậc trong vài năm qua, đặc biệt là các Rollup lạc quan như Arbitrum và Optimism. Giá trị đang hướng về phía họ, nhưng liệu họ có đang phát triển quá lớn, quá nhanh không?

——Nhóm không có ngân hàng

Bản tổng hợp lạc quan không bao giờ dành cho những người bi quan. Kể từ đầu năm, TVL của hai bộ đôi Optimistic Rollup chính của Ethereum là Arbitrum và Optimism đã tăng lần lượt ấn tượng 108% và 52%.

Tuy nhiên, bất chấp những lợi ích này, Optimistic Rollup không phải là mục tiêu cuối cùng của quy mô Ethereum. Mặc dù chúng tiếp tục phát triển về TVL và giúp củng cố L2 như một phần không thể thiếu của hệ sinh thái Ethereum, nhưng khi chúng tiếp tục thành công, khả năng xảy ra một cuộc tấn công thiên nga đen vào các thành phần bảo mật cốt lõi của Optimistic Rollup sẽ chỉ tăng lên.

Hôm nay, chúng tôi sẽ giải thích lý do tại sao Bản tổng hợp lạc quan (mặc dù phổ biến) vẫn dễ bị khai thác, khám phá các giải pháp không có kiến thức để giảm thiểu tất cả các vấn đề này và quay lại vụ hack DAO để giải thích tại sao Ethereum có thể không dễ dàng thoát khỏi nó. Một lỗ hổng lớn khác.

Điểm yếu của sự lạc quan

Như tên gợi ý, các bản tổng hợp lạc quan giả định một cách lạc quan rằng trạng thái bản tổng hợp do nhà điều hành công bố cho Ethereum là chính xác trừ khi được chứng minh ngược lại và lấy được tính bảo mật của chúng từ "bằng chứng gian lận" bằng mật mã.

Ngày nay, Arbitrum là L2 lớn duy nhất có bằng chứng gian lận hợp lệ và hiện tại chỉ những người tham gia được phép mới có thể chứng minh trạng thái của họ là không chính xác. Nếu một người tham gia tranh chấp trạng thái của chuỗi, giao thức tổng số sẽ bắt đầu tính toán bằng chứng chống gian lận, một hình thức đối thoại trên chuỗi giữa người thách thức và tổng số để xác định xem trạng thái có hợp lệ hay không. Mặt khác, thay đổi trạng thái giao dịch được hoàn nguyên và hàm băm được đặt lại về gốc trạng thái chính xác có thể chứng minh được. Tổng số lạc quan xoay quanh khoảng thời gian thử thách tiêu chuẩn là 7 ngày, giúp những người tham gia trung thực có đủ thời gian để thử thách trạng thái của tổng số dữ liệu.

Tuy nhiên, tính bảo mật của tổng số lạc quan dựa trên hai giả định cốt lõi:

  1. Trong trường hợp trạng thái không hợp lệ, ai đó gửi bằng chứng gian lận

Về giả định thứ nhất, chúng ta có thể kỳ vọng một cách hợp lý rằng một người tham gia trung thực sẽ thách thức trạng thái không hợp lệ bằng cách cố gắng công bố bằng chứng gian lận.

  1. L1 cơ bản vẫn có khả năng chống kiểm duyệt

Khả năng chống kiểm duyệt của Ethereum chắc chắn rất đáng khen ngợi. Ví dụ: EIP-1559 tăng phí cơ bản theo cấp số nhân (một phần phí giao dịch) khi một khối đầy. Về lý thuyết, điều này sẽ cấm người tham gia thực hiện các cuộc tấn công DDos vào L1 bằng cách gửi thư rác cho các giao dịch để ngăn chặn việc công bố bằng chứng gian lận, vì chi phí gas cần thiết cho cuộc tấn công sẽ nhanh chóng vượt quá giá trị tích lũy trước khi thời gian thử thách 7 ngày kết thúc.

Không có ngân hàng: Sự thịnh vượng và tiến thoái lưỡng nan của việc tổng hợp lạc quan

Nguồn: Twitter

Thật không may, ngay cả trong một thế giới tương lai giả định, nơi tất cả các rollps lạc quan đều có bằng chứng gian lận không được phép, thì một vectơ tấn công đáng lo ngại vẫn còn. Mặc dù khó xảy ra nhưng vẫn có thể ngăn chặn việc xuất bản các bằng chứng gian lận trong khi tránh phí gas tăng theo cấp số nhân của EIP-1559 thông qua sự thông đồng của người xác thực.

Các bên cạnh tranh phải có khả năng gửi bằng chứng gian lận ở cấp độ L1, vì giao thức tổng số diễn giải việc không có bất kỳ thách thức nào như một thỏa thuận ngầm đối với trạng thái của nó. Khả năng kiểm duyệt các bằng chứng gian lận do thông đồng tại L1 sẽ làm mất hiệu lực điểm 2 và do đó, lời hứa bảo mật của rollup.

Không có ngân hàng: Sự thịnh vượng và tiến thoái lưỡng nan của tổng hợp lạc quan

Nguồn: Twitter

Sự lựa chọn tất yếu

Mặc dù các đối tác Lạc quan của họ dễ triển khai hơn và thống trị không gian Ethereum L2 ngày nay, nhưng zkRollup có thể phá vỡ mô hình hiện tại, cung cấp xác nhận tức thì, tính hữu hạn nhanh hơn, thông lượng cao hơn và quyền riêng tư riêng.

Thay vì tranh chấp trạng thái tổng số không chính xác với bằng chứng gian lận, các bản tổng số này chọn bằng chứng về tính hợp lệ, một hình thức tính toán ngoài chuỗi xác minh tính chính xác của các giao dịch do nhà điều hành tổng số gửi và chứng minh tính chính xác của tổng số mà không tiết lộ trạng thái chính nó.

Mặc dù phức tạp về mặt mật mã, nhưng thiết kế bằng chứng này có nghĩa là trạng thái được xuất bản sẽ luôn phản ánh đúng trạng thái của L2 và có nghĩa là zkRollup chỉ dựa vào các tính năng chống kiểm duyệt của Ethereum, chứ không phải bảo mật, như bản tổng hợp lạc quan thực hiện trong Chương trình chống gian lận .

Một số trong số zkRollup này đã được đưa vào mạng chính và việc áp dụng nhanh chóng của chúng cho thấy sự cần thiết của các giải pháp mở rộng quy mô không kiến thức được xây dựng trên Ethereum.

Dẫn đầu là zkSync Era, có dòng vốn tích cực nhất cả về người dùng và TVL (phần lớn là do đầu cơ airdrop), đã tích lũy được 1,55 TVL đáng kinh ngạc kể từ khi triển khai lên mạng chính vào cuối tháng 3. 100 triệu đô la Mỹ.

Không có ngân hàng: Sự thịnh vượng và tiến thoái lưỡng nan của tổng hợp lạc quan

Nguồn: Artemis

Không thể phủ nhận rằng các đối thủ cạnh tranh đã cố gắng đạt được thành công tương tự, với zkEVM của cả Starknet và Polygon đều nhận được dòng TVL khổng lồ từ đầu tháng Tư.

Mới hôm qua, Polygon Labs đã đề xuất một bản nâng cấp cho chuỗi Polygon PoS hiện tại và trong quá trình này, cuộc thảo luận xung quanh những gì cấu thành một "rollup" càng trở nên bối rối.

Không có ngân hàng: Sự thịnh vượng và tiến thoái lưỡng nan của tổng hợp lạc quan

Nguồn: Twitter

Tuy nhiên, một điểm khác biệt quan trọng là tách biệt zkRollup được tô sáng ở trên (bao gồm cả zkEVM Rollup của Polygon) khỏi tính hợp lệ không có kiến thức (dường như là tương lai của chuỗi Polygon PoS).

Xuất bản bằng chứng về tính hợp lệ hoặc "zk" cho Ethereum đảm bảo tính chính xác của các chuyển đổi trạng thái Polygon PoS, nhưng người dùng vẫn sẽ dựa vào mạng MATIC để có sẵn dữ liệu và chức năng hợp lệ.

Không có ngân hàng: Sự thịnh vượng và tiến thoái lưỡng nan của tổng hợp lạc quan

Nguồn: Phòng thí nghiệm đa giác

Mặc dù cách tiếp cận này chắc chắn sẽ cắt giảm phí giao dịch và cải thiện khả năng mở rộng, bằng cách thuê ngoài tính khả dụng của dữ liệu bên ngoài Ethereum, tầm nhìn "tính hợp lệ" được đề xuất cho Polygon PoS sẽ không kế thừa gói bảo mật đầy đủ và tính khả dụng được Ethereum hỗ trợ.

Hack DAO

Khi xem xét bất kỳ sự kiện thiên nga đen tiềm năng nào trong tương lai, sẽ rất hữu ích nếu bạn nhìn lại lịch sử. Chưa đầy một năm sau khi Ethereum ra mắt, hệ sinh thái non trẻ đã buộc phải đối mặt với một sự kiện thảm khốc: vụ hack DAO.

DAO ra mắt vào tháng 4 năm 2016 và đã huy động được 150 triệu đô la trong giai đoạn hình thành chỉ bốn tuần bằng cách trao cho chủ sở hữu mã thông báo quyền biểu quyết chưa từng có. Thật không may, thành công chưa từng có của họ trong việc gây quỹ chỉ tồn tại trong thời gian ngắn khi kẻ tấn công sử dụng một cuộc tấn công vào lại làm tiêu hao gần như toàn bộ ETH mà DAO kiểm soát.

Bất chấp những nỗ lực tốt nhất của nhóm hack mũ trắng "Robin Hood" để lấy lại tiền, những kẻ tấn công vẫn để lại 40 triệu đô la ETH, tương đương với 5% nguồn cung ether đang lưu hành vào thời điểm đó. Trong hậu quả hỗn loạn, người Etherian nhấn nút thiết lập lại cuối cùng: một sự thay đổi trạng thái bất thường!

Mặc dù Ethereum thường sử dụng các nhánh cứng phối hợp để thực hiện nâng cấp giao thức, như đã thấy trong Hợp nhất và Shapella, việc dọn sạch vụ hack DAO yêu cầu một bước bổ sung. Đợt hard fork này không chỉ sửa lỗi khiến DAO gặp sự cố mà còn trả lại tất cả số tiền bị hack cho chủ sở hữu hợp pháp của chúng.

Đẩy lùi vụ hack DAO là một quyết định gây tranh cãi, với phần lớn sự phản đối đến từ những người ủng hộ Bitcoin cho rằng một chuỗi trạng thái bất thường sẽ làm giảm độ tin cậy của mạng Ethereum và phá vỡ toàn bộ tiền đề về tính bất biến của chuỗi khối. Cuối cùng, các hard forker chuyên nghiệp đã chiến thắng trong trận chiến, một kỳ tích có thể thực hiện được nhờ lo ngại rằng việc tin tặc tập trung quá nhiều ether (5%) sẽ khiến mọi người gặp khó khăn không kém khi xem xét mạng một cách nghiêm túc.

Việc thiết lập lại như vậy sẽ được yêu cầu nếu bản tổng hợp bị khai thác - và vì lý do chính đáng, vì nó đã hoạt động tốt trước đó - nhưng đừng chần chừ, sẽ không có ai cứu dự án tiền điện tử của bạn lần này .

Quyết định hard fork không được xem nhẹ và việc sử dụng nó để thao túng số dư tài khoản sẽ làm hỏng đề xuất giá trị của công nghệ chuỗi khối. Các yêu cầu triển khai thứ gì đó như hard fork đã bị đình trệ trong đề xuất luyện ngục, chẳng hạn như EIP-867 (để chuẩn hóa các yêu cầu thu hồi vốn) và EIP-999 (để hoàn tác thảm họa Ví chẵn lẻ 513 nghìn ETH).

Nhà ảo thuật Ethereum Vitalik Buterin gần đây đã đưa ra lời chỉ trích gay gắt đối với bất kỳ nút khôi phục nào có thể xảy ra trong bài viết của mình "Đừng quá tải sự đồng thuận của Ethereum", lập luận rằng sự đồng thuận xã hội mong manh sẽ tạo ra nguy cơ chia tách chuỗi cao và khi trưởng thành nên sử dụng các nhánh cứng một cách thận trọng trong cộng đồng.

Mặc dù bài viết này chủ yếu thảo luận về những mối nguy hiểm khi đặt lại cổ phần đối với sự đồng thuận xã hội, Vitalik đã chỉ ra rõ ràng rằng việc triển khai có thể dựa vào Ethereum để phân tách và thu hồi vốn, đây là một ứng dụng đồng thuận có rủi ro cao và do đó có thể dẫn đến sự phân tách chuỗi.

Không có ngân hàng: Sự thịnh vượng và tiến thoái lưỡng nan của tổng hợp lạc quan

Nguồn: Vitalik Buterin

Trừ khi chúng ta thấy một sự thay đổi cơ bản trong việc bảo vệ cộng đồng Ethereum, không có khả năng chúng ta sẽ thấy một thay đổi trạng thái bất thường kiểu DAO khác để che đậy lỗ hổng tổng hợp.

TL;DR

Sự thật mà nói, chúng tôi vẫn đang ở giai đoạn đầu của hành trình mở rộng quy mô Ethereum!

Các bản tổng hợp lạc quan thể hiện nỗ lực tốt nhất của các nhà phát triển để mở rộng quy mô Ethereum cho đến nay, nhưng chúng vẫn dễ bị tổn thương và bề mặt tấn công sẽ chỉ mở rộng với thành công ngày càng tăng của chúng. Tuy nhiên, trước thực tế là sự đồng thuận xã hội của Ethereum có thể không cứu được các bản tổng hợp lạc quan bị khai thác, bắt buộc phải tìm kiếm các giải pháp mở rộng quy mô thay thế.

Mặc dù những thiếu sót đã rõ ràng ngày nay, nhưng không thể tránh khỏi thời gian và sự phát triển hơn nữa sẽ cho phép các nhóm đằng sau các phương pháp mở rộng quy mô giống như zkRollup và rollup khác nhau tinh chỉnh các giải pháp của họ đối với các thách thức mở rộng quy mô hiện tại của Ethereum.

Xem bản gốc
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Phần thưởng
  • Bình luận
  • Chia sẻ
Bình luận
0/400
Không có bình luận
  • Ghim
Giao dịch tiền điện tử mọi lúc mọi nơi
qrCode
Quét để tải xuống ứng dụng Gate
Cộng đồng
Tiếng Việt
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)