What is Zero Knowledge Proof (ZKP)?
Zero Knowledge Proof ZKP คือวิธีพิสูจน์บางอย่างว่าเป็นจริงโดยไม่เปิดเผยข้อมูลด้านหลังมัน ลองนึกถึงการแสดงว่าคุณมีรหัสผ่านโดยไม่พิมพ์มัน หรือยืนยันว่าคุณอายุเกิน 21 โดยไม่แสดงวันเกิด ความรู้สึกเหมือนเวทมนตร์ รากฐานทางคณิตศาสตร์
ZKPs ปิดบังทุกอย่าง ดังนั้นจึงเหมาะสำหรับพฤติกรรมที่แอบแฝง ไม่ใช่ทั้งหมด ใน ZKP จะพิสูจน์ข้อความเฉพาะที่คุณกำหนด และผู้ตรวจสอบยังสามารถตรวจสอบอย่างเคร่งครัดโดยไม่เห็นความลับของคุณ
How Zero Knowledge Proof (ZKP) works
ทัวร์สั้นๆ พร้อมตัวอย่างเป็นมิตร คุณต้องการพิสูจน์ว่าคุณมีเงินทุนพอสำหรับการเทรดโดยไม่เปิดเผยยอดคงเหลือของคุณ
- Step 1: คุณเลือกข้อความตัวอย่างอย่าง balance ของฉันอย่างน้อย X และยืนยันข้อมูลที่ซ่อนอยู่ด้วยความสุ่ม
- Step 2: คุณสร้าง proof จากข้อมูลที่ซ่อนอยู่บวกข้อมูลสาธารณะ รูปแบบที่คณิตศาสตร์ตรวจสอบได้
- Step 3: คุณส่ง proof ไปยังผู้ตรวจสอบ ไม่ใช่ความลับ
- Step 4: ผู้ตรวจสอบทำการตรวจสอบที่ยอมรับหรือปฏิเสธ ไม่มีการแอบดู balance ของคุณ
- Step 5: หากยอมรับ ทุกคนสามารถตรวจสอบ proof เดิมซ้ำได้ในภายหลังโดยไม่ต้องคุยกับคุณอีก
ในเบื้องหลังมันพึ่งพา cryptography อย่างจริงจัง cryptography ใช่ไหม คณิตศาสตร์ช่วยให้ได้ใบเสร็จ
Why Zero Knowledge Proof (ZKP) Matters
แล้วทำไมคุณควรใส่ใจ? สามมุมมองรวดเร็วสามมุม
- Benefit: พิสูจน์สิ่งที่คุณต้องการและเก็บส่วนที่เหลือไว้กับตัวเอง ไม่มีการรั่วไหล ลดความเสี่ยง
- Perspective: แอปที่ข้อมูลน้อยๆ ดูทันสมัย เหมือน Rolex พบกระทู้ Reddit แบ่งปันเฉพาะสิ่งที่จำเป็น
- Relevance: คุณจะเห็น ZK ใน rollups การโอนส่วนตัว และการตรวจสอบตัวตนบน blockchain ที่จริงจัง
เมื่อคุณได้ยินว่าการใช้งานแอปนี้ใช้ ZK ถามสองอย่าง นี้คืออะไรที่ถูกพิสูจน์จริงๆ และมีการตั้งค่าที่เชื่อถือได้หรือไม่ นอกจากนี้ หากคุณใส่ใจการควบคุมข้อมูล ZK เข้ากันได้ดีกับแนวทาง privacy ที่เข้มงวดภายนอก proof ด้วย
Key Characteristics of Zero Knowledge Proof (ZKP)
สิ่งที่ทำให้มันพิเศษ ดัชนีออกเป็นคำง่ายๆ
- Private: ผู้ตรวจสอบเรียนรู้ว่าการกล่าวอ้างเป็นจริงโดยไม่เรียนรู้ความลับของคุณ
- Succinct: Proof สามารถเล็กและตรวจสอบได้เร็ว แม้บน chain
- Fast: การตรวจสอบเบากว่าการคำนวณใหม่ทั้งหมด
- Composable: คุณสามารถซ้อน proofs หรือกลุ่มการตรวจสอบจำนวนมากไว้ในหนึ่ง
- Scalable: ช่วย scalability โดยย้ายงานหนักออกจากผู้ตรวจสอบในขณะที่คงความถูกต้องไว้
Variations
รสมากมายที่เหมาะกับงานต่างๆ
- SNARKs: Proof สั้น การตรวจสอบเร็ว มักต้องการ trusted setup
- STARKs: ไม่มี trusted setup Proof ใหญ่ เหมาะกับงานวิจัยหลังควอนตัม
- Bulletproofs: เหมาะสำหรับการตรวจช่วงตัวเลข ปกติใน private amounts
- Sigma: รูปแบบโต้ตอบคลาสสิก สอนในหลายหลักสูตร
ZKP does not secure your app by itself. If your statement is too weak or your setup is sloppy, the proof can still be correct yet unhelpful. Design the statement with care.
Example
A city runs a vote where voters prove they are eligible and have not voted yet, while their identities stay hidden from the public tally.
Fun Fact
The classic party trick for explaining ZK uses two identical colored balls and a blindfold test to show you can tell them apart without revealing which is which. Nerdy, but it lands.
Wrap-Up
In one line, Zero Knowledge Proof ZKP is proof without oversharing, so you can say I can prove it without showing it.