ZK (Zero-Knowledge Proof) 暗号方法 情報を開示することなく確認.
この作戦には 2つの側:
- 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 確認 → 検証者を説得できる;
- 本物 (Soundness) false 証明 → 検証者を説得できない;
- 完全に機密 検証者は真実の事実以外は何も知りません
適用する#
| スフェア | 使用する |
|---|---|
| ブロックチェイン | データ開示なしで確認されたトランザクション |
| 金融 | クライアントのデータ保護 + 規制基準 |
| アイデンティティ | 情報を公開せずに確認する |
| 医療 | プライバシーを侵害することなく患者のデータにアクセス |
ZKをTONに#
| 機能 | 記述 |
|---|---|
| アイデンティティ | 個人情報を公開せずに確認 |
| サイバーセキュリティ | 鍵を公開せずにデータの正しさを確認する |
| 交換プロトコル | 初期データを開示せずに条件を証明する |
プロジェクト
- ZK on TON 文書やチュートリアル
- Tonnel Network 個人取引 (竜巻はTONに), GitHub.
ソース#
- ZK-STARK ウィキペディア;
- What are zk-SNARKs (Zcash);
- TON (tonblockchain.ru) ブロックチェーンにおけるZK;
- Binance Academy: zk-SNARKs vs zk-STARKs.