ハッシュポート

お知らせ

3色塗り分け問題を利用したゼロ知識証明プロトコルの紹介

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

相対論的ゼロ知識証明を実験により実現した論文の紹介

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

50%では不十分?Selfish-Mining攻撃の脅威とは

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

時間が経たないと復号できない「タイムロック暗号」の作り方

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

Bitcoinのアップデート「Taproot」は本当に安全なのか?

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

計算複雑性理論におけるPvsNPと探索問題から決定問題への自己還元可能性

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

ペグサイドチェーンによるブロックチェーンイノベーションの実現

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

一般誕生日問題 k-sum を解くための k-tree アルゴリズム

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

ビットコイン・ネットワークにおけるオーファントランザクションの特徴

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

論文解説: SABRE: Protecting Bitcoin against Routing Attacks

今回は以下の論文について解説する。 概要 BGP ハイジャックなどを利用したネットワークルーティング攻撃が現実的になっている今日において、ブロックチェーンはこの攻撃に対して脆弱な存在である。この論文では SABRE というセキュアで拡張可...
タイトルとURLをコピーしました