fujita

はじめに この記事ではCoSiプロトコルの安全性の証明の欠陥を応用した、2ラウンドのMuSigが安全でないことの証明を紹介します。 まず、記号の定義を説明し、CoSiプロトコルの説明、CoSiプロトコルの安全性の証明の欠陥を述べ、それを応用...

はじめに この記事では、Witness Encryptionとよばれる暗号方式を紹介します。 計算複雑性理論的に解くことが難しいとされているNP問題に属する問題と答えの組は、平文を暗号化するための暗号鍵と復号鍵として扱えるという話です。ざっ...

はじめに 本記事ではSimulated Blockchains for Machine Learning Traceability andTransaction Values in the Monero Networkの解説を行います。 ま...

はじめに 本記事ではUnveiling the I2P web structure: a connectivityanalysisの解説を行います。 まず本研究の目的と方法を説明し、研究に用いるc4i2pの説明、分析結果について述べ、最後に...

はじめに 本記事では、Practical Relativistic Zero-Knowledge for NP の解説を行います。 この記事で紹介されるプロトコルの、モチベーションと実験による実現は相対論的ゼロ知識証明の実験による実現に記載...

はじめに 本記事では、 の数理的な部分の解説を行います。 こちらの記事( でも、同論文の日本語での解説がなされています。 まず、モチベーションを説明し、プロトコルの説明を実験の解説から、順を追って行います。 最後にまとめを述べます。 モチベ...

はじめに この記事ではTaprootの安全性の証明を述べます。 まず、Taprootの歴史、記号の定義、アルゴリズムを述べます。 次に、安全性の証明におけるTaprootのアルゴリズムを定義し、定理を述べ最後にその証明を行います。 Tapr...

はじめに この記事では、一般化された誕生日問題である k-sum 問題を解くための k-tree アルゴリズムを紹介します。まず、この記事で多用する排他的論理和の性質と記号の定義を挙げ、k=4のときの k-sum 問題と k-tree アル...