Zero Knowledge VM (zkVM)

Zero Knowledge VM (zkVM) คืออะไร?

Zero Knowledge VM คือเครื่องเวอร์ชวลที่รันโค้ดและออกหลักฐานว่า การรันนั้นถูกต้อง โดยไม่เปิดเผย inputs คิดซะว่าเป็นผู้ตัดสินที่ยืนยันคะแนน ในขณะที่เก็บแผนการเล่นเป็นความลับ ได้ผลลัพธ์เหมือนเดิม แต่เปิดเผยรายละเอียดน้อยลง

zkVM ทำงานอย่างไร

จินตนาการถึงโปรแกรมที่รัน off chain แล้วส่งใบเสร็จทางคณิตศาสตรีเล็กๆ บน chain ที่บอกว่า “นี่ทำถูกต้อง” เดิน walkthrough แบบสั้นด้านล่าง

• Step 1: นักพัฒนาคนหนึ่งเขียนหรือคอมไพล์โค้ดเพื่อรันใน zkVM
• Step 2: โปรแกรมรัน off chain และสร้างหลักฐาน ยกตัวอย่างว่าเป็นการเทรดที่ตั้งราคาถูกต้องโดยไม่เปิดเผย inputs ของผู้ค้ากระ
• Step 3: หลักฐานนั้นบวกข้อมูลขั้นต่ำถูกส่งไปยัง verifier บน chain
• Step 4: ผู้ตรวจสอบตรวจสอบหลักฐานอย่างรวดเร็วและบันทึก Yes หรือ No
• Step 5: สัญญาอื่นๆ และผู้ใช้งานวางใจผลลัพธ์โดยไม่ต้องทำคำนวณหนักซ้ำ

ในส่วนลึก มันพึ่งพา zero-knowledge proofs มาให้การรับรองการรัน ใช่ คณิตศาสตร์เป็นพยาน

ทำไม Zero Knowledge VM (zkVM) มีความสำคัญ

คุณใส่ใจเพราะสิ่งนี้เปลี่ยนรูปแบบต้นทุน โมเดลใหญ่ของ computation นอก chain แล้วตรวจสอบเล็กๆ บน chain

• ประโยชน์: ความเร็วและค่าธรรมเนียมดีขึ้นเนื่องจากการ verification มีต้นทุนน้อยในขณะที่งานหนักเกิดขึ้นที่อื่น
• มุมมอง: คุณสามารถซ่อนข้อมูลที่ละเอียดออนได้ในขณะที่ยังให้ transparency ในผลลัพธ์
• ความเกี่ยวข้อง: คาดว่าจะเห็นใน DeFi, gaming, identity และอื่นๆ ที่ความ privacy และคณิตศาสตร์ที่ verifiable ทั้งคู่สำคัญ

คุณลักษณะสำคัญของ Zero Knowledge VM (zkVM)

นี่คือคุณลักษณะที่ผู้คนจริงๆ ตรวจสอบ:

1. ทั่วไป: รันโปรแกรมได้หลายประเภท ไม่ใช่วงจรสำหรับใช้งานเดียว
2. พกพาได้: หลักฐานสามารถ verified ข้าม chains โดย smart contract เล็กๆ
3. เฉพาะเจาะจง: ให้แอปเลือก inputs ที่ยังคงถูกซ่อนและ outputs ที่เปิดเผยได้
4. มีประสิทธิภาพ: การ verify หลักฐานรวดเร็วแม้ว่าการรันต้นฉบับจะหนัก
5. เชิงประกอบ: หลักฐานสามารถรวมเข้าด้วยกันหรือซ้อนทับเพื่อให้ระบบขยายได้พร้อมเสียงรบกวนที่น้อยลง

Variations

zkVM ไม่ทั้งหมดเหมือนกัน รสชาติที่พบบ่อย:

• EVM: มุ่งรัน logic แบบ Solidity และพิสูจน์มัน ดีสำหรับการใช้งานแอปโดยตรงซ้ำ
• LLVM: คอมไพล์จากภาษาทั่วไปอย่าง Rust หรือ C เป็นรูปแบบที่สามารถพิสูณได้
• Rollup: ใช้ภายใน validity rollups ที่ proofs ส่งไปยัง base chain
• Sovereign: ตรวจสอบบน chain ของตนเองในขณะที่ล้อ proofs ไปยัง outward

ตัวอย่าง

แอปพลิเคชันให้สินเชื่อประเมินมูลค่าค้ำประกันใน zkVM แล้วโพสต์เพียงหลักฐานบน chain เพื่อให้การ liquidations เกิดขึ้นอย่างยุติธรรมโดยไม่เปิดเผยข้อมูลผู้กู้

ข้อเท็จจริงสนุก

แนวคิดหลักย้อนกลับไปยังงานวิจัยทศวรรษที่ 80 ที่นักเข้ารหัสแสดงให้เห็นว่าคุณสามารถพิสูจน์ว่าคุณรู้ความลับโดยไม่บอกมัน Crypto Twitter ทำให้มันดูทันสมัย

Wrap-Up

ในประโยคเดียว Zero Knowledge VM (zkVM) คือเครื่องพิสูจน์ที่ให้ chain ตรวจสอบงานได้อย่างรวดเร็วในขณะที่ยังเก็บ inputs ที่ละเอียดอ่อนไว้เป็นความลับ