Cysic เปิดซอร์สเอ็นจิน Venus zkVM แล้ว โดยปรับการสร้างพิสูจน์ให้เป็นกราฟการคำนวณระดับโลก และวาง ZisK ไว้ในใจกลางกระดานถกเถียงตลาดการพิสูจน์ L1 ที่กำลังเกิดขึ้นของ Ethereum ตาม EIP‑8025
Summary

• Venus เข้ามาแทนที่เลเยอร์นามธรรมฮาร์ดแวร์แบบดั้งเดิมด้วยมุมมองเชิงกราฟของทั้งไปป์ไลน์การพิสูจน์ ทำให้สามารถเพิ่มประสิทธิภาพการคำนวณส่วนกลางและการใช้ GPU ได้ดีขึ้น
• Cysic รายงานว่ามีประสิทธิภาพเพิ่มขึ้นมากกว่า 9% ในเวลาการพิสูจน์แบบ end‑to‑end เมื่อเทียบกับ ZisK 0.16.1 โดยลดค่าใช้จ่ายในการซิงโครไนซ์ CPU‑GPU แทนที่จะพึ่งพาฮาร์ดแวร์ใหม่
• ZisK ใช้งานจริงอยู่บน Ethproofs และถูกอ้างถึงในการหารือของ EIP‑8025 โดยทีมอ้างว่าพิสูจน์บล็อกของ Ethereum ใช้เวลา 7.4 วินาทีบน 24 GPU และทำการพิสูจน์แบบเรียลไทม์บน RTX 4090 เพียงเครื่องเดียว

Cysic ได้เปิดตัว Venus ซึ่งเป็นเอ็นจินคอมพิวต์ zkVM แบบโอเพนซอร์สใหม่ โดยปรับโครงสร้างการสร้างพิสูจน์รอบกราฟการคำนวณระดับโลกแทนเลเยอร์นามธรรมฮาร์ดแวร์แบบดั้งเดิม และวางสแต็ก ZisK ของบริษัทให้ลงไปอย่างชัดเจนในประเด็นถกเถียงตลาดการพิสูจน์ L1 ที่กำลังเกิดขึ้นของ Ethereum ในการประกาศบน X Cysic ได้อธิบายว่า Venus คือ “สร้างขึ้นบน ZisK” และกล่าวว่าระบบ “ละทิ้งโมเดล HAL แบบดั้งเดิม” เพื่อหันไปใช้การแทนแบบกราฟของทั้งไปป์ไลน์การพิสูจน์ “การเปลี่ยนกระบวนทัศน์นี้ให้ประโยชน์หลัก 3 ประการ ได้แก่ การเพิ่มประสิทธิภาพการคำนวณส่วนกลาง การลดการเคลื่อนย้ายข้อมูลที่ไร้ประโยชน์ และการใช้ GPU ที่ดีขึ้นอย่างชัดเจน” ทีมเขียนไว้

Graph‑first zkVM design {#graphfirst-zkvm-design}

แทนที่จะมองแบ็กเอนด์ของฮาร์ดแวร์เป็นชุดของการเรียกฟังก์ชันที่แยกจากกัน Venus จะเข้ารหัสการสร้างพิสูจน์ความรู้แบบศูนย์ (zero‑knowledge) ให้เป็นกราฟการคำนวณที่ชัดเจน ซึ่งสามารถจัดตารางงานตั้งแต่ต้นจนจบข้าม GPU, FPGA และ ASIC ในอนาคต Cysic ระบุว่าสิ่งนี้ทำให้คอมไพเลอร์ “จัดเรียงคำสั่งใหม่และรวมการทำงานด้านหน่วยความจำข้ามขอบเขตของเคอร์เนล” ลดปัญหาหน่วยความจำสลับคุ้ยเขี่ยระหว่าง CPU กับตัวเร่งความเร็ว และจับคู่ลักษณะการทำงานแบบขนานมหาศาลของการดำเนินการ MSM และ NTT ได้ดีขึ้น ในการทดสอบภายใน เอ็นจิน Venus ให้ “การปรับปรุงเวลาการพิสูจน์แบบ end‑to‑end มากกว่า 9% เมื่อเทียบกับ ZisK 0.16.1” โดยหลัก ๆ คือการตัดทอนค่าใช้จ่ายในการซิงโครไนซ์ CPU‑GPU แทนที่จะอาศัยความได้เปรียบจากฮาร์ดแวร์ดิบ

Direct line into Ethereum’s proof track {#direct-line-into-ethereums-proof-track}

การประกาศ Venus เกิดขึ้นท่ามกลางข้อเสนอของ Ethereum เรื่อง EIP‑8025 ซึ่งมีชื่อว่า “Optional Execution Proofs” โดยทำให้รูปแบบผู้พิสูจน์หลายราย (multi‑prover) สำหรับการตรวจสอบความถูกต้องของบล็อก L1 ด้วย zkVM มีความเป็นทางการ ในคำอธิบายประกอบ Cysic ชี้ว่า ZisK คือ “หนึ่งในห้า zkVM ที่ถูกระบุชื่ออย่างชัดเจนว่าเป็นผู้สมัครในบทสนทนาชุมชนอย่างเป็นทางการ” ร่วมกับระบบอย่าง RISC Zero และ openVM และกล่าวว่าทีมสามารถ “ทำให้การสร้างพิสูจน์สำหรับบล็อกของ Ethereum เสร็จสิ้นใน 7.4 วินาทีโดยใช้ 24 GPU” ซึ่งสอดคล้องกับเป้าหมายด้านเรียลไทม์ โครงการ “ทำงานจริงอยู่แล้วบน Ethproofs โดยส่งพิสูจน์แบบเรียลไทม์สำหรับบล็อกของ Ethereum ด้วย RTX 4090 ตัวเดียว” และถูกระบุเป็นพาร์ทเนอร์ด้านการบูรณาการของ Ethproofs ขณะที่ระบบนิเวศขยับเข้าใกล้ตลาดการพิสูจน์ L1.eips

Full‑stack ZK infrastructure play {#fullstack-zk-infrastructure-play}

Cysic วางตำแหน่ง Venus เป็นแกนหลักด้านการเร่งด้วยซอฟต์แวร์ในสแต็กที่ใหญ่กว่าซึ่งประกอบด้วย ZisK zkVM ที่จุดเริ่มต้นระดับโปรโตคอล ฮาร์ดแวร์ ASIC แบบกำหนดเองเป็นฐานเชิงคำนวณ และเครือข่าย ComputeFi สำหรับการจัดตารางงานข้ามผู้พิสูจน์ “ปัญหาไม่ได้อยู่ที่การคำนวณดิบไม่เพียงพอ แต่เป็นความไม่เข้ากันเชิงสถาปัตยกรรมอย่างพื้นฐาน” ทีมโต้แย้ง โดยยืนยันว่าจำเป็นต้องมี zkVM ฮาร์ดแวร์ และสแต็กการจัดตารางงานแบบบูรณาการอย่างแน่น เพื่อสเกลแบบขนาดมหาศาลตามโรดแมป zkEVM ที่ Ethereum วางแผนไว้.university