概要 STARK(Scalable Transparent ARguments-of-Knowledge)とは、以下を満たすような証明システムである。 Scalable ... 以下の2つを意味する。 証明者の証明にかか […]FRIプロトコルを用いたSTARKアルゴリズムの紹介 first appeared on HashPort技術ブログ.

はじめに この記事は論文 1の解説記事です。これはビットコインとイーサリアムに対する攻撃のコストを定量化し、ブロックチェーンのセキュリティに関して考察した論文です。51%攻撃（ビットコイン）と34%攻撃（イーサリアム）に […]Breaking BFT: ビットコインに対する51%攻撃のシナリオ別コストを考える first appeared on HashPort技術ブログ.

はじめに この記事では 計算・通信量を効率化する拡張紛失通信プロトコル SoftSpokenOT の論文1を紹介します。 紛失通信プロトコルの概要については2の記事を参照してください。拡張紛失通信プロトコル(OT ext […]計算・通信量を効率化する拡張紛失通信プロトコル SoftSpokenOT の紹介 first appeared on HashPort技術ブログ.

1. 概要: この論文 1 は、UTXOベースのブロックチェーンに対するユーザーのプライバシーの認識と、プライバシー向上技術の選択基準をどのように持っているかに焦点を当てています。ビットコインを例として、ユーザーの認識や […]論文紹介: User-Perceived Privacy in Blockchain first appeared on HashPort技術ブログ.

はじめに 本稿では1の論文の解説をします。この論文ではk個の紛失通信プロトコルを利用して、n >> k であるnに対してn個の紛失通信を実行する方法を提案しています。紛失通信プロトコル自体の解説については2を […]拡張紛失通信の基礎: IKNPプロトコルの解説 first appeared on HashPort技術ブログ.

はじめに この記事では[1]の論文の部分的な解説をします。いわゆるDKLSプロトコル[5][6]と呼ばれる効率的なECDSA閾値署名アルゴリズムを開発した研究者グループによる最新の研究成果です。 概要 この論文[1]では […]ECDSAの3ラウンドt-of-n 閾値署名アルゴリズムの解説 first appeared on HashPort技術ブログ.

はじめに 本稿は主に ドキュメント[1]の紹介です。 単純な Ed25519署名 鍵生成 RFC8032に従った単純なEd25519署名アルゴリズムは以下の通り。 公開パラメータ (\mathbb{G}, q, B)とす […]Ed25519の3ラウンドN-of-N集約署名アルゴリズムの解説 first appeared on HashPort技術ブログ.

概要 プログラミング言語Cairo[1]で証明したいプログラムを書いて、実行履歴(trace)を作成した後は、その実行履歴を使ってプログラムの証明・検証を行う必要があります。 証明・検証のためのライブラリ・ツールにはいく […]知識証明プロトコルSTARKの証明・検証ライブラリを試してみる first appeared on HashPort技術ブログ.

この論文では、Ethereum上に構築された名前解決サービス、Ethereum Name Service（ENS）におけるセキュリティ問題や不正行為を体系的にまとめています。伝統的な DNS のセキュリティ問題と、ENS […]論文紹介：Ethereum Name Service: the Good, the Bad, and the Ugly first appeared on HashPort技術ブログ.

概要 主なプルーフ・オブ・ワーク（PoW）型ブロックチェーンは、ブロックごとの報酬を固定し、各ブロックで最初に難しい暗号パズルを解いたマイナーに全報酬を割り当てています。マイナーが独立かつランダムに暗号パズルの可能な解を […]論文紹介: PoWブロック報酬に対する公理的アプローチ first appeared on HashPort技術ブログ.