x7888

はじめに ビットコインを始めとする暗号通貨は、その名前の通り暗号を利用しています。 計算複雑性理論はP, NPといった計算問題の複雑性のクラスを扱う理論ですが、暗号理論はこの計算複雑性理論の中の未解決の問題の上に成り立っています。 計算複雑...

はじめに 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...