Cysic công bố mã nguồn mở công cụ Venus zkVM của mình, tái định hình việc tạo bằng chứng như một đồ thị tính toán toàn cầu và định vị ZisK trong thị trường bằng chứng EIP‑8025 đang nổi lên của Ethereum.
Cysic đã phát hành Venus, một công cụ tính toán zkVM mã nguồn mở mới tái cấu trúc việc tạo bằng chứng xung quanh 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 truyền thống, định vị ngăn xếp ZisK của công ty trực tiếp vào cuộc tranh luận về thị trường bằng chứng L1 đang nổi lên của Ethereum. Thông báo về động thái này trên X, Cysic mô tả Venus được "xây dựng trên ZisK" và cho biết hệ thống "bỏ qua mô hình HAL truyền thống" để ủng hộ một biểu diễn dựa trên đồ thị của toàn bộ quy trình tạo bằng chứng. Nhóm đã viết: "Sự thay đổi mô hình này mang lại ba lợi thế cốt lõi: tối ưu hóa tính toán toàn cầu, giảm di chuyển dữ liệu không hiệu quả và cải thiện đáng kể việc sử dụng GPU."
Thay vì coi các phụ trợ phần cứng như một chuỗi các lệnh gọi hàm riêng lẻ, Venus mã hóa việc tạo bằng chứng không kiến thức như một đồ thị tính toán rõ ràng có thể được lập lịch trình từ đầu đến cuối trên các GPU, FPGA và ASIC trong tương lai. Cysic cho biết điều 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 hoạt động bộ nhớ qua các ranh giới kernel", cắt giảm sự xung đột bộ nhớ giữa CPU và bộ tăng tốc, đồng thời phù hợp hơn với đặc tính song song lớn của các hoạt động MSM và NTT. Trong các thử nghiệm nội bộ, công cụ Venus đã mang lại "hiệu suất cải thiện hơn 9% thời gian tạo bằng chứng đầu cuối so với ZisK 0.16.1", chủ yếu bằng cách cắt giảm chi phí đồng bộ hóa CPU-GPU thay vì dựa vào những cải tiến phần cứng thô.
Thông báo về Venus xuất hiện khi đề xuất EIP‑8025 của Ethereum, có tên "Optional Execution Proofs" (Bằng chứng thực thi tùy chọn), chính thức hóa một mô hình đa người chứng minh cho việc xác thực khối L1 bằng cách sử dụng các 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 tên rõ ràng là ứng cử viên trong các cuộc thảo luận cộng đồng chính thức", cùng với các hệ thống như RISC Zero và openVM, và cho biết nhóm đã có thể "hoàn thành việc tạo bằng chứng cho một khối Ethereum trong 7,4 giây bằng cách sử dụ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 thời gian thực cho các khối Ethereum bằng cách sử dụng một RTX 4090 duy nhất", và được liệt kê là đối tác tích hợp của Ethproofs khi hệ sinh thái hướng tới thị trường bằng chứng L1.eips.
Cysic định vị Venus như là lõi tăng tốc phần mềm bên trong một ngăn xếp 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ột mạng ComputeFi để lập lịch các công việc trên các người chứng minh. Nhóm lập luận: "Vấn đề thực sự không phải là thiếu tính toán thô mà là sự không phù hợp kiến trúc cơ bản", cho rằng cần có một ngăn xếp zkVM, phần cứng và lập lịch tích hợp chặt chẽ để mở rộng siêu tốc lộ trình zkEVM đã lên kế hoạch của Ethereum.university.
