お知らせ

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

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

初めまして！フロントエンドチーム小林です。 今回バックエンド側がAPIの改修を行ったことをきっかけに、フロントエンドも大幅に書き換え、Vue2からVue3へアップグレードも行いました。その感想をお届けします。 改修の内容 Vue2からVu...

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

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

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

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

はじめに この記事では秘密計算の一種である積和変換プロトコルを紹介します。まず積和変換プロトコルの概要を述べ、次にそのプロトコル内部で使われる別のプロトコルである紛失通信プロトコルについて述べます。その後積和変換プロトコルを説明し、積和変換...

はじめに この記事では論文「Delegating Computation: Interactive Proofs for Muggles」(要約版: , 完全版: )について解説します。 最初に概要を述べます。次に論文全体を通して必要な前提...

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