Offchain Labs phản bác nỗ lực RISC-V của Vitalik Buterin với lập luận về WASM trên Ethereum L1

Offchain Labs lập luận rằng Ethereum nên tách biệt bộ lệnh giao hàng và bộ lệnh chứng minh để duy trì tính linh hoạt lâu dài.

Đội ngũ lưu ý rằng những thay đổi nhanh chóng trong thiết kế ZK-VM tạo ra sự không chắc chắn xung quanh việc khóa Ethereum vào RISC-V.

WASM cung cấp sự ổn định cấu trúc, khả năng tương thích phần cứng và các tính năng xác thực mạnh mẽ cho việc thực thi hợp đồng thông minh trên chuỗi.

Các nhà nghiên cứu của Offchain Labs đã đưa ra một thách thức chi tiết đối với đề xuất của Vitalik Buterin về việc chuyển đổi lớp thực thi của Ethereum sang bộ lệnh RISC-V. Vị trí của họ đã giới thiệu một cấu trúc khác để đánh giá cách Ethereum xử lý mã hợp đồng thông minh. Các nhà nghiên cứu đã trình bày những phát hiện của họ trong một cuộc thảo luận vào tháng 11 trên Ethereum Research, nơi họ đã xem xét cách WebAssembly có thể hoạt động như một định dạng giao hàng lâu dài cho Layer 1 của Ethereum.

Các nhà nghiên cứu nhấn mạnh vai trò riêng biệt của các hệ thống giao hàng và chứng minh.

Đội ngũ đã giải thích cách mà các hệ thống hợp đồng thông minh phụ thuộc vào hai lớp khác nhau. Họ đã mô tả một tập hợp hướng dẫn giao hàng xác định cách mà các hợp đồng xuất hiện trên chuỗi. Họ cũng đã chi tiết một tập hợp hướng dẫn chứng minh được sử dụng bởi các máy ảo ZK để xác minh việc thực hiện. Họ cho biết rằng những vai trò này không cần phải chia sẻ cùng một thiết kế.

Bài đăng của họ mô tả sự tách biệt này như một phương pháp bảo tồn tính linh hoạt cho các hệ thống chứng minh trong tương lai. Họ đã đề cập đến công việc đang diễn ra mà biên dịch các hợp đồng WASM thành RISC-V trước khi chứng minh chúng. Họ thêm rằng phương pháp này đã chạy trong các bài kiểm tra Arbitrum mà xử lý dữ liệu khối trực tiếp.

Các nhà nghiên cứu đã xem xét những thay đổi nhanh chóng trong sự phát triển của ZK-VM. Họ lưu ý rằng các triển khai RISC-V gần đây đã chuyển từ thiết kế 32-bit sang 64-bit. Họ tuyên bố rằng sự thay đổi này tạo ra sự không chắc chắn xung quanh tối ưu hóa lâu dài cho các hệ thống chứng minh. Họ tập trung vào rủi ro nhúng một ISA hướng phần cứng duy nhất vào lớp cơ sở của Ethereum trong khi các dự án ZK-VM khác phát triển các cấu trúc chứng minh thay thế. Họ đã đề cập đến các nỗ lực chứng minh hướng WASM như Ligero’s Ligetron như những ví dụ về những hướng đi mới trong bối cảnh đó.

Chi phí chứng minh tiếp tục giảm trên toàn hệ sinh thái

Bài viết mô tả sự giảm chi phí chứng minh ZK. Các nhà nghiên cứu cho biết chi phí hiện tại gần $0.025 cho mỗi khối Ethereum. Họ bổ sung rằng chi phí tiếp tục giảm khi các hệ thống chứng minh phát triển. Họ giải thích rằng những con số này giảm nhu cầu thiết kế định dạng giao hàng chỉ dựa vào hiệu quả chứng minh.

Họ lưu ý rằng các nhà phát triển vẫn có thể thu thập phí gas và MEV mà vượt qua chi phí chứng minh trong điều kiện khối bình thường. Các nhà nghiên cứu đã chỉ ra định dạng có cấu trúc của WASM. Họ giải thích rằng cấu trúc này giúp việc cập nhật mã trở nên dễ dàng hơn mà không làm hỏng các hợp đồng hiện có. Họ cũng thêm rằng WASM hoạt động hiệu quả trên phần cứng phổ biến được sử dụng bởi hầu hết các nút Ethereum.

Họ cũng lưu ý rằng WASM bao gồm xác thực tích hợp sẵn nhằm đảm bảo an toàn kiểu trong các môi trường thực thi. Họ đã đề cập đến cơ sở công cụ rộng lớn của nó, điều này xuất phát từ việc sử dụng rộng rãi trong nhiều ứng dụng. Họ mô tả WASM như một lớp ổn định kết nối các ngôn ngữ hợp đồng với các hệ thống thực thi và chứng minh đa dạng.