ความแตกต่างระหว่างรูปแบบการตรวจสอบความถูกต้องและรูปแบบการระบุตัวตนในการพิสูจน์ ZK?

แก้ไข: ฉันต้องการระบุสิ่งที่ฉันรู้เกี่ยวกับการรักษาความปลอดภัยแบบแผน:

• รูปแบบการรับรองความถูกต้อง: P สามารถพิสูจน์ V ว่าเขาคือ P และไม่มีใครสามารถพิสูจน์ V ว่าพวกเขาคือ P
• รูปแบบการระบุตัวตน: P สามารถพิสูจน์ V ว่าเขาคือ P และ V ไม่สามารถพิสูจน์ให้คนอื่นเห็นว่าเขาคือ P
• รูปแบบลายเซ็น: P สามารถพิสูจน์ V ว่าเขาคือ P และ V ไม่สามารถพิสูจน์ตัวเองได้ว่าเขาคือ P

https://link.springer.com/content/pdf/10.1007%2F3-540-47721-7_12.pdf

ฉันไม่รู้ว่ารูปแบบใดที่รัดกุมที่สุดระหว่างการรับรองความถูกต้องและการระบุตัวตน

ฉันรู้ว่ารูปแบบลายเซ็นเป็นระดับความปลอดภัยที่แข็งแกร่งที่สุด และแก้ไขให้ฉันหากฉันผิด แต่นั่นควรเป็นเพียงรูปแบบการระบุตัวตนโดยพื้นฐานแล้ว ซึ่งคุณสามารถเซ็นข้อความด้วยฟังก์ชันแบบทางเดียวใน NIZKs (พูดได้แย่มากและ สั้นๆ)

ตอนนี้ สิ่งที่ฉันไม่รู้ก็คือ ในรูปแบบ ZK ใด ๆ คุณต้องการให้คุณสมบัติ "หลักฐานความรู้" ได้รับการตรวจสอบเสมอหรือไม่ ฉันคิดว่าคำตอบคือใช่ เพราะ (ฉันคิดว่า) ในทั้งหมดนั้น คุณต้องแน่ใจว่าผู้ใช้เป็นคนที่เขาพูดว่าเขาเป็น... แต่ถ้ามันเป็นแบบนี้จริงๆ ฉันไม่เข้าใจความแตกต่างระหว่าง รูปแบบการรับรองความถูกต้องและรูปแบบการระบุตัวตนในการพิสูจน์ ZK

บางทีฉันอาจผิดและอยู่ในแผนการตรวจสอบสิทธิ์ (ซึ่งควรเป็น "จุดอ่อน" ของพวกเขา) คุณไม่จำเป็นต้องมีคุณสมบัติ Proof of Knowledge แต่คุณต้องการให้โครงร่างมีความรู้เป็นศูนย์เท่านั้น
หรืออาจจะมีมากกว่านั้น? นั่นคือข้อสงสัยของฉัน ขอบคุณ!\