お知らせ

はじめに 今回は2023年までに起きた（主にEVMエコシステムを中心とした）クロスチェーンブリッジに対する攻撃手法をまとめた論文1を紹介します。 この論文では まず一般的なブリッジのデザインを簡単に説明した後、ブリッジのコンポーネントごとに...

はじめに この記事では、バックアップ機能付きのアドレスの作り方、実装方法を紹介します。 この記事におけるバックアップ機能とは、自己管理しているウォレットの鍵にアクセスできなくなった場合に、一定時間が経つと別の鍵でアクセスができるような機能を...

はじめに ビットコインを始めとする暗号通貨は、その名前の通り暗号を利用しています。 計算複雑性理論は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について解説します。 このスキームは関数型暗号に依存していますが、現在実用的な範囲...