x7888

はじめに このブログ投稿では、zkCoins1の紹介をします。zkCoinsは、ブロックチェーン上で効率的にトークン(カラードコイン)を転送するためのプロトコルです。似たようなプロトコルの括りでいうと、RGB2があります。 構成要素 使い捨...

はじめに この記事では、Jeremy Rubinによって提案された「関数型暗号を用いてビットコインのコンセンサスを変更せずに実現可能なコベナンツ(CTV)」1について解説します。 このスキームは関数型暗号に依存していますが、現在実用的な範囲...

はじめに この記事ではAWS公式が出しているAWS Batch実行環境を一発で用意する方法1を説明します。 知っていれば簡単にできると思うのですが、当初自分で一からcloudformationのyamlを用意しようとしたらコンテナ実行環境を...

はじめに 今回は小ネタです。zkSNARK（1など）の記事を読むと「回路を数式に落とし込んでいるんだな」ということは分かると思いますが、単純なアルゴリズムでは「予め決められた形式の回路に対して出力が1になる何らかの非公開入力（private...

はじめに 本記事ではハッシュ関数を使った署名アルゴリズムSPHINCSについて解説した前回のブログ記事1に引き続き、SPHINCSの改良版である SPHINCS+2と SPHINCS+C3の簡単な解説を行います。いずれも前回の記事が前提にな...

はじめに この記事では1の論文を解説します。SPHINCSはランポート署名2を実用的に使えるようにした規格です。ハッシュ関数にのみ依存し、公開鍵と秘密鍵のサイズを小さく抑えることができます。 解説 用語と記法 SPHINCSはパラメータを取...

はじめに 本稿では暗号通貨Monero(モネロ, XMR)のアップグレードにて導入される予定のフルチェーンメンバーシップ証明(Full Chain Membership Proof; FCMP)プロトコルや、ビットコインUTXOを使ったシビ...

はじめに この記事では、RISC Zero1という、知識証明フレームワークについて紹介します。 RISC Zeroとは RISC ZeroはRust製のSTARK2証明フレームワークです。Rustで書かれたプログラムをRISC-Vのアーキテ...

はじめに 今回は小ネタです。BitVM 1 関連の文脈で頻出のワードとして「コネクターアウトプット（Connector Output）」というものがありますが、その実態について以下フォーラムのリンク 234で紹介されていたので内容を紹介しま...

はじめに 本稿では1で紹介されている 離散対数OR演算子というアイデアの解説をします。DLC/PTLC向けと書いてあるのですが、離散対数OR演算子自体は DLC/PTLCに関係なく使えるものになります。 また、1は正式な論文ではなく、あくま...