fujita

お知らせ

Bounded Query ZK-PCPの紹介

概略とLocking scheme 1. ZKPCPとの比較 ZK-PCP・・・任意の(悪意ある)検証者の見解を小さな統計的距離まで効率的にシミュレートできる +PCP標準的な定義 ↔︎PCPモデルは証明者の力を弱くするので、健全性は上がる...
お知らせ

ZK-PCPの紹介-ゼロ知識証明とPCP定理の連関-

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

論文を読んでみた-xorshift128+の乱数が平面に分布?-

こんにちは。 この記事では Again, random numbers fall mainly in the planes: xorshift128+ generators の、(私が感じた)特に難しかったところの解説を行います。 結論から...
タイトルとURLをコピーしました