Offchain Labs thách thức đề xuất RISC-V của Vitalik, cho rằng WASM phù hợp hơn cho Ethereum L1

Offchain Labs, nhà phát triển cốt lõi của Ethereum Layer 2 Arbitrum, đã phản bác đề xuất của Vitalik Buterin về việc chuyển lớp thực thi của Ethereum sang RISC-V, bằng cách đăng tải một bài viết kỹ thuật chi tiết cho rằng WebAssembly (WASM) mang lại lợi thế lâu dài vượt trội hơn.

Trong một bài đăng ngày 20 tháng 11 trên Ethereum Research, bốn nhà nghiên cứu của Offchain Labs lập luận rằng mặc dù RISC-V hiện tại vượt trội trong việc tạo ra các bằng chứng ZK, điều đó không có nghĩa là nó là lựa chọn phù hợp cho cách các hợp đồng thông minh nên được triển khai và lưu trữ trên Ethereum.

Đồng sáng lập Ethereum, Buterin, đã đưa ra ý tưởng thay thế mã bytecode của Ethereum Virtual Machine bằng bộ tập lệnh mã nguồn mở RISC-V (phát âm là "risk-five") trong một bài đăng trên Ethereum Magicians vào tháng 4, cho rằng sự thay đổi này có thể giảm chi phí tạo bằng chứng ZK trên chuỗi tới 100 lần trong một số trường hợp. 

"Chúng tôi ủng hộ các mục tiêu này nhưng đặt câu hỏi về giả định ngầm của Vitalik rằng một ISA có thể phục vụ tối ưu cả việc tạo bằng chứng ZK và triển khai hợp đồng thông minh," Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg và Daniel Lumi viết.

Phân tách triển khai và tạo bằng chứng?

Lập luận cốt lõi của nhóm tập trung vào việc phân biệt giữa "delivery ISA" (dISA) — định dạng để tải hợp đồng lên chuỗi — và "proving ISA" (pISA) được sử dụng bởi các máy ảo ZK. Họ cho rằng hai điều này không nhất thiết phải giống nhau.

Offchain Labs hiện đang xây dựng một nguyên mẫu chứng minh cho khái niệm này: các block Arbitrum, bao gồm cả hợp đồng thông minh Stylus dựa trên WASM, được chứng minh ZK bằng cách biên dịch WASM sang RISC-V trước, sau đó chứng minh quá trình thực thi RISC-V.

"Chúng tôi có thể tạo bằng chứng ZK cho các block thực tế ngày nay trên một blockchain sử dụng WASM làm dISA, bằng cách sử dụng một ZK-VM dựa trên RISC-V làm backend," bài viết cho biết.

RISC-V có thể không còn tối ưu

Nhóm đặt câu hỏi liệu RISC-V có thực sự là điểm kết thúc của sự phát triển ZK-VM hay không, lưu ý rằng lĩnh vực tạo bằng chứng đang thay đổi nhanh chóng. Những thay đổi gần đây từ các triển khai RISC-V 32-bit sang 64-bit càng làm nổi bật sự không chắc chắn này.

Họ cảnh báo rằng việc cố định RISC-V trên L1 có thể khiến Ethereum bị ràng buộc vào một công nghệ tạo bằng chứng cụ thể đúng lúc các lựa chọn thay thế tốt hơn xuất hiện, trong khi các ZK-VM dựa trên WASM như Ligetron của Ligero đã cho thấy những lợi thế mà các ISA tập trung vào phần cứng có thể không theo kịp.

Trong khi đó, chi phí tạo bằng chứng ZK đã giảm mạnh xuống còn khoảng $0.025 cho mỗi block Ethereum và tiếp tục giảm, khiến việc tối ưu hóa chỉ cho hiệu quả tạo bằng chứng trở nên ít quan trọng hơn, các nhà nghiên cứu lập luận. "Ngay cả khi L1 yêu cầu nhiều bằng chứng ZK cho mỗi block, chi phí này cũng sẽ rất nhỏ so với phí gas và MEV mà một builder có thể nhận được từ một block," họ viết. 

Lợi thế của WASM

Nhóm nhấn mạnh thiết kế có cấu trúc của WASM, giúp dễ dàng sửa đổi và tối ưu hóa mã mà không làm hỏng các hợp đồng hiện có. WASM cũng thực thi hiệu quả trên phần cứng phổ biến, trong khi hầu hết các node Ethereum không chạy CPU RISC-V và sẽ cần giả lập nó.

Khả năng xác thực của WASM đảm bảo an toàn kiểu dữ liệu và ngăn ngừa các lỗ hổng, trong khi hệ sinh thái công cụ phát triển trưởng thành của nó đã được kiểm nghiệm qua hàng tỷ môi trường thực thi.

"Chúng tôi nghĩ WASM có thể trở thành một dạng Giao thức Internet cho các hợp đồng thông minh, đóng vai trò là lớp trung gian lý tưởng giữa các ngôn ngữ nguồn đa dạng mà hợp đồng thông minh được viết và các backend đa dạng được sử dụng để thực thi và chứng minh hợp đồng thông minh," các nhà nghiên cứu viết.