ハッシュポート

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

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

この記事では、“Selfish Mining” と呼ばれるブロックチェーンに対する攻撃手法の1つを提案した論文 を要約していきます。最初に論文の概要を述べ、論文を読むために必要な用語の解説をします。次に、提...

この記事は の紹介記事になります。 タイムロック暗号のモチベーション 1.既存研究：Timed-release encryptionなどの欠点 2.以上を踏まえたモチベーション 本論文で示されること 3.Computational ref...

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

Taproot Taprootは11月からビットコインメインネットにてアクティベートされる予定の新しいアウトプット（と、アウトプットを消費するためのスクリプトルール）です。 今回はBitcoinのリファレンス実装であるbitcoindを使っ...

この記事で紹介する内容 計算複雑性理論に属する P 問題と NP 問題とを調べ、それらの関係がどのように暗号資産に影響するかを紹介する。 参考 M.Sipser Introduction to the Theory of Compu...

この記事では、“サイドチェーン”と呼ばれるブロックチェーン技術について最初に提案された論文 を要約することでサイドチェーンについて解説していきます。 : Enabling Blockchain In...

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

本稿では、この論文を扱います。 この記事で紹介する内容 ビットコイン・ネットワークにおけるトランザクションの一種であるオーファントランザクションがビットコインネットワークにどのような影響を与えるのかについて、上記の論文を用いて紹介する。 ...