お知らせ

はじめに この記事では論文1の解説を行います。 これまで、このブログでは STARK234やSPHINCS56を用いた、暗号通貨の安全性を保ちつつ履歴を圧縮しうる方法について紹介してきました。 その中で「ハッシュ関数のみに依存した暗号通貨の...

はじめに この記事はクラウドLLMのプロンプトに関する難読化技術と、その応用についてまとめたものです。 クラウドLLMのプロンプトを保護する必要があるケースはいくつかあります。 A. 例えばセンシティブな医療情報を含むプロンプトを直接ク...

概要 この記事では検証可能なトランザクションペイロード（Verifiable Transaction Payload (VTX) 1）について紹介します。 コールドウォレットやマルチシグウォレットからの不正な資金流出が発生しています。これら...

はじめに システム構築をする上では、セキュリティやベストプラクティスに従った安全な設計が求められます。システムの中で共通化されたパターンが見いだせる部分については、公開された基準（オープン標準1）となっているものが存在します。 なおここで言...

概要 Spark1はStatechains2の派生プロトコルです。元のStatechainsは、オフチェーンで自分の持っているutxoを別のユーザーに渡すことができるようなプロトコルですが、そのutxoを分割することはできませんでした。つま...

はじめに 1inch Fusion+ クロスチェーンスワップ1は、チェーン間で資産を交換するアトミックスワップ2に、オークションを足したような形式のスワッププロトコルです。ユーザーはチェーンの手数料を支払わずにスワップを実行できます。 この...

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

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

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

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