Tác giả gốc: Vitalik

Biên soạn gốc: Đặng Tông, Golden Finance

Khi tôi ngồi đây viết bài này vào ngày cuối cùng của Ethereum Developer Interop ở Kenya, chúng tôi đã đạt được tiến bộ lớn trong việc triển khai và hoàn thiện các chi tiết kỹ thuật về các cải tiến quan trọng sắp tới của Ethereum, đáng chú ý nhất là PeerDAS, chuyển đổi cây Verkle và các phương pháp phi tập trung để lưu trữ lịch sử trong bối cảnh của EIP 4444. Theo quan điểm của riêng tôi, tốc độ phát triển của Ethereum và khả năng cung cấp các tính năng lớn và quan trọng của chúng tôi giúp cải thiện đáng kể trải nghiệm cho các nhà khai thác nút và người dùng (L1 và L2) không ngừng tăng lên.

Nhóm khách hàng Ethereum làm việc cùng nhau để cung cấp Pectra devnet

Với sự gia tăng năng lực công nghệ, một câu hỏi quan trọng cần đặt ra là: liệu chúng ta có đang hướng tới những mục tiêu đúng đắn không? Một loạt tweet bất mãn gần đây của nhà phát triển cốt lõi Geth lâu năm Peter Szilagyi đã khiến chúng tôi suy nghĩ về điều này:

Những lo ngại này là có cơ sở. Đây là mối quan tâm của nhiều người trong cộng đồng Ethereum. Cá nhân tôi đã nhiều lần lo lắng về những vấn đề này. Tuy nhiên, tôi cũng không nghĩ tình hình đến mức vô vọng như dòng tweet của Peter gợi ý. Thay vào đó, nhiều vấn đề đã được giải quyết thông qua các tính năng giao thức đang diễn ra, trong khi nhiều vấn đề khác có thể được giải quyết bằng những điều chỉnh rất thực tế đối với lộ trình hiện tại.

Để hiểu điều này có ý nghĩa gì trong thực tế, chúng ta hãy xem lại ba ví dụ do Peter đưa ra. Những vấn đề này là mối quan tâm chung của nhiều thành viên cộng đồng và điều quan trọng là phải giải quyết chúng.

Sự phụ thuộc của MEV và trình xây dựng

Trước đây, các khối Ethereum được tạo bởi các thợ mỏ, những người sử dụng các thuật toán tương đối đơn giản để tạo khối. Người dùng gửi giao dịch đến mạng p2p công cộng, thường được gọi là "mempool" (hoặc "txpool"). Người khai thác lắng nghe mempool, chấp nhận các giao dịch hợp lệ và trả phí. Chúng bao gồm các giao dịch có thể được thực hiện và nếu không đủ dung lượng, chúng sẽ được ưu tiên theo thứ tự có mức phí cao nhất.

Đó là một hệ thống rất đơn giản và thân thiện với quá trình phân quyền: với tư cách là người khai thác, bạn chỉ cần chạy phần mềm mặc định và nhận được cùng mức thu nhập từ phí từ một khối giống như khi bạn nhận được từ một trang trại khai thác rất chuyên nghiệp. Tuy nhiên, vào khoảng năm 2020, mọi người bắt đầu tận dụng cái gọi là giá trị có thể trích xuất của thợ mỏ (MEV): thu nhập chỉ có thể có được bằng cách thực hiện các chiến lược phức tạp nhằm hiểu rõ các hoạt động diễn ra bên trong các giao thức defi khác nhau.

Ví dụ: hãy xem xét một sàn giao dịch phi tập trung như Uniswap. Giả sử tại thời điểm T, tỷ giá hối đoái USD/ETH trên các sàn giao dịch tập trung và Uniswap là 3.000 USD. Tại T+11, tỷ giá USD/ETH trên sàn giao dịch tập trung đã tăng lên 3.005 USD. Nhưng Ethereum vẫn chưa có khối tiếp theo. Đến thời điểm T+12 thì quả thực đã như vậy. Bất kỳ ai đã tạo khối, giao dịch đầu tiên của họ có thể là một loạt các giao dịch mua Uniswap để mua tất cả ETH có sẵn trên Uniswap với giá từ $3000 đến $3004. Đây là thu nhập bổ sung, được gọi là MEV. Các ứng dụng khác ngoài DEX cũng gặp vấn đề tương tự. Bài báo Flash Boys 2.0 xuất bản năm 2019 trình bày chi tiết về điều này.

Biểu đồ trong bài báo Flash Boys 2.0 cho thấy số tiền doanh thu có thể đạt được bằng cách sử dụng từng phương pháp trên.

Vấn đề là điều này phá vỡ lý do tại sao việc khai thác (hoặc đề xuất khối sau năm 2022) có thể “công bằng”: giờ đây, những người chơi lớn có khả năng tối ưu hóa thuật toán trích xuất như vậy tốt hơn có thể nhận được nhiều hơn trong mỗi khối.

Kể từ đó, đã có một cuộc tranh luận liên tục giữa hai chiến lược mà tôi gọi là giảm thiểu MEV và cách ly MEV. Giảm thiểu MEV có hai hình thức: (i) tích cực phát triển các lựa chọn thay thế không có MEV cho Uniswap (ví dụ: Cowswap) và (ii) xây dựng công nghệ trong giao thức như nhóm bộ nhớ mật mã giúp giảm thông tin có sẵn cho các nhà sản xuất khối, do đó làm giảm thu nhập của họ điều đó có thể đạt được. Đặc biệt, các mempool được mã hóa ngăn chặn các chiến lược như tấn công sandwich, đặt các giao dịch trước và sau các giao dịch của người dùng để khai thác chúng một cách kinh tế (“chạy trước”).

Việc phân tách MEV hoạt động bằng cách chấp nhận MEV nhưng cố gắng hạn chế tác động của nó đối với việc tập trung đặt cược bằng cách chia thị trường thành hai loại người tham gia: người xác thực chịu trách nhiệm chứng minh và đề xuất các khối, nhưng nhiệm vụ chọn nội dung khối là thông qua giao thức đấu giá. Những người đặt cược cá nhân giờ đây không còn cần phải lo lắng về việc tối ưu hóa hoạt động chênh lệch giá DeFi nữa; họ chỉ cần tham gia giao thức đấu giá và chấp nhận giá thầu cao nhất. Điều này được gọi là Tách biệt người đề xuất/người xây dựng (PBS). Cách tiếp cận này đã có tiền lệ trong các ngành khác: một trong những lý do chính khiến các nhà hàng có thể duy trì tính phi tập trung như vậy là họ có xu hướng dựa vào một nhóm nhà cung cấp khá tập trung cho các hoạt động khác nhau của mình, vốn có quy mô kinh tế rất lớn. Cho đến nay, PBS đã khá thành công trong việc đảm bảo rằng những người xác nhận lớn và nhỏ có một sân chơi bình đẳng, ít nhất là đối với MEV. Tuy nhiên, nó tạo ra một vấn đề khác: nhiệm vụ chọn giao dịch nào sẽ trở nên tập trung hơn.

Quan điểm của tôi về vấn đề này luôn là việc giảm thiểu MEV là tốt và chúng ta nên theo đuổi nó (Cá nhân tôi sử dụng Cowswap rất nhiều!) - mặc dù có nhiều thách thức với các mempool được mã hóa, việc giảm thiểu MEV có thể là không đủ; thậm chí gần bằng không. Vì vậy, chúng ta cũng cần một số loại cách ly MEV. Điều này dẫn đến một nhiệm vụ thú vị: Làm cách nào để tạo ra "hộp cách ly MEV" nhỏ nhất có thể? Làm cách nào để chúng tôi cung cấp cho các nhà xây dựng ít quyền lực nhất có thể trong khi vẫn cho phép họ hấp thụ các tác động của việc tối ưu hóa chênh lệch giá và các hình thức thu thập MEV khác?

Nếu người xây dựng có quyền loại trừ hoàn toàn các giao dịch khỏi khối thì các cuộc tấn công có thể dễ dàng xảy ra. Giả sử bạn có Vị trí nợ được thế chấp (CDP) trong giao thức defi, được hỗ trợ bởi một tài sản có giá đang giảm nhanh chóng. Bạn muốn thêm tài sản thế chấp hoặc thoát khỏi CDP. Những kẻ xây dựng độc hại có thể cố gắng thông đồng để từ chối các giao dịch có sự tham gia của bạn, trì hoãn các giao dịch cho đến khi giá giảm đủ để buộc thanh lý CDP của bạn. Nếu điều này xảy ra, bạn sẽ phải trả một khoản tiền phạt khổng lồ và người xây dựng sẽ nhận được một phần lớn. Vậy làm cách nào để ngăn chặn các nhà xây dựng loại trừ các giao dịch và hoàn thành kiểu tấn công này?

Đây là nơi các danh sách được bao gồm xuất hiện.

Nguồn: etresear.ch

Danh sách bao gồm cho phép người đề xuất khối (tức là các bên liên quan) chọn các giao dịch cần thiết để vào khối. Người xây dựng vẫn có thể sắp xếp lại các giao dịch hoặc chèn các giao dịch của riêng họ, nhưng chúng phải bao gồm các giao dịch của người đề xuất. Cuối cùng, danh sách bao gồm đã được sửa đổi để hạn chế khối tiếp theo thay vì khối hiện tại. Trong cả hai trường hợp, chúng tước đi khả năng của người xây dựng để đẩy các giao dịch hoàn toàn ra khỏi khối.

MEV là một vấn đề phức tạp; ngay cả mô tả ở trên cũng bỏ sót nhiều sắc thái quan trọng. Như người ta thường nói: “Bạn có thể không tìm kiếm MEV, nhưng MEV đang tìm kiếm bạn”. Các nhà nghiên cứu Ethereum đã rất nhất quán trong việc hướng tới mục tiêu “ngăn chặn tối thiểu”, giảm thiểu tác hại mà các nhà xây dựng có thể gây ra (ví dụ: bằng cách loại trừ hoặc trì hoãn các giao dịch như một cách để tấn công một ứng dụng cụ thể).

Điều đó nói lên rằng, tôi nghĩ chúng ta có thể tiến xa hơn. Trong lịch sử, danh sách bao gồm thường được coi là một "tính năng trường hợp đặc biệt": thông thường, bạn sẽ không nghĩ đến chúng, nhưng trong trường hợp một trình tạo độc hại bắt đầu làm những điều điên rồ, họ sẽ cho bạn một "con đường thứ hai". Thái độ này được phản ánh trong các quyết định thiết kế hiện tại: Trong EIP hiện tại, giới hạn Gas cho danh sách đưa vào là khoảng 2,1 triệu. Nhưng chúng ta có thể thực hiện một sự thay đổi về mặt triết học trong cách nghĩ về danh sách bao gồm: coi danh sách bao gồm dưới dạng các khối và vai trò của trình tạo như một chức năng trợ giúp bổ sung một số giao dịch để thu thập MEV. Điều gì sẽ xảy ra nếu người xây dựng có giới hạn 2,1 triệu gas?

Tôi nghĩ ý tưởng đi theo hướng này - thực sự đẩy hộp cách ly càng nhỏ càng tốt - rất thú vị và tôi ủng hộ việc đi theo hướng này. Đây là một sự thay đổi so với "triết lý của thời đại năm 2021": trong triết lý của thời đại năm 2021, chúng tôi nhiệt tình hơn với ý tưởng rằng vì hiện tại chúng tôi đã có các nhà xây dựng nên chúng tôi có thể "làm quá tải" chức năng của họ và để họ phục vụ trong những công việc phức tạp hơn. Các dịch vụ của người dùng chẳng hạn. Bằng cách hỗ trợ thị trường phí ERC-4337. Trong triết lý mới này, phần xác minh giao dịch của ERC-4337 phải được tích hợp vào giao thức. May mắn thay, nhóm ERC-4337 ngày càng trở nên nhiệt tình với hướng đi này.

Tóm tắt: Tư duy MEV đã quay trở lại hướng trao quyền cho các nhà sản xuất khối, bao gồm cả việc trao cho các nhà sản xuất khối quyền trực tiếp đảm bảo bao gồm các giao dịch của người dùng. Các đề xuất trừu tượng hóa tài khoản đã quay trở lại theo hướng loại bỏ sự phụ thuộc vào các bộ chuyển tiếp tập trung hoặc thậm chí là các bộ đóng gói. Tuy nhiên, có một lập luận xác đáng được đưa ra rằng chúng ta chưa đi đủ xa và tôi nghĩ áp lực thúc đẩy quá trình phát triển hơn nữa theo hướng này là rất đáng hoan nghênh.

Đặt cược thanh khoản

Ngày nay, những người đặt cược riêng lẻ chiếm một tỷ lệ tương đối nhỏ trong tổng số đặt cược Ethereum và hầu hết việc đặt cược được thực hiện bởi nhiều nhà cung cấp khác nhau — một số nhà khai thác tập trung và các DAO khác như Lido và RocketPool.

Tôi đã thực hiện nghiên cứu của riêng mình - nhiều cuộc thăm dò, khảo sát, trò chuyện trực tiếp, đặt câu hỏi "Tại sao bạn - đặc biệt là bạn - không đặt cược một mình ngay hôm nay?" Đối với tôi, cho đến nay, một hệ sinh thái đặt cược mạnh mẽ là của tôi. kết quả ưu tiên cho việc đặt cược trên Ethereum và một trong những điều tốt nhất về Ethereum là chúng tôi thực sự cố gắng hỗ trợ một hệ sinh thái đặt cược riêng biệt mạnh mẽ thay vì chỉ chịu khuất phục trước sự ủy quyền. Tuy nhiên, chúng ta vẫn còn cách xa kết quả này. Trong các cuộc thăm dò và khảo sát của tôi, có một số xu hướng nhất quán:

Đại đa số những người không đặt cược riêng lẻ cho rằng mức tối thiểu 32 ETH là lý do chính cho việc này.

Trong số những người đưa ra các lý do khác, lý do lớn nhất là thách thức kỹ thuật trong việc chạy và duy trì các nút xác thực.

Việc mất ETH khả dụng ngay lập tức, rủi ro bảo mật của khóa riêng “nóng” và mất khả năng tham gia đồng thời vào các giao thức DeFi đều là những vấn đề quan trọng nhưng nhỏ hơn.

Một cuộc thăm dò của Farcaster đã tiết lộ những lý do hàng đầu khiến mọi người không đặt cược riêng lẻ.

Nghiên cứu đặt cược cần giải quyết hai câu hỏi chính:

Làm thế nào để chúng ta giải quyết những mối quan tâm này?

Mặc dù có những giải pháp hợp lệ cho hầu hết các vấn đề, nhưng nếu hầu hết mọi người vẫn không muốn đặt cược riêng lẻ, làm thế nào chúng ta có thể giữ cho giao thức ổn định và mạnh mẽ trước các cuộc tấn công bất chấp điều này?

Nhiều dự án nghiên cứu và phát triển đang diễn ra nhằm giải quyết chính xác những vấn đề sau:

Cây Verkle kết hợp với EIP-4444 cho phép các nút đặt cược chạy với yêu cầu đĩa cứng rất thấp. Ngoài ra, chúng cho phép các nút đặt cược đồng bộ hóa gần như ngay lập tức, đơn giản hóa đáng kể những việc như thiết lập và chuyển đổi từ triển khai này sang triển khai khác. Chúng cũng làm cho các máy khách nhẹ của Ethereum trở nên khả thi hơn bằng cách giảm băng thông dữ liệu cần thiết để cung cấp bằng chứng cho mỗi lần truy cập trạng thái.

Điều tra các phương pháp (chẳng hạn như các đề xuất này) để cho phép các bộ trình xác thực lớn hơn (cho phép mức đặt cược tối thiểu nhỏ hơn) đồng thời giảm chi phí cho nút đồng thuận. Những ý tưởng này có thể được thực hiện như một phần của tính hữu hạn của một khe duy nhất. Làm như vậy cũng sẽ giúp các ứng dụng khách nhẹ an toàn hơn vì họ sẽ có thể xác minh toàn bộ bộ chữ ký thay vì dựa vào ủy ban đồng bộ hóa).

Bất chấp lịch sử phát triển của nó, việc tối ưu hóa máy khách Ethereum liên tục vẫn tiếp tục giảm chi phí và khó khăn khi chạy nút xác thực.

Nghiên cứu về giới hạn hình phạt có thể làm giảm bớt lo ngại về rủi ro khóa riêng tư và cho phép các nhà đầu tư đồng thời đặt cọc ETH của họ vào các giao thức DeFi nếu họ chọn.

0x 01 Chứng chỉ rút tiền cho phép người đặt cược đặt địa chỉ ETH làm địa chỉ rút tiền. Điều này làm cho các nhóm đặt cược phi tập trung trở nên khả thi hơn, mang lại lợi thế cho các nhóm đặt cược tập trung.

Tuy nhiên, chúng ta vẫn có thể làm được nhiều hơn thế. Về mặt lý thuyết, trình xác thực có thể được phép rút tiền nhanh hơn: ngay cả khi bộ trình xác thực thay đổi một vài điểm phần trăm mỗi lần nó được hoàn tất (tức là một lần mỗi kỷ nguyên), Casper FFG vẫn sẽ được bảo mật. Vì vậy, nếu chúng ta làm việc chăm chỉ, chúng ta có thể rút ngắn chu kỳ một cách đáng kể. Nếu chúng tôi muốn giảm đáng kể quy mô tiền gửi tối thiểu, chúng tôi có thể đưa ra quyết định khó khăn là đánh đổi theo hướng khác. Ví dụ: nếu chúng tôi tăng thời gian quyết toán lên 4 lần thì kích thước tiền gửi tối thiểu sẽ giảm 4 lần. Tính hữu hạn của một khe sau này sẽ giải quyết vấn đề này bằng cách vượt ra ngoài hoàn toàn mô hình "mọi người đặt cược đều tham gia vào mọi kỷ nguyên".

Một phần quan trọng khác của toàn bộ vấn đề này là tính kinh tế của việc đặt cược. Câu hỏi quan trọng là: chúng ta muốn đặt cược trở thành một hoạt động tương đối thích hợp hay chúng ta muốn tất cả mọi người hoặc hầu hết mọi người đặt cược tất cả ETH của họ? Nếu mọi người đều đặt cược, chúng ta muốn mọi người có trách nhiệm gì? Nếu mọi người chỉ đơn giản là giao phó trách nhiệm vì lười biếng, điều này cuối cùng có thể dẫn đến sự tập trung hóa. Ở đây có những câu hỏi triết học quan trọng và sâu sắc. Câu trả lời sai có thể dẫn Ethereum đi theo con đường tập trung hóa và “tái tạo hệ thống tài chính truyền thống bằng các bước bổ sung”; câu trả lời đúng có thể tạo ra một ví dụ điển hình về một hệ sinh thái thành công với các Bên liên quan độc lập rộng rãi và đa dạng cũng như nhóm đặt cược phi tập trung cao. Những vấn đề này liên quan đến nền kinh tế và giá trị cốt lõi của Ethereum, vì vậy chúng tôi cần sự tham gia đa dạng hơn.

Yêu cầu phần cứng nút

Nhiều vấn đề chính xung quanh việc phân quyền của Ethereum cuối cùng tập trung vào một câu hỏi đã định hình một thập kỷ của blockchain: Chúng ta muốn chạy các nút dễ dàng đến mức nào và làm cách nào để biến điều đó thành hiện thực?

Ngày nay việc chạy một nút rất khó khăn. Hầu hết mọi người không làm điều này. Trên máy tính xách tay mà tôi đang sử dụng để viết bài này, tôi có một nút reth chiếm tới 2,1 TB - là kết quả của quá trình tối ưu hóa và kỹ thuật phần mềm vượt trội. Mình cần mua thêm ổ cứng 4TB để lắp vào laptop để lưu trữ node. Tất cả chúng ta đều muốn làm cho các nút chạy dễ dàng hơn. Trong thế giới lý tưởng của tôi, mọi người sẽ có thể chạy các nút trên điện thoại của họ.

Như tôi đã viết ở trên, cây EIP-4444 và Verkle là hai công nghệ chủ chốt đưa chúng ta đến gần hơn với lý tưởng này. Nếu cả hai đều được triển khai, các yêu cầu phần cứng của nút cuối cùng có thể giảm xuống dưới 100 gigabyte hoặc gần bằng 0 nếu chúng tôi loại bỏ hoàn toàn trách nhiệm lưu trữ lịch sử (có thể chỉ đối với các nút không đặt cược). ZK-EVM loại 1 sẽ loại bỏ nhu cầu tự chạy các phép tính EVM vì bạn có thể chỉ cần xác minh bằng chứng rằng việc thực thi là chính xác. Trong thế giới lý tưởng của tôi, chúng tôi xếp tất cả các công nghệ này lại với nhau và thậm chí cả ví mở rộng trình duyệt Ethereum (ví dụ: Metamask, Rabby) cũng có một nút tích hợp để xác minh các bằng chứng này, thực hiện lấy mẫu tính khả dụng của dữ liệu và đảm bảo chuỗi là chính xác.

Tầm nhìn này thường được gọi là "The Verge".

Tất cả điều này đều được biết đến và hiểu rõ, ngay cả với những người gây lo ngại về kích thước nút Ethereum. Tuy nhiên, có một mối quan tâm quan trọng: nếu chúng ta loại bỏ trách nhiệm duy trì trạng thái và cung cấp bằng chứng thì đây không phải là một vectơ tập trung sao? Ngay cả khi họ không thể gian lận bằng cách cung cấp dữ liệu không hợp lệ, việc phụ thuộc quá nhiều vào họ có đi ngược lại các nguyên tắc của Ethereum không?

Một phiên bản gần đây hơn của mối lo ngại này là sự khó chịu mà nhiều người cảm thấy với EIP-4444: nếu các nút Ethereum thông thường không còn cần lưu trữ lịch sử cũ nữa thì ai sẽ làm điều đó? Câu trả lời phổ biến là: phải có đủ người chơi lớn (ví dụ: trình khám phá khối, sàn giao dịch, Lớp 2) có động cơ để giữ dữ liệu này và chuỗi Ethereum rất nhỏ so với 100 petabyte được lưu trữ bởi Wayback Machine. Vì vậy, ý tưởng cho rằng bất kỳ lịch sử nào thực sự sẽ bị mất là vô lý.

Tuy nhiên, lập luận này dựa vào một số ít người chơi lớn. Trong phân loại mô hình niềm tin của tôi, đây là giả định 1 trên N, nhưng N rất nhỏ. Điều này có những rủi ro đuôi của nó. Một điều chúng ta có thể làm là lưu trữ lịch sử cũ trong mạng ngang hàng, trong đó mỗi nút chỉ lưu trữ một phần nhỏ dữ liệu. Mạng như vậy vẫn sẽ nhân rộng đủ để đảm bảo tính mạnh mẽ: sẽ có hàng nghìn bản sao của mỗi phần dữ liệu và trong tương lai chúng ta có thể sử dụng mã hóa xóa (trên thực tế, bằng cách đưa lịch sử vào các đốm màu kiểu EIP-4844, Điều này có xóa mã hóa được tích hợp sẵn) để cải thiện độ ổn định hơn nữa.

Các đốm màu có mã hóa xóa bên trong và giữa các đốm màu. Cách đơn giản nhất để cung cấp khả năng lưu trữ cực kỳ ổn định cho toàn bộ lịch sử của Ethereum có lẽ là đặt các đèn hiệu và khối thực thi vào các đốm màu. Nguồn hình ảnh: codex.storage

Công việc này từ lâu đã bị lùi lại. Mạng Cổng thông tin tồn tại nhưng nó không thực sự nhận được mức độ chú ý tương xứng với tầm quan trọng của nó đối với tương lai của Ethereum. May mắn thay, hiện đã có động lực để đưa thêm tài nguyên vào phiên bản tối thiểu của cổng tập trung vào lưu trữ phân tán và khả năng truy cập lịch sử. Chúng ta nên dựa trên điều này và hợp tác để triển khai EIP-4444 càng sớm càng tốt, kết hợp với mạng ngang hàng phi tập trung mạnh mẽ để lưu trữ và truy xuất lịch sử cũ.

Đối với trạng thái và ZK-EVM, cách tiếp cận phân tán này khó khăn hơn. Để xây dựng một khối hiệu quả, bạn chỉ cần có trạng thái hoàn chỉnh. Trong trường hợp này, cá nhân tôi thích áp dụng cách tiếp cận thực tế hơn: chúng tôi xác định và nhấn mạnh vào một số mức độ yêu cầu phần cứng cần thiết để có một "nút thực hiện mọi thứ", cao hơn nút của trình xác thực đơn giản (lý tưởng là Giảm liên tục) chi phí chuỗi, nhưng vẫn đủ thấp để những người đam mê có thể mua được. Chúng tôi dựa vào giả định 1 trong N, đảm bảo rằng N có độ lớn hợp lý.

Bằng chứng ZK-EVM có lẽ là phần khó nhất, bộ chứng minh ZK-EVM thời gian thực có thể sẽ yêu cầu phần cứng mạnh hơn các nút lưu trữ, ngay cả với những tiến bộ như Binius và giới hạn trường hợp xấu nhất trên Gas đa chiều. Chúng tôi có thể làm việc trên một mạng bằng chứng phân tán, trong đó mỗi nút đảm nhận trách nhiệm chứng minh, chẳng hạn: một phần trăm quá trình thực thi của một khối và sau đó nhà sản xuất khối chỉ cần tổng hợp một trăm bằng chứng ở cuối. Chứng minh rằng cây tổng hợp có thể giúp ích nhiều hơn nữa. Nhưng nếu điều này không hoạt động tốt, thì một thỏa hiệp khác sẽ là cho phép các yêu cầu phần cứng đối với bằng chứng trở nên cao hơn, nhưng đảm bảo rằng "các nút làm tất cả" có thể xác thực trực tiếp các khối Ethereum (không cần bằng chứng) đủ nhanh để đạt hiệu quả Tham gia vào mạng.

Tóm tắt

Tôi nghĩ tư duy Ethereum của thời đại 2021 đã thực sự quen với việc chuyển trách nhiệm sang một số ít người chơi lớn miễn là có một số loại cơ chế thị trường hoặc hệ thống chứng minh không có kiến thức để buộc các tác nhân tập trung hành động trung thực. Những hệ thống như vậy thường hoạt động tốt trong những trường hợp bình thường nhưng có thể thất bại thảm hại trong trường hợp xấu nhất.

Đồng thời, tôi nghĩ điều quan trọng cần nhấn mạnh là các đề xuất giao thức Ethereum hiện tại đã khác xa đáng kể so với mô hình này và coi trọng nhu cầu về một mạng phi tập trung thực sự hơn nhiều. Các ý tưởng xung quanh các nút không trạng thái, giảm nhẹ MEV, tính hữu hạn của một khe và các khái niệm tương tự đã tiến xa hơn theo hướng này. Một năm trước, ý tưởng lấy mẫu tính khả dụng của dữ liệu thông qua rơle dưới dạng các nút bán tập trung đã được xem xét nghiêm túc. Năm nay, chúng tôi không còn phải làm những việc này nữa và PeerDAS đã có những bước tiến mạnh mẽ đáng ngạc nhiên.

Nhưng chúng ta có thể làm nhiều điều để tiến xa hơn theo hướng này, về cả ba vấn đề trọng tâm mà tôi đã đề cập ở trên, cũng như về nhiều vấn đề quan trọng khác. Helios đã đạt được tiến bộ lớn trong việc cung cấp “ứng dụng khách nhẹ thực sự” cho Ethereum. Bây giờ, chúng tôi cần đưa nó vào ví Ethereum theo mặc định và yêu cầu các nhà cung cấp RPC cung cấp bằng chứng cũng như kết quả của họ để chúng có thể được xác minh và mở rộng công nghệ máy khách hạng nhẹ sang giao thức lớp 2. Nếu Ethereum mở rộng quy mô thông qua lộ trình tập trung vào Rollup, Lớp 2 cần nhận được các đảm bảo về bảo mật và phân cấp tương tự như Lớp 1. Có nhiều thứ khác trong thế giới lấy Rollup làm trung tâm mà chúng ta nên xem xét nghiêm túc hơn; các cầu nối L2 phi tập trung và hiệu quả là một trong nhiều ví dụ. Nhiều dapp lấy nhật ký thông qua các giao thức tập trung vì quá trình quét nhật ký gốc của Ethereum trở nên quá chậm. Chúng tôi có thể cải thiện điều này bằng các giao thức phụ phi tập trung chuyên dụng; đây là một trong những gợi ý của tôi về cách thực hiện việc này.

Có một số lượng gần như vô tận các dự án blockchain nhắm mục tiêu vào thị trường "chúng ta có thể siêu nhanh và chúng ta sẽ nghĩ đến việc phân cấp sau". Tôi không nghĩ Ethereum nên tham gia nhóm này. Ethereum L1 có thể và chắc chắn phải là lớp cơ sở vững chắc cho các dự án lớp 2 áp dụng cách tiếp cận siêu quy mô, sử dụng Ethereum làm xương sống của phân cấp và bảo mật. Ngay cả cách tiếp cận lấy Lớp 2 làm trung tâm cũng yêu cầu bản thân Lớp 1 có đủ khả năng mở rộng để xử lý khối lượng hoạt động lớn. Nhưng chúng ta nên tôn trọng sâu sắc các tính năng làm cho Ethereum trở nên độc đáo và tiếp tục nỗ lực duy trì và cải thiện các tính năng này khi Ethereum mở rộng quy mô.