ビットコイン、イーサリアム、ステーブルコイン、DeFi、スマートコントラクト、スケーリングとコンセンサス。
説明許可型ブロックチェーン間の相互運用における跨チェーンアクセス制御：InterAcct フレームワーク
要約本論文は、許可型ブロックチェーンネットワーク間で安全にやり取りするためのエンドツーエンドのアクセス制御フレームワーク InterAcct を提案している。内部の機密情報の露出を避けるため、外部へ送る要求は他ネットワークへ共有される前にコンソーシアムレベルの表現へ変換される。応答が返ると、その応答は送信元コンソーシアム内の元の要求者へ安全に対応付け直される。実験結果によれば、InterAcct は少ない追加オーバーヘッドで跨チェーンの要求・応答におけるエンドツーエンドのアクセス制御を実施でき、作業負荷が増えても有効に動作し続けるとされている。
説明ContractLens：大規模言語モデルの内部にある潜在的セキュリティ知識を使った悪意あるスマートコントラクトの検出
要約本論文は、悪意あるスマートコントラクトを検出するフレームワーク ContractLens を提案しています。プロンプト工学や攻撃ごとの微調整に頼らず、事前学習済みモデルの中から悪意とは何かを区別する重要な層とニューロン単位を特定し、軽量な分類器で検出します。これらの単位をマスクすると、無作為なニューロンをマスクした場合より検出性能が大きく低下し、三つのモデルで既存手法より高い平均精度を示したと報告されています。未見の悪意ある意図への汎化も示されています。
説明Ziren：MIPS32 実行のための簡潔な論証（zkVM）
要約本論文は、MIPS32r2 向けの本番用ゼロ知識仮想マシン Ziren を提案し、77 のユーザーモード整数命令をサポートしてイーサリアムのメインネットブロックを端から端まで証明したと述べています。著者らは制約記述から 104 の決定性定理を抽出して Lean 4 で検証し、62 個のコアチップのうち 57 個を対象としています。評価されたブロックでは、RTX 5090 GPU 1 枚で 12.0 MHz の証明スループットを報告しています。ただし、端末間の知識健全性は五つの仮定に依存し、クロスシャードダイジェストには数値的な安全性境界が示されていません。
注目点MIPS32向け本番zkVMと104の決定性定理のLean 4による機械検証を提示し、証拠は比較的強く、分野への影響も一定ある。
説明医療IoT向けポスト量子認証プロトコル
要約本論文は、患者のデバイスから網関門へ送られる医療報告に対する改ざん、なりすまし、リプレイ攻撃への対策と、量子攻撃を想定した長期的な安全性を扱っています。ISISに類似した格子ベース（lattice-based）の署名構造とブロックチェーンの考え方を組み合わせた認証プロトコルを設計し、信頼台帳で患者ごとの信頼スコアを管理します。原型アプリケーションを実装し、大規模システムではバッチ検証が個別の署名検証より優れていると実験から論じています。
