Vitalik Buterin cho biết ông không còn đồng ý với tweet năm 2017 của mình khi đã đánh giá thấp nhu cầu người dùng tự xác minh Ethereum từ đầu đến cuối.
Trong tuần này, ông lập luận rằng mạng lưới nên coi xác minh tự lưu trữ là lối thoát hiểm không thể thương lượng khi kiến trúc của nó trở nên nhẹ hơn và mô-đun hơn.
Quan điểm ban đầu của Buterin nảy sinh từ một cuộc tranh luận thiết kế về việc liệu blockchain nên cam kết trạng thái trên chuỗi hay coi trạng thái là "ngụ ý", chỉ có thể tái tạo bằng cách phát lại các giao dịch đã sắp xếp.
Cách tiếp cận của Ethereum blockchain, đặt state root trong mỗi block header và hỗ trợ bằng chứng kiểu Merkle, cho phép người dùng chứng minh số dư cụ thể, mã hợp đồng hoặc giá trị lưu trữ mà không cần thực thi lại toàn bộ lịch sử, miễn là người dùng chấp nhận tính hợp lệ đồng thuận của chuỗi theo giả định đa số trung thực.
Trong bài đăng mới của mình, Buterin đã định hình lại sự đánh đổi đó là chưa hoàn chỉnh trong thực tế vì nó vẫn có thể khiến người dùng phải lựa chọn giữa việc phát lại toàn bộ chuỗi hoặc tin tưởng một trung gian như nhà điều hành RPC, máy chủ lưu trữ dữ liệu lưu trữ hoặc dịch vụ chứng minh.
Ông đã neo sự thay đổi trong hai thay đổi: tính khả thi và tính mỏng manh.
Về tính khả thi, Buterin viết rằng Bằng chứng Zero-knowledge hiện nay cung cấp một con đường để kiểm tra tính chính xác mà không cần "thực sự thực thi lại từng giao dịch."
Vào năm 2017, ông lập luận rằng điều này sẽ đẩy Ethereum blockchain hướng tới công suất thấp hơn để giữ xác minh trong tầm với.
Sự thay đổi quan trọng vì lộ trình công khai của Ethereum blockchain ngày càng coi ZK là nguyên thủy có thể xác minh, với ethereum.org định hình Bằng chứng Zero-knowledge là một cách để bảo tồn các thuộc tính bảo mật trong khi giảm những gì người xác minh phải tính toán.
Công việc trên các hướng "ZK-light-client" cũng hướng tới một mô hình trong đó thiết bị có thể đồng bộ hóa bằng cách sử dụng bằng chứng nhỏ gọn thay vì tin tưởng một cổng trực tuyến luôn hoạt động.
Về tính mỏng manh, Buterin liệt kê các chế độ lỗi nằm ngoài các mô hình mối đe dọa rõ ràng: mạng p2p bị suy giảm, các dịch vụ tồn tại lâu dài bị tắt, sự tập trung của validator làm thay đổi ý nghĩa thực tế của "đa số trung thực" và áp lực quản trị không chính thức biến "gọi các nhà phát triển" thành giải pháp cuối cùng.
Ông trích dẫn áp lực kiểm duyệt xung quanh Tornado Cash như một ví dụ về cách các trung gian có thể thu hẹp quyền truy cập, lập luận rằng lựa chọn cuối cùng của người dùng nên là "sử dụng trực tiếp chuỗi."
Khung đó theo dõi với cuộc thảo luận rộng hơn về việc củng cố lớp cơ sở của Ethereum blockchain và hạn chế sự xáo trộn, trong bối cảnh đẩy mạnh hướng tới "ossification" giao thức.
Trong cách kể của Buterin, "cabin trên núi" không phải là lối sống mặc định.
Đó là giải pháp dự phòng đáng tin cậy thay đổi động lực, bởi vì kiến thức rằng người dùng có thể thoát ra làm giảm đòn bẩy của bất kỳ lớp dịch vụ đơn lẻ nào.
Lập luận đó xuất hiện khi Ethereum blockchain giảm những gì các nút thông thường được kỳ vọng lưu trữ, trong khi câu chuyện xác minh của mạng phải theo kịp.
Các execution client đang chuyển hướng tới hết hạn lịch sử một phần, và Ethereum Foundation cho biết người dùng có thể cắt giảm việc sử dụng đĩa khoảng 300–500 GB bằng cách loại bỏ dữ liệu block trước Merge, đưa một node trong tầm với trên đĩa 2 TB.
Đồng thời, các light client đã phản ánh một mô hình tin cậy được chính thức hóa được tối ưu hóa cho các thiết bị tài nguyên thấp, dựa vào một ủy ban đồng bộ gồm 512 validator được chọn khoảng mỗi 1,1 ngày.
Các thông số đó làm cho xác minh light-client có thể hoạt động ở quy mô lớn.
Tuy nhiên, chúng cũng tập trung trải nghiệm người dùng xung quanh tính khả dụng của dữ liệu chính xác và các relay hoạt động tốt khi điều kiện xấu đi.
Công việc "statelessness" dài hạn của Ethereum blockchain nhằm giảm nhu cầu các node phải giữ trạng thái lớn trong khi vẫn giữ nguyên xác thực block.
Ethereum.org cảnh báo rằng "statelessness" là một tên gọi sai, phân biệt các hình thức yếu hơn với các thiết kế mạnh hơn vẫn còn là nghiên cứu, bao gồm hết hạn trạng thái.
Cây Verkle nằm trong kế hoạch đó vì chúng giảm kích thước bằng chứng và được định vị là bước cho phép chính hướng tới xác thực mà không cần lưu trữ trạng thái lớn cục bộ.
Khi gánh nặng lưu trữ chuyển ra ngoài nhiều hơn, cho các máy chủ lịch sử chuyên biệt hoặc các mạng dữ liệu khác, câu chuyện bảo mật trở nên ít hơn về việc ai có thể lưu trữ mọi thứ và nhiều hơn về việc ai có thể kiểm tra độc lập tính chính xác và truy xuất những gì họ cần khi đường dẫn mặc định thất bại.
| Điều gì đang thay đổi | Tại sao nó quan trọng đối với xác minh | Thông số hoặc số liệu cụ thể |
|---|---|---|
| Hỗ trợ hết hạn lịch sử một phần trong các execution client | Lưu trữ cục bộ ít hơn có thể làm tăng sự phụ thuộc vào tính khả dụng lịch sử bên ngoài trừ khi các đường dẫn truy xuất và xác minh vẫn mở | ~300–500 GB giảm đĩa, "thoải mái" trên đĩa 2 TB |
| Mô hình tin cậy light client PoS | Xác minh tài nguyên thấp dựa vào chữ ký ủy ban và tính khả dụng dữ liệu thông qua các ngang hàng hoặc dịch vụ | Ủy ban đồng bộ gồm 512 validator, luân phiên khoảng mỗi 1,1 ngày |
| Cây Verkle như một công cụ hỗ trợ stateless-client | Bằng chứng nhỏ hơn có thể làm cho xác thực với trạng thái được lưu trữ ít hơn thực tế hơn | Khung lộ trình liên kết cây Verkle với các mục tiêu xác thực stateless |
| Sự phân biệt lộ trình statelessness | Tách các cách tiếp cận ngắn hạn khỏi các mục nghiên cứu như hết hạn trạng thái | Thuật ngữ statelessness yếu so với mạnh |
| Công việc EF về nền tảng bảo mật zkEVM L1 | Sự nghiêm ngặt và ổn định của hệ thống bằng chứng trở thành một phần của câu chuyện bảo mật cơ sở của Ethereum blockchain | Nhấn mạnh vào sự ổn định và sẵn sàng xác minh chính thức |
Trong 12–36 tháng tới, câu hỏi thực tế là liệu xác minh có lan rộng ra ngoài khi Ethereum blockchain chuyển nhiều gánh nặng lưu trữ ra bên ngoài hơn, hay liệu sự tin cậy có tập trung xung quanh các điểm nghẽn dịch vụ mới.
Một con đường là ví và cơ sở hạ tầng chuyển từ "tin tưởng RPC" sang "xác minh bằng chứng," trong khi sản xuất bằng chứng hợp nhất thành một tập hợp nhỏ các ngăn xếp được tối ưu hóa khó sao chép, chuyển sự phụ thuộc từ một loại nhà cung cấp sang loại khác.
Một con đường khác là xác minh dựa trên bằng chứng trở nên bình thường, với các triển khai chứng minh dự phòng và công cụ cho phép người dùng chuyển đổi nhà cung cấp hoặc xác minh cục bộ khi một điểm cuối kiểm duyệt, suy giảm hoặc biến mất, phù hợp với các nỗ lực nhằm vào các luồng xác minh nhẹ.
Con đường thứ ba là cắt tỉa và mô-đun hóa tiến bộ nhanh hơn UX xác minh, để lại cho người dùng ít tùy chọn khả thi hơn trong các sự kiện mất điện hoặc kiểm duyệt.
Điều đó sẽ làm cho "cabin trên núi" hoạt động thực tế chỉ cho một phần hẹp của mạng.
Buterin đã định hình cabin là BATNA của Ethereum blockchain, hiếm khi được sử dụng nhưng luôn sẵn có, bởi vì sự tồn tại của một lựa chọn tự lực hạn chế các điều khoản do trung gian áp đặt.
Ông kết thúc bằng cách lập luận rằng duy trì giải pháp dự phòng đó là một phần của việc duy trì chính Ethereum blockchain.
Bài đăng Vitalik Buterin thừa nhận sai lầm thiết kế lớn nhất của ông kể từ năm 2017 – vậy Ethereum của bạn có đang gặp rủi ro? xuất hiện đầu tiên trên CryptoSlate.


