【Bài đăng dài bằng tiếng Anh】Phân tích bài phát biểu của Vitalik tại Devconnect Argentina: Từ EIP-7732 đến zkVMs rồi đến lean Ethereum

Chainfeeds Dẫn nhập:

Ethereum đang tiến hóa từ một "máy tính thế giới" mang tính khái niệm thành một bộ công nghệ vững chắc và bảo vệ quyền riêng tư.

Nguồn bài viết:

Tác giả bài viết:

tcoratger

Quan điểm:

tcoratger: Triết lý: Xác minh vs Niềm tin. Các thực thể tập trung dựa vào nguyên tắc "không làm điều ác". Ethereum thực hiện "không thể làm điều ác" thông qua các ràng buộc của giao thức. Nó xây dựng một nền tảng đáng tin cậy và trung lập, cho phép người dùng xác minh trạng thái thay vì tin tưởng vào khả năng thanh toán của các tổ chức trung gian. Máy tính thế giới khác với các giao thức chuyên dụng, Ethereum chấp nhận khả năng lập trình tổng quát. Nó không nhằm mục đích mở rộng vô hạn (ví dụ như suy luận LLM), mà là để đạt được sự đồng thuận toàn cầu. Nó duy trì một trạng thái đơn nhất (singleton state) không bị ảnh hưởng bởi áp lực địa chính trị. Ngoài DeFi, blockchain còn quyết định thứ tự giao dịch. Khi không có sự đồng thuận, mạng ngang hàng sẽ cho phép double-spending. Tính thực tiễn còn mở rộng đến "bằng chứng không tồn tại" (Proof of Inexistence) — sử dụng mật mã để chứng minh sự khan hiếm của một tài sản, hoặc chứng minh một sự kiện chưa từng xảy ra. Blockchain hoạt động độc lập có điểm yếu: giao dịch công khai, phi tập trung giới hạn tốc độ; độ trễ dưới 50ms chắc chắn dẫn đến tập trung hóa. Không thể truy cập trực tiếp dữ liệu thế giới thực, phải dựa vào oracle. Giải pháp là mật mã có thể lập trình. ZKP xác minh mà không tiết lộ dữ liệu. MPC/FHE thực hiện tính toán trên dữ liệu mã hóa. Điều này chuyển đổi mô hình sang tính toán hợp tác mà không cần trung gian tập trung. Giới hạn gas đang được nâng cao. Các nâng cấp quan trọng bao gồm EIP-7732 (PBS), cho phép validator dành nhiều thời gian hơn để xử lý block mà không gây tập trung hóa. Danh sách truy cập cấp block cho phép xử lý giao dịch song song, phá vỡ nút thắt thực thi tuần tự. Đồng bộ lịch sử cần dữ liệu cấp TB và mất vài ngày. zkVMs thay đổi điều này. Thông qua xác minh SNARK thay vì tính toán lại lịch sử, nhu cầu tính toán gần như bằng không. Điều này giúp các node gốc trên thiết bị di động trở nên khả thi, tăng cường phi tập trung hóa. FOCIL cho phép tập hợp validator rộng hơn đề xuất "mini-block", nâng cao đảm bảo giao dịch được đưa vào block. Ví thông minh trừu tượng hóa tài khoản thực hiện xoay vòng khóa và khôi phục xã hội mà không cần phụ thuộc tập trung. Mục tiêu lâu dài là lean Ethereum, bao gồm tối ưu hóa bộ công nghệ: thuật toán hash phù hợp với zk (Poseidon), xác minh hình thức, Single-Slot Finality và khả năng chống lượng tử. Trọng tâm là bảo mật, đơn giản và tối ưu về mặt toán học.