Cysic phát hành mã nguồn mở động cơ zkVM Venus của mình, chuyển việc tạo bằng chứng thành một đồ thị tính toán toàn cầu và đặt ZisK vào trọng tâm của thị trường bằng chứng EIP-8025 đang hình thành trong hệ sinh thái Ethereum.
Tóm tắt

• Venus thay thế một lớp trừu tượng phần cứng (HAL) truyền thống bằng cái nhìn dựa trên đồ thị đối với toàn bộ quy trình tạo bằng chứng, giúp tối ưu hóa điện toán trên phạm vi toàn cầu và sử dụng GPU hiệu quả hơn.
• Cysic báo cáo mức cải thiện hơn 9% về thời gian tạo bằng chứng end-to-end so với ZisK 0.16.1 bằng cách cắt giảm chi phí đồng bộ hóa CPU–GPU, thay vì dựa vào phần cứng mới.
• ZisK hiện đã hoạt động trên Ethproofs và được trích dẫn trong các cuộc thảo luận về EIP-8025; đội ngũ cho biết có thể tạo bằng chứng khối Ethereum trong 7.4 giây với 24 GPU và tạo bằng chứng theo thời gian thực trên một GPU RTX 4090 duy nhất.

Cysic đã phát hành Venus, một động cơ compute zkVM mới mã nguồn mở, tái cấu trúc việc tạo bằng chứng dựa trên một đồ thị tính toán toàn cầu thay vì một lớp trừu tượng phần cứng (HAL) truyền thống, đồng thời đưa stack ZisK của công ty đi thẳng vào tranh luận thị trường bằng chứng L1 đang nổi lên của Ethereum. Khi công bố trên X, Cysic mô tả Venus là “được xây dựng dựa trên ZisK” và nói rằng hệ thống “từ bỏ mô hình HAL truyền thống” để chuyển sang một biểu diễn dựa trên đồ thị của toàn bộ pipeline tạo bằng chứng. “Sự thay đổi mô hình này mang lại ba lợi thế cốt lõi: tối ưu hóa điện toán toàn cầu, giảm đáng kể việc di chuyển dữ liệu kém hiệu quả và cải thiện rõ rệt khả năng sử dụng GPU,” đội ngũ viết.

Thiết kế zkVM ưu tiên đồ thị {#graphfirst-zkvm-design}

Thay vì coi các nền tảng phần cứng như một chuỗi các lệnh gọi hàm biệt lập, Venus mã hóa việc tạo bằng chứng zero-knowledge dưới dạng một đồ thị tính toán tường minh có thể được lập lịch end-to-end trên nhiều GPU, FPGA và các ASIC trong tương lai. Cysic cho biết cách này cho phép trình biên dịch “sắp xếp lại các lệnh và hợp nhất các thao tác bộ nhớ trên ranh giới kernel”, giảm hiện tượng “giật thrashing” bộ nhớ giữa CPU và bộ tăng tốc, đồng thời khớp tốt hơn với tính chất song song ồ ạt của các tác vụ MSM và NTT. Trong các bài kiểm thử nội bộ, động cơ Venus đã mang lại “cải thiện hơn 9% về thời gian tạo bằng chứng end-to-end so với ZisK 0.16.1”, chủ yếu nhờ cắt giảm chi phí đồng bộ hóa CPU–GPU thay vì dựa vào các lợi ích phần cứng thuần túy.

Đường thẳng vào mạch bằng chứng của Ethereum {#direct-line-into-ethereums-proof-track}

Thông báo về Venus xuất hiện khi đề xuất EIP-8025 của Ethereum, được đặt tên là “Optional Execution Proofs”, chính thức hóa mô hình nhiều người tạo bằng chứng (multi-prover) cho việc xác thực khối L1 bằng zkVM. Trong phần giải thích của mình, Cysic lưu ý rằng ZisK là “một trong năm zkVM được nêu rõ như các ứng viên trong các cuộc thảo luận chính thức của cộng đồng”, cùng với các hệ thống như RISC Zero và openVM, và nói rằng đội ngũ của họ đã có thể “hoàn tất việc tạo bằng chứng cho một khối Ethereum trong 7.4 giây bằng 24 GPU”, đáp ứng các mục tiêu thời gian thực. Dự án “đã hoạt động trên Ethproofs, gửi các bằng chứng theo thời gian thực cho các khối Ethereum bằng một GPU RTX 4090,” và được liệt kê là đối tác tích hợp của Ethproofs khi hệ sinh thái tiến tới thị trường bằng chứng L1.eips.

Phiên bản hạ tầng ZK toàn diện {#fullstack-zk-infrastructure-play}

Cysic định vị Venus như lõi tăng tốc phần mềm bên trong một stack lớn hơn, bao gồm zkVM ZisK tại điểm vào giao thức, phần cứng ASIC tùy chỉnh làm nền tảng tính toán và mạng ComputeFi để lập lịch các công việc trên nhiều người tạo bằng chứng. “Vấn đề thực sự không phải là thiếu điện toán thô, mà là sự không khớp mang tính kiến trúc một cách cơ bản,” đội ngũ lập luận, cho rằng cần một stack gồm zkVM, phần cứng và cơ chế lập lịch được tích hợp chặt chẽ để mở rộng quy mô kế hoạch lộ trình zkEVM của Ethereum.university.