Zero-Knowledge Proofs Explained — English article

, , .

การพิสูจน์ความรู้ศูนย์ หรือ ZKP คือโปรโตคอลเข้ารหัสที่ผู้พิสูจน์โน้มน้าวผู้ตรวจสอบว่าข้อความนั้นเป็นจริงโดยไม่เปิดเผยข้อมูลใด ๆ นอกเหนือจากความจริงของข้อความนั้นเอง

.

ตัวอย่างคลาสสิกคือการพิสูจน์ว่ารู้รหัสผ่านโดยไม่ส่งรหัสผ่านนั้น

: ( ), ( ), ( ).

ZKP ที่ถูกต้องต้องตอบสนองคุณสมบัติสามประการ ได้แก่ ความสมบูรณ์ (ผู้พิสูจน์ที่ซื่อสัตย์สามารถโน้มน้าวผู้ตรวจสอบที่ซื่อสัตย์ได้เสมอ) ความแข็งแกร่ง (ผู้พิสูจน์ที่ไม่ซื่อสัตย์ไม่สามารถปลอมแปลงการพิสูจน์ได้ยกเว้นด้วยความน่าจะเป็นที่เล็กน้อย) และความเป็นความรู้ศูนย์ (ผู้ตรวจสอบไม่เรียนรู้อะไรนอกจากความจริงที่ว่าข้อความนั้นถูกต้อง)

( ) , .

zk-SNARK (Succinct Non-interactive Arguments of Knowledge) สร้างการพิสูจน์ที่มีขนาดเล็กและตรวจสอบได้เร็ว ทำให้ใช้งานได้จริงสำหรับแอปพลิเคชันบล็อกเชนที่ทุกโหนดต้องตรวจสอบการพิสูจน์ทุกรายการ

.

Groth16 และ PLONK คือการสร้าง SNARK ที่ถูกนำไปใช้งานอย่างแพร่หลาย

: , , .

ZKP ช่วยให้สามารถยืนยันตัวตนโดยรักษาความเป็นส่วนตัว ผู้ใช้สามารถพิสูจน์ว่าตนมีอายุเกินกว่าที่กำหนด เป็นผู้พักอาศัยในประเทศที่กำหนด หรือเป็นผู้ถือข้อมูลรับรอง โดยไม่ต้องเปิดเผยเอกสารต้นฉบับ

, .

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