Fenbushi Capital gần đây đã phát hành một bài viết blog toàn diện về việc đánh giá tám zkVM khác nhau. () Dưới đây là tóm tắt, bao gồm các kết quả chính và những điểm rút ra.

zkVMs là gì? zkVMs được thiết kế để xác minh một cách mật mã tính chính xác của việc thực thi chương trình mà không tiết lộ đầu vào hoặc trạng thái tính toán trung gian. Liên quan đến việc chứng minh các khối Ethereum, zkVMs tổng hợp ba đảm bảo mật mã cơ bản để xác minh tất cả các chuyển trạng thái: · Chứng minh tính nhất quán bộ nhớ đọc-ghi · Chứng minh mã hóa lệnh · Chứng minh lệnh

zkVMs có thể mở rộng Ethereum như thế nào? Thay vì thực hiện lại mỗi giao dịch, các validator có thể xác minh một bằng chứng mật mã ngắn gọn, điều này rất hiệu quả và có thể tăng đáng kể thông lượng của L1.

Blog của Fenbushi giới thiệu một khung chuẩn hóa để đánh giá hiệu suất zkVM nhằm làm cho hiệu suất của zkVM trở nên dễ so sánh hơn. Nó đánh giá tám zkVM — SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus và Novanet — trên bốn nhiệm vụ tính toán và ba chỉ số hiệu suất (thời gian chứng minh, kích thước chứng minh và mức sử dụng RAM tối đa).

Trong số các hệ thống chứng minh khác nhau, có một vài hệ thống nổi bật, chẳng hạn như dựa trên FRI-STARK, dựa trên Nova, dựa trên tìm kiếm Lasso và GKR. Các kiến trúc zkVM có thể được phân loại thêm thành hai mô hình chính: kiểu vRAM và kiểu mô-đun.

Phần cứng và chương trình kiểm tra được sử dụng để đánh giá hiệu suất: Các bài kiểm tra được thực hiện trên một hệ thống Linux được trang bị Ubuntu 24.04, 8 CPU ảo, 192GB RAM và một GPU NVIDIA RTX 5090 với 32GB VRAM. Bốn chương trình kiểm tra được sử dụng để đánh giá bao gồm: 1. Tính toán số Fibonacci thứ 100,000. 2. Tính toán băm SHA2–2048. 3. Xác minh chữ ký ECDSA sử dụng đường cong secp256k1. 4. Mô phỏng 100 giao dịch chuyển Ethereum (ETHTransfer).

Thời gian chứng minh cho SHA2–2048: Đối với các hoạt động mật mã như SHA2, việc tăng tốc dựa trên tiền biên soạn là một chiến lược tối ưu hóa phổ biến.

Thời gian chứng minh cho 100 giao dịch chuyển nhượng ETH: Tóm tắt: RISC Zero chậm hơn một chút so với SP1 trong bài kiểm tra Fibonacci, nhưng nổi bật trong ba chương trình kiểm tra khác như là người chiến thắng rõ ràng.

Hiệu suất bộ nhớ và mức sử dụng bộ nhớ tối đa: SP1 (GPU), RISC Zero (GPU) cho thấy mức tiêu thụ bộ nhớ tương đối ổn định bất kể chương trình thử nghiệm.

Kích thước chứng minh (tính bằng kB) đã được quan sát như sau: RISC Zero và Jolt liên tục tạo ra kích thước chứng minh nhỏ gọn nhất trong số các tiêu chuẩn đánh giá.

Tóm tắt hiệu suất: Nhìn chung, hiệu suất của RISC Zero thể hiện sự nhất quán xuất sắc, trong khi SP1, OpenVM, Pico và Jolt đều đạt được hiệu suất tuyệt vời trong một số hạng mục riêng lẻ.

Kết luận: RISC Zero, OpenVM và SP1 thể hiện hiệu suất đặc biệt mạnh mẽ, đặc biệt trong việc thực hiện các tác vụ tính toán liên quan đến EVM, điều này khiến chúng trở thành những ứng cử viên tuyệt vời cho việc mở rộng Ethereum. RISC Zero cho thấy hiệu quả xuất sắc trên các chỉ số chính có liên quan đến các ứng dụng blockchain, và tất cả điều này với việc sử dụng bộ nhớ hiệu quả và kích thước chứng minh nhỏ gọn. Chúc mừng @RiscZero, @openvm_org và @SuccinctLabs!