再帰ゼロ知識証明

ゼロ知識証明システムには、設定者、証明者、検証者の3つのエンティティが参加します。