お知らせ ZK-PCPの紹介-ゼロ知識証明とPCP定理の連関-
本稿では、この論文の解説を行います。
ZKPCP
ゼロ知識証明(ZK)の歴史から・・・
1. ZKとNP困難
・NP問題はゼロ知識(ZK)で証明できることが示された
・PSPACE(多項式量のメモリで判定可能な問題のクラス)の下で、任意の言...
お知らせ
お知らせ
お知らせ
お知らせ
お知らせ
お知らせ
お知らせ
お知らせ
お知らせ
お知らせ