x7888

はじめに zk-STARKを使ったプログラム検証フレームワークであるRISC Zero1の概要について、以前このブログで紹介しました2。 今回は実際に証明プログラムをコンパイルして動作させるところまでやってみたいと思います。 RISC Ze...

概要 このブログではこれまでハッシュ関数にのみ依存する電子署名であるSPHINCSについて解説してきました12。 SPHINCS+は2024年に米国のNISTが標準化3し SLH-DSA(stateless-hash digital sig...

はじめに 現在、ビットコインにおいて送金先に制限のあるアドレスを作る仕様はありませんが、それを可能にする機能がコベナンツ1と呼ばれています。コベナンツの実装方法は複数ありますが、今回はその中でも「n人のうち誰か一人でも信頼できる」(1-of...

はじめに ビットコイン開発者のコミュニティーでは以前からサイドチェーンの可能性について議論されていました1。しかし、例えばDrivechain2はソフトフォークを必要とし、Liquid1などはマルチシグで管理されています。今回BitVM B...

はじめに Shielded CSV 1は基本的にzkCoins2の仕様を厳密化し、インターフェースのみrustで準備したもの3です。加えて、匿名でありプライバシーに配慮されていることも特徴として挙げられています。この記事では、実際にどのよう...

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

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

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

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

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