述語証明(Predicate Proof)

述語証明とは、「基準を超えている」「一定の範囲に入っている」といった条件の成立だけを示す証明のことです。

別表記:述語証明/Predicate Proof/条件証明

具体例

年齢が基準を満たしているか。金額が上限の範囲内か。有効期限が一定より先か。

こうした比較の結果だけを示し、比べた値そのものは明かしません。

何のためにあるのか

確認する側が本当に知りたいのは、多くの場合、条件を満たしているかどうかだけです。正確な値は必要ありません。

必要のない情報を渡さないほうが、渡す側にとっても受け取る側にとっても安全です。

注意点

実現には、値を明かさずに証明する技術が必要になります。すべての証明の形式で使えるわけではなく、対応した仕組みを選ぶ必要があります。

一覧に戻る