zkp

以下の3点を備えた暗号技術

1. 完全性: 検証者は真かどうかすぐ検証可能

2. 健全性: 検証者は偽かどうか、高い確率で検証可能

3. ゼロ知識性: 検証者はデータにアクセスできない