Доказ із нульовим розголошенням (ZKP)
Доведення без розкриття даних.
## The Three Pillars of ZKP
1. Completeness: If you are telling the truth, the math guarantees you can prove it.
2. Soundness: If you are lying, the probability of you faking a proof is so small that it is effectively impossible.
3. Zero-Knowledge: No matter how hard they try, the person verifying doesn't gain even a single bit of information about your secret password or file.
graph LR
Center["Доказ із нульовим розголошенням (ZKP)"]:::main
Pre_cryptography["cryptography"]:::pre --> Center
click Pre_cryptography "/terms/cryptography"
Pre_hashing["hashing"]:::pre --> Center
click Pre_hashing "/terms/hashing"
Rel_zk_rollup["zk-rollup"]:::related -.-> Center
click Rel_zk_rollup "/terms/zk-rollup"
Rel_confidential_computing["confidential-computing"]:::related -.-> Center
click Rel_confidential_computing "/terms/confidential-computing"
Rel_privacy_preserving_defi["privacy-preserving-defi"]:::related -.-> Center
click Rel_privacy_preserving_defi "/terms/privacy-preserving-defi"
classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
linkStyle default stroke:#4b5563,stroke-width:2px;
🧒 Простими словами
🤫 Це як довести другу, що ви знаєте пароль від сейфа, зайшовши в іншу кімнату і винісши звідти секретний предмет. Друг бачить предмет і розуміє, що ви знаєте код, але він так і не дізнався жодної цифри самого коду.
🤓 Expert Deep Dive
Сучасні ZKP є основою приватності у Web3. Головними типами є zk-SNARKs (маленькі та швидкі, але зазвичай потребують 'довіреної ініціалізації') та zk-STARKs (більші за розміром, але прозорі та стійкі до квантових комп'ютерів). Технологія ZK-Rollups використовує ці докази для масштабування Ethereum, об'єднуючи тисячі транзакцій в один компактний доказ, що перевіряється мережею за мілісекунди.