ビットコイン、イーサリアム、ステーブルコイン、DeFi、スマートコントラクト、スケーリングとコンセンサス。
説明Tritone：ビットコイン上の多者証明検証のためのペアワイズ・ガーブルド紛争プロトコル
要約本論文は Tritone プロトコルを提案し、コンセンサスルールを変更せずにビットコインが Groth16 証明の検証結果を強制できるようにする。既存の二者間 BABE プロトコルを、N 人の運用者からなる固定委員会へ一般化したものである。ロックされた資金は、N 人のうち一人でも正直であれば安全とされる。多者プリミティブの形式的証明と Rust による実装、ビットコインメインネット上での取引サイズおよびローカル測定結果を報告している。
注目点2者BABEプロトコルをN者委員会へ一般化し、Lamport-adaptorで束縛を実現。コンセンサス変更なしでGroth16検証を行い、実装とオンチェーンコストを測定。
説明コピーを超えて：プロトコル変異による長期的なスマートコントラクト安全性タスク構築
要約本論文は、プロトコル変異によりスマートコントラクトの安全性タスクを自動構築するフレームワーク「CONSTRAINTDIAL」を提案しています。AIエージェントの検出・攻撃・修正能力を評価するための仕組みです。攻撃に必要な呼び出しや入力を変更して元の攻撃を失敗させつつ、悪用可能性と正常動作を保つ構成になっています。公開された203件の事例から3,045件のタスク入力を作成し、公開された答えを与えた場合の成功率を平均10.9ポイント下げました。オンラインの答えを写して解けるタスクの割合も低下しています。
説明イーサリアム上のDeFi、ブリッジ、ミキサーを横断する資金洗浄の追跡
要約本論文はイーサリアム上で不正資産の流れを追跡するフレームワーク「FPTracer」を提案している。文脈認識型送金ツリー（CATT）によりトランザクション内の資産フロー経路を復元し、クロスチェーン意図を持つ取引を分類器で識別するとともに、上流の資金洗浄ネットワークの証拠を用いてミキサー後の活動を分析する。20件の実際の事例による評価では、既知の洗浄アドレスと送金先の再現率が最も高く、ブリッジの未報告利用を30件発見したと報告している。
説明Hydraマルチパーティチャネルの最適化ツールに関する体系的調査
要約本論文はブロックチェーンのレイヤー2拡張技術を扱うSoK（体系化論文）です。既存の二者間支払いチャネルのプロトコルとその上に構築されたツールを整理して説明しています。そのうえで、Hydraのような多者間チャネルに向けて新たなプロトコルを開発すべき利用事例と未解決課題を示し、既存ツールの活用可能性を論じています。
説明SILMARILS-MV：許可型ブロックチェーン向けの情報理論的に安全な多検証者署名方式
要約本論文は、無制限の計算能力を持つ攻撃者に対しても安全性を保つ多検証者署名方式SILMARILS-MVを提案します。信頼された発行者を必要とせず、署名を線形に集約できる点が特徴です。作者の解析とプロトタイプ実験では、合意形成時の認証トラフィックと暗号計算の負荷が既存方式より小さいことが示されています。
