ZK (Zero-Knowledge Proof) 加密方法 在不披露信息的情况下确认.
在此行动中, 两边:
- Prover 对于它,确是有知识的.
- Verifier 她正在检查.
例如:贷款#
贷款人希望确定借款人是否有资格偿还, 隐形信息.
→ ZK证书提供了偿付能力的保证 没有透露自己的身份 提供保障.
历史#
1985 西尔维奥·米卡利,阿维·维格德森,奥德德·戈尔德莱赫 发表 互动证据系统知识的复杂性.
在工作中:
- 引入了一个术语 没有披露的证据;
- 描述了密码技术;
- 证据 不打开私人数据但它还要求我们必须进行沟通.
类别#
zk-SNARKs
Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.
- 证据 没有披露信息;
- 需要密钥创建的 提前提供;
- 应用程序示例: Zcash zk-SNARKs上首个可广泛使用的隐私代币;
- 在转换 Zcash → 时得到确认 没有披露各方和金额.
zk-STARKs
Zero-Knowledge Scalable Transparent Arguments of Knowledge.
- 随机分析的开放 证据;
- 不需要初始配置;
- 不会显示密码 第三方;
- 也被称为 通过阿瑟-默林的协议.
进行比较
| 设置 | zk-SNARKs | zk-STARKs |
|---|---|---|
| 证据的规模 | 小的 | 更多 |
| Trusted setup | 没有. | 没有 |
| Post-quantum security | 我们很脆弱 | 稳定的 |
| 验证速度 | 快点吧 | 大数据更快 |
ZK 的属性#
- 正确度 (Completeness) true 确认 → 可以说服 verifier;
- 正确性 (Soundness) false 声明 → 无法说服验证者;
- 完全保密 验证器只知道事实是真实的.
使用方法#
| 领域 | 使用方式 |
|---|---|
| 区块链 | 没有披露数据的确认交易 |
| 金融 | 客户数据保护+监管规范 |
| 标识 | 没有披露身份的验证 |
| 医学 | 在不侵犯隐私的情况下访问患者数据 |
在TON中ZK#
| 功能 | 描述 |
|---|---|
| 标识 | 没有披露个人信息的验证 |
| 网络安全 | 检查数据的真实性 |
| 交换协议 | 没有披露初始数据的条件证明 |
项目
- ZK on TON 文档和教程;
- Tonnel Network 私人交易 (龙卷风在TON), GitHub.
他们的来源#
- 在维基百科上;
- What are zk-SNARKs (Zcash);
- 在TON (tonblockchain.ru) 区块链中的ZK;
- Binance Academy: zk-SNARKs vs zk-STARKs.