ビットコイン、イーサリアム、ステーブルコイン、DeFi、スマートコントラクト、スケーリングとコンセンサス。
説明イーサリアムのプルーフ・オブ・ステーク（PoS）における有効残高の設計
要約本論文は、イーサリアムの有効残高ルールを、報酬係数・有効化しきい値・最大有効残高をプロトコルが決め、バリデーターがそれに応じて比例配分ゲームで行動するという機構設計問題として分析します。バリデーター数と身元数が固定された場合に、一意のナッシュ均衡が存在することを示し、身元の分割・統合のインセンティブも検討します。例示的なシミュレーションでは、ビーコンチェーンやLidoなどのデータから校正した合成エージェントを用い、準備価格を32 ETHから30 ETHに下げると、活動中の身元数が5.922%、総有効ステークが0.098%増えると報告しています。
説明解釈可能なビッグデータ分析と安全なクラウド意思決定のためのハイブリッド DeepXAI 融合ネットワーク
要約本論文は、時系列・関係・文脈の特徴を統合し、説明可能な AI（XAI）の仕組みを組み込んだ深層学習フレームワーク Hybrid DeepXAI Fusion Network を提案しています。1次元CNN、Transformer エンコーダ、グラフニューラルネットワークを組み合わせ、注意機構による融合とCAM・説明損失を用いています。医療、金融、エネルギーのデータセットでの精度は 98.42% と報告され、PGD 敵対的摂動下でも 91.5% を超える精度を保つとされています。
説明FlatMerkle：単一の線形ハッシュストリームによる対数空間の包含証明
要約本論文は、通常の線形ハッシュストリーム上で、Merkleツリーと同じO(log N)の証明サイズおよび検証時間を実現するFlatMerkle構成を提案する。ハッシュ関数の過去の内部状態（チェックポイント）を通常のメッセージ内容として周期的にストリームへ再挿入する方式であり、最終ダイジェストは基礎ハッシュ関数の未変更の1回の呼び出しである。任意の要素に対するコンパクトな包含証明と、公開ファイルの不正形式を示す証明も生成できる。
説明分散型エッジIoT・ピアツーピア電力取引のための耐量子セキュアプロトコル
要約本論文は、量子計算の脅威の下でエッジIoTのピアツーピア電力取引通信を保護するための、相互認証付きセッション鍵合意プロトコルを提案しています。鍵の真正性と機密性はCRYSTALS-Kyber（耐量子暗号）で確保され、Hedera Hashgraph（ハッシュグラフ）公開ブロックチェーンにより透明性と効率的な失効機構を支えます。著者らは既存の古典暗号方式および初期段階の耐量子方式と比較し、性能と安全性の面で優位性を示したとしています。
説明共通シグナル、見かけ上の相互励起とマルチvariate Hawkes過程の識別
要約多変量Hawkesモデルは事件データの内生的な相互励起を測るために広く使われるが、潜在的な共通シグナルは構造的な相互作用がなくても見かけ上の励起を生じさせることがある。本論文は、共通シグナルモデルと同じ平均強度とBartlettスペクトルを持ちながら励起機構の異なる、安定かつ非負のHawkes過程を構成し、二次の非識別性を示している。さらに、モンテカルロ実験、Whittle推定、暗号資産取引への適用を通じて、三次の情報の有用性と弱いシグナル下での有限標本の限界を検討している。
注目点共通信号モデルと二次構造が同一のHawkes過程を構成し二次の非識別性を示すとともに、三次累積量による識別結果を導出している。
説明信頼不要のビットコイン金庫：第三者を信頼せず担保のBTCを引き出す仕組み
要約既存のビットコインブリッジは中央集権的な主体や委員会への信頼を前提としており、この論文はその問題に取り組みます。著者らは、預け入れたBTCを、預託者または既知の取引相手が第三者を信頼せず、アプリケーションのスマートコントラクトのロジックだけに従って引き出せる「信頼不要のビットコイン金庫」というプリミティブを提案しています。Ethereum上のAave v4での担保型貸付への実装例を示し、メインネットでの実験では預け入れ手数料が約0.7ドル、引き出し手数料が最大約7.7ドルだったと報告しています。
注目点第三者を信頼せずBTC担保を引き出せるプリミティブを提案し、Aave v4上の貸付に実装、メインネットで手数料を実測し影響は広い。
説明（同時）ブロック提案者の地理的分布に関する経済的インセンティブの分析
要約本論文は、ブロックチェーンのバリデーターや提案者がどこに配置されるかという立地選択の背後にある経済的インセンティブを研究している。単独の提案者の場合と複数の同時提案者の場合の両方を扱い、位置を先に選び、その後に共通価値を持つ機会を第一価格オークションで争うゲームとしてモデル化している。複数の同時提案者は共有された情報ではなく独占的な情報に報酬を与えるため、地理的な分散化を促す経済的な力が生じると結論づけている。
説明SolBehave：LLM生成スマートコントラクトの振る舞いの正しさを評価する
要約本論文は、大規模言語モデルが生成したSolidityスマートコントラクトが、コンパイルできるだけでなく振る舞いとして正しいかを大規模に評価するベンチマーク「SolBehave」を提案する。実在する250件のEthereumコントラクトを対象に、差分ファジング、過去トランザクションの再生、DCRグラフに基づく合成トランザクションの再生という3種類の検証を行う。7つの開源モデルの評価では、コンパイル成功率は26.4%から92.7%だったが、原本と同等な関数は全体の31.4%にとどまった。
説明Tree-BTE：加法準同型性を用いたバッチ閾値暗号方式
要約本論文は、ツリー構造に基づくバッチ閾値暗号（BTE）方式を提案しています。サーバー委員会が多数の暗号文の中から選んだ部分集合だけを共同で復号でき、残りの暗号文は秘匿されたままになります。方式は加法準同型性を持つ2つの基本要素から構成され、DDH、DCR、LWR、さらにLWEなど複数の仮定の下で実装可能とされています。著者らはDDHに基づく実装を行い、RLWEに基づく耐量子版も一部実装しています。
