zk-SNARKs คืออะไร: คู่มือพิสูจน์ศูนย์ความรู้

เมื่อวิทยาการเข้ารหัสพบกับภูมิปัญญาวอลล์สตรีท

จากการสร้างโมเดลความผันผวนให้เฮดจ์ฟันด์ ฉันเรียนรู้ว่าในการเงิน - เหมือนกับการเข้ารหัส - สิ่งที่คุณ ไม่ได้ เปิดเผยมักสำคัญกว่าสิ่งที่คุณทำ นี่คือ zk-SNARKs (Zero-Knowledge Succinct Non-interactive ARgument of Knowledge) ห้องนิรภัยสวิสของเทคโนโลยีบล็อกเชน

เทพมิดสามส่วน

1. Zero-Knowledge: พิสูจน์ว่าคุณถูกต้องโดยไม่แสดงวิธีทำ (เหมือนยืนยันอายุโดยไม่ระบุวันเกิด)
2. Succinct: การตรวจสอบเร็วกว่าการซื้อขายความถี่สูง
3. Non-interactive: ไม่มีการโต้ตอบเหมือนระบบพิสูจน์แบบเดิม

จากอียิปต์โบราณสู่ ETH 2.0

วิทยาการเข้ารหัสไม่ใช่เรื่องใหม่ - ในสุสานของ Khumhotep II มีอักษรเฮียโรกลิฟิกที่ถูกเข้ารหัสเมื่อประมาณ 1900 ปีก่อนคริสตกาล แต่เทคโนโลยีสมัยใหม่อย่าง zk-SNARKs ช่วยให้:

• ธุรกรรมส่วนตัว (Zcash ใช้งานนี้ประมวลผลมูลค่า $30 ล้านต่อวัน)
• การนำไปใช้ในองค์กร (โปรโตคอล Nightfall ของ EY)
• การเข้าถึงผ่านมือถือ (วิสัยทัศน์ของ Celo สำหรับตลาดเกิดใหม่)

สรุปจากผู้เชี่ยวชาญ

แม้การใช้งานปัจจุบันจะใช้พลังงานพอๆ กับประเทศเล็กๆ แต่โซลูชัน Layer 2 กำลังทำให้ zk-proofs เป็นไปได้จริง ในฐานะคนเคยเขียนอัลกอริธึมเทรดดึกๆ ดื่นๆ ผมมองว่าโปรเจกต์อย่าง Aleo จะทำให้เทคโนโลยีนี้แพร่หลายเหมือนการเข้ารหัส SSL

เคล็ดลับ: ครั้งต่อไปที่มีคนพูดถึง ‘zero-knowledge’ ในงานปาร์ตี้ แค่พยักหน้าแล้วพูดว่า ‘Ah, Fiat-Shamir heuristic - ความท้าทายในการนำเสนอน่าสนใจนะ’ ได้ผลทุกครั้ง