Vitalik Buterin đưa ra cảnh báo mới về tương lai của Ethereum

Trong một chuỗi bài viết rộng rãi đã nhanh chóng lan truyền trong cộng đồng nhà phát triển Ethereum, Vitalik Buterin đã đưa ra một lập luận mạnh mẽ trong tuần này về một trụ cột của phi tập trung mà ông gọi là “được đánh giá thấp”: đơn giản hóa giao thức. Đăng tải trên X, Buterin lập luận rằng khả năng chống chịu lâu dài của các blockchain như Ethereum phụ thuộc ít hơn vào cryptography kỳ lạ hoặc số lượng phi tập trung khổng lồ và nhiều hơn vào việc liệu giao thức có còn đủ nhỏ để các nhà phát triển và nhà nghiên cứu bình thường có thể kiểm tra, hiểu và tái triển khai một cách có ý nghĩa hay không.

Quan điểm của Buterin rõ ràng nhưng đơn giản. Ngay cả khi một mạng lưới có hàng trăm nghìn nút, khả năng chịu lỗi Byzantine 49% và các công cụ xác minh tiên tiến nhất, nó vẫn chưa thực sự “tin cậy” hoàn toàn, vượt qua “bài kiểm tra rời đi”, hoặc thực sự tự chủ nếu những đảm bảo đó chỉ có thể được giải thích bởi một lớp nhỏ các chuyên gia. “Nếu giao thức là một mớ hỗn độn không tiện lợi gồm hàng trăm nghìn dòng mã và năm dạng cryptography cấp tiến sĩ,” ông viết, “cuối cùng giao thức đó thất bại cả ba bài kiểm tra.” Nói ngắn gọn, phức tạp tạo ra các hình thức tập trung mới.

Đơn giản hóa là một tính năng an ninh

Những tác động của quan sát đó mang tính thực tiễn cũng như triết lý. Buterin cảnh báo rằng các tính năng bổ sung và các phần cryptography nhắm mục tiêu hẹp có thể mang lại lợi ích ngắn hạn cho hệ sinh thái trong khi làm suy yếu khả năng tồn tại của nó trong nhiều thập kỷ. Khi các nhóm khách hàng rút lui hoặc khi các cộng tác viên mới cố gắng tiếp quản việc bảo trì, một mã nguồn mở rộng lớn trở thành một rào cản. Ngay cả những người tham gia kỹ thuật cao cũng không thể kiểm tra hệ thống một cách hợp lý, thì tuyên bố của nó là “của bạn” sẽ bị yếu đi.

Buterin đề ra một định nghĩa ba phần về những gì ông gọi là “đơn giản hóa.” Thứ nhất, giảm thiểu tổng số dòng mã. Một giao thức có thể, về lý thuyết, phù hợp trên một trang duy nhất, hoặc ít nhất là một vài trang, vốn dĩ dễ dàng hơn để lý giải. Thứ hai, tránh phụ thuộc không cần thiết vào các nguyên thủy kỹ thuật kỳ lạ về cơ bản.

An ninh có thể được giảm xuống còn một tập hợp nhỏ các giả định, lý tưởng nhất là một hàm băm duy nhất, là ưu tiên hơn so với một mảnh ghép pha trộn các hàm băm, lattices và isogenies, cái cuối cùng ông thừa nhận là “chẳng ai hiểu” ngay cả đối với các chuyên gia đã xây dựng nó. Thứ ba, tăng số lượng các invariants: các thuộc tính rõ ràng, chặt chẽ và dễ thực thi giúp đơn giản hóa việc phát triển khách hàng. Ông chỉ ra các EIP gần đây như loại bỏ tự hủy và giới hạn gas theo giao dịch là các ví dụ về các bước đã thêm invariants hữu ích và giảm độ phức tạp cho các nhà triển khai.

Chuỗi bài viết vượt ra ngoài lời khuyên để phác thảo các con đường cụ thể. Buterin lập luận về việc duy trì “thu gom rác” liên tục trong phát triển giao thức: các bước có chủ đích để loại bỏ hoặc hạ cấp các tính năng phức tạp, ít được sử dụng hoặc có thể an toàn sống ngoài mã khách hàng bắt buộc. Điều này có thể được thực hiện từng phần, như các cải cách về chi phí gas gần đây mà ông đề cập nhằm thay thế các con số gas tùy ý bằng các mô hình chi phí liên kết với tiêu thụ tài nguyên, hoặc trong một cuộc đại tu lớn hơn. Ông lưu ý rằng việc chuyển đổi từ proof-of-work sang proof-of-stake đã là một cuộc dọn dẹp lớn và đề xuất Lean consensus có thể cung cấp một cơ hội khác để “sửa nhiều sai lầm cùng lúc.”

Một ý tưởng khác ông đề xuất là một dạng tương thích ngược kiểu Rosetta. Thay vì bắt buộc mọi khách hàng phải thực hiện mọi đặc điểm kỳ quặc của chuỗi, hãy hạ cấp các tính năng phức tạp ít được sử dụng thành các lớp hợp đồng thông minh tùy chọn. Theo mô hình đó, việc trừu tượng hóa tài khoản gốc có thể cho phép các loại giao dịch cũ được xử lý ở cấp độ hợp đồng thông minh, trong khi các precompile cũ có thể được mã hóa lại như các hợp đồng hoặc di chuyển sang một VM đơn giản hơn như RISC-V trong dài hạn. Các nhà phát triển lo lắng về hỗ trợ legacy có thể chạy các khách hàng cũ trong container trong khi các khách hàng mới vẫn nhẹ hơn.

Lộ trình cho tương lai của Ethereum

Điều nổi bật từ chuỗi bài viết của Buterin là lời kêu gọi thay đổi văn hóa cũng như kỹ thuật. Ông thúc giục cộng đồng ngừng đánh giá các đề xuất chỉ dựa trên quy mô của chúng so với giao thức hiện tại, một tư duy thường thiên về các thay đổi bổ sung để duy trì tính tương thích ngược. Thay vào đó, ông đề nghị quá trình này nên bao gồm một chức năng đơn giản hóa rõ ràng: một nỗ lực có kỷ luật, liên tục để trừ đi cũng như thêm vào.

Hình ảnh đi kèm nhiều bài repost của chuỗi bài viết, ba động cơ tên lửa phức tạp xếp hàng cạnh nhau, mỗi chiếc là một nghiên cứu về ống, dây và chi tiết kỹ thuật, đã được chia sẻ rộng rãi như một phép ẩn dụ. Giống như một hệ thống tên lửa, một giao thức có nhiều bộ phận tương tác có thể dễ vỡ: càng nhiều bộ phận chuyển động và thành phần đặc thù, càng nhiều cách thứ gì đó có thể xảy ra sai sót. Thông điệp của Buterin, về cơ bản, là rằng cấu trúc siêu dài hạn tốt nhất là một cấu trúc mà cốt lõi của nó bạn có thể đặt trên một trang và giao cho người mới bắt đầu.

Đối với một giao thức mong muốn vượt qua các chế độ chính trị và xu hướng công nghệ, những người mới đó rất quan trọng. “Trong mười lăm năm đầu tiên này,” ông viết, đề cập đến vòng đời của Ethereum cho đến nay, “nên phần nào xem như giai đoạn trưởng thành,” một giai đoạn thử nghiệm sáng tạo. Thách thức, ông lập luận, là giữ các thử nghiệm hữu ích trong khi ngăn chặn các thử nghiệm vô ích trở thành bloat vĩnh viễn.

Chuỗi bài viết đã gây ra những cuộc tranh luận sôi nổi. Một số nhà phát triển cảnh báo rằng sự đơn giản phải được cân bằng với nhu cầu về các nguyên thủy mạnh mẽ và tính linh hoạt, trong khi những người khác thấy cần thiết cấp bách cho việc cắt tỉa hệ thống mà Buterin đề xuất. Nếu không gì khác, cuộc trò chuyện này đánh dấu một sự đồng thuận ngày càng tăng rằng phi tập trung không chỉ đo bằng số lượng nút hoặc các tính năng cryptography, mà còn bằng khả năng hệ thống vẫn dễ tiếp cận đối với những người xây dựng, duy trì và cuối cùng rút lui khỏi nó, rồi quay lại và hiểu nó.