A16z Crypto วิจารณ์การใช้คำว่า ZK อย่างเกินความจำเป็น ยกระดับ Jolt zkVM สู่ ZK ที่แท้จริง

A16z Crypto – สาขาการลงทุนใน Web3 ของกองทุนร่วมลงทุนชั้นนำ Andreessen Horowitz – ได้ออกมาแสดงความเห็นวิพากษ์วิจารณ์การใช้คำว่า “ZK” อย่างแพร่หลายแต่ไม่ถูกต้องในชุมชนนักพัฒนา ในบทบล็อกโพสต์ล่าสุดที่แนะนำเกี่ยวกับ Jolt zkVM

ตามบทความ “ส่วนใหญ่ของ zkVM จริง ๆ แล้วไม่ใช่ zero-knowledge ที่แท้จริง – เว้นแต่จะใช้กระบวนการ ‘wrapping’ ที่มีค่าใช้จ่ายสูง” กระบวนการนี้มักต้องการพิสูจน์การตรวจสอบซ้ำซ้อนของหลักฐาน zkVM ภายในระบบหลักฐานอื่นที่แท้จริงแล้วบรรลุความเป็น zero-knowledge วิธีนี้ไม่เพียงแต่ใช้ทรัพยากรคำนวณอย่างมาก แต่ยังมักต้องแลกกับความโปร่งใส เนื่องจากเกิดกลไกการตั้งค่าที่เชื่อถือได้ (trusted setup)

กลุ่มผู้เขียนยังชี้ให้เห็นว่า ในหลายกรณี คำว่า “zk” ได้กลายเป็นคำย่อสำหรับ “ความกระชับ” (succinctness) ซึ่งหมายถึงหลักฐานที่มีขนาดเล็กและตรวจสอบได้อย่างรวดเร็ว แทนที่จะเป็นการรับประกันความเป็นส่วนตัวแบบ zero-knowledge ที่แท้จริง

A16z Crypto เน้นย้ำว่า เมื่อชุมชนให้ความสำคัญกับความเป็นส่วนตัวมากขึ้น ซึ่งต้องการ zero-knowledge ที่แท้จริงเพื่อปกป้องข้อมูลที่ละเอียดอ่อนของผู้พิสูจน์ การใช้คำศัพท์ผิดจึงกลายเป็นปัญหาใหญ่

ZK proof คืออะไร?

Zero-knowledge proof (ZK proof) เป็นเทคนิคเข้ารหัสที่อนุญาตให้ฝ่ายหนึ่ง (ผู้พิสูจน์) ยืนยันกับอีกฝ่ายหนึ่ง (ผู้ตรวจสอบ) ว่าข้อความเป็นจริง โดยไม่เปิดเผยข้อมูลพื้นฐานใด ๆ นอกเหนือจากความถูกต้องของข้อความนั้น

เดิมทีพัฒนาขึ้นในวงการวิชาการ การใช้งานเชิงพาณิชย์ครั้งแรกของ ZK proof คาดว่าจะเกิดขึ้นในอุตสาหกรรมคริปโต โดยเฉพาะกับการเปิดตัวของ Zcash โครงการนี้ใช้ zk-SNARKs ซึ่งเป็นรูปแบบของหลักฐานที่กระชับ เพื่อให้ความเป็นส่วนตัวบนบล็อกเชนโดยการซ่อนข้อมูลการทำธุรกรรม

ตั้งแต่นั้นเป็นต้นมา เข้ารหัส zero-knowledge ได้รับการนำไปใช้ในโมเดลบล็อกเชนใหม่ ๆ อย่างแพร่หลาย โดยเฉพาะในโซลูชันการขยายสำหรับ Ethereum Layer 2 และ zk-Rollups

ความเป็นส่วนตัวในปัจจุบันก็กลับมาเป็นหัวข้อสำคัญสำหรับนักพัฒนาและนักลงทุนคริปโต เนื่องจากมีความเห็นว่าความโปร่งใสอย่างสมบูรณ์ของบล็อกเชนส่วนใหญ่ในปัจจุบันอาจเป็นอุปสรรคต่อการยอมรับในวงกว้าง โดยเฉพาะจากองค์กรทางการเงิน

ตัวอย่างเช่น CEO ของ Digital Currency Group อย่าง Barry Silbert เมื่อไม่นานมานี้แสดงความหวังว่าการลงทุนจำนวนมากจะไหลเข้าสู่บล็อกเชนที่เน้นความเป็นส่วนตัว

แนวทางของ Jolt

สำหรับ Jolt zkVM ซึ่งเป็นโอเพ่นซอร์สของ A16z ได้เปิดตัวอัปเกรดสำคัญเมื่อวันอังคารที่ผ่านมา ซึ่งรองรับ zero-knowledge proof แบบ native ที่แท้จริง

Zero-Knowledge Virtual Machine (zkVM) คือสภาพแวดล้อมสำหรับรันโปรแกรมที่สามารถสร้างหลักฐานยืนยันว่ารหัสบางส่วนถูกดำเนินการแล้ว โดยไม่เปิดเผยข้อมูลเข้า

ก่อนหน้านี้ เช่นเดียวกับแอปพลิเคชันอื่น ๆ Jolt ใช้ ZK proof เพื่อให้ได้ความกระชับมากกว่าความเป็นส่วนตัวแบบเต็มรูปแบบ เพื่อแก้ไขข้อจำกัดนี้ ทีมพัฒนาจึงนำกลไก “folding scheme” ซึ่งมีต้นกำเนิดจากทศวรรษ 1990 มาใช้

โดยเฉพาะ Jolt ได้ผนวกกลไก NovaBlindFold เพื่อสร้างหลักฐานที่ถูกทำให้มืดบอด (blinded proofs) ซึ่งช่วยป้องกันการรั่วไหลของข้อมูลและทำให้ระบบเหมาะสำหรับแอปพลิเคชันที่ต้องการความเป็นส่วนตัว ผลลัพธ์คือ หลักฐาน zero-knowledge ที่มีขนาดเพียงประมาณ 3 KB เมื่อเทียบกับหลักฐาน Jolt ก่อนหน้านี้ที่ไม่มีคุณสมบัติ ZK ซึ่งแสดงให้เห็นว่าค่าใช้จ่ายเพิ่มเติมด้านขนาดนั้นค่อนข้างน้อยเมื่อเทียบกับประโยชน์ด้านความเป็นส่วนตัวที่ได้รับ