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

zkVM là gì? zkVM được thiết kế để xác minh bằng 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, zkVM tổng hợp ba đảm bảo mật mã cơ bản để xác minh tất cả các chuyển đổi trạng thái: · Bằng chứng tính nhất quán của bộ nhớ đọc-ghi · Bằng chứng mã hóa hướng dẫn · Bằng chứng hướng dẫn

Làm thế nào để zkVMs có thể mở rộng quy mô Ethereum? Thay vì thực hiện lại mọi giao dịch, trình xác thực có thể xác minh bằng chứng mật mã ngắn gọn, 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 điểm chuẩn hóa nhằm làm cho hiệu suất zkVM có thể 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 tác vụ tính toán và ba chỉ số hiệu suất (thời gian chứng minh, kích thước bằng chứng và mức sử dụng RAM cao nhất).

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

Phần cứng và chương trình kiểm tra được sử dụng để đo điểm chuẩn: Điểm chuẩn được thực hiện trên hệ thống Linux được trang bị Ubuntu 24.04, 8 CPU ảo, RAM 192GB và 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 số Fibonacci thứ 100.000. 2. Tính toán hàm băm SHA2–2048. 3. Xác minh chữ ký ECDSA bằng đường cong secp256k1. 4. Mô phỏng 100 giao dịch Chuyển Ethereum (ETHTransfer).

Thời gian chứng minh SHA2–2048: Đối với các hoạt động mật mã như SHA2, tăng tốc dựa trên tiền biên dịch 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 quả bộ nhớ và mức sử dụng bộ nhớ cao nhất: SP1 (GPU), RISC Zero (GPU) đã chứng minh 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 sản xuất trong số các kích thước bằng chứng nhỏ gọn nhất trên các tiêu chuẩn được đánh giá.

Tóm tắt hiệu suất: Nhìn chung, hiệu suất của RISC Zero thể hiện tính nhất quán đặc biệt, 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 là 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 ứng cử viên sáng giá để mở rộng quy mô Ethereum. RISC Zero cho thấy hiệu quả vượt trội trên các chỉ số chính có liên quan đến các ứng dụng blockchain và tất cả những điều này với việc sử dụng bộ nhớ hiệu quả và kích thước bằng chứng nhỏ gọn. Xin chúc mừng @RiscZero, @openvm_org và @SuccinctLabs!