ビットコイン、イーサリアム、ステーブルコイン、DeFi、スマートコントラクト、スケーリングとコンセンサス。
説明高エネルギーHe+照射によりバルク六方晶窒化ホウ素に生成したホウ素空孔
要約約1 MeVのヘリウムイオン注入により、バルクの六方晶窒化ホウ素（h-BN）に負電荷のホウ素空孔型カラーセンターを作製したことを報告している。フォトルミネッセンスと光検出磁気共鳴で確認され、共鳴線幅は180 MHzで、期待どおりのゼーマン shift を示した。c軸方向の色中心の深さを測定し、SRIM（物質中のイオンの阻止と飛程）によるモデル予測と比較した結果、報告された不確かさの範囲内で一致したが、実験値の方が深く分布も広かった。
説明XIM：XDC クロスレジャー・メッセージング・プロトコル
要約本論文は、異なるネットワーク間で正規化されたメッセージを転送するための、チェーン非依存のプロトコル XIM（XDC Interledger Messaging Protocol）を提案しています。各通信レーンが明示的な検証ポリシーを選択できる設計です。メッセージの意味とトランスポート、検証、実行、ルーティング、資産識別、コンプライアンス情報を分離し、汎用資産識別子（UAID）やアダプタインターフェース、多段決済用ルートグラフなどを導入しています。プロトコルモデル、状態機械、安全性の前提と脅威モデル、段階的な展開計画を示しています。
説明暗号資産の合併における交換比率の決定：形式的枠組み
要約多くの暗号資産は採用の減少、流動性の低さ、セキュリティの弱さに直面しており、二つを合併して一つのエコシステムにすることが放棄の代替案とされています。本論文は、合併における公正な交換比率を定める形式的枠組みを提示します。暗号資産の価値はネットワーク効果によって決まるため、合併後の価値を交換比率に依存する内生変数として扱います。著者らは、合併が価値を毀損しない交換比率では、合併前の価格比率が財産を保全し、明示的な条件の下で財産、採用、セキュリティ、ガバナンス、流動性の五つの公正性条件を満たすことを示しています。
説明中央（ナカモト）コンセンサスにおけるエポック境界をまたぐ時間平均型セルフィッシュマイニングの防止
要約本論文は、ナカモト・コンセンサスでセルフィッシュマイニングが利益を得る問題を扱います。難易度調整機構が、計上されない孤立ブロックを算力の低下と誤認することが原因とされています。著者らは、各エポックを説明責任のある前半と深さ d の決済バッファに分ける、パイプライン型バッファ難易度調整機構（PB-DAM）を提案しています。原文によれば、シミュレーションでは α=0.40 の場合、バッファ深度 d=16 でセルフィッシュマイニングを無効化でき、算力半減後も約 2.2 エポックで回復し、ブロック容量の追加負担は 1% 未満です。
説明イーサリアムのファイナリティ上の没収可能な秘匿性：ブロックチェーン状態に基づく見届け暗号の論文
要約本論文は、ブロックチェーン状態に基づく見届け暗号（WE）で、正規チェーン上で条件が成立しなくても秘密を取得できてしまう問題に対し、「没収可能な秘匿性（slashable secrecy）」を提案します。イーサリアム標準の没収ルールを用い、鍵の保管委員会や別途の担保を追加せずに構成を与え、見届けKEMの抽出インターフェースを前提に安全性を証明します。合成ネットワーク上の実験では、WEの復号なしに証拠をネイティブに処理できることが確認されています。
説明LPは一律ではない：自動マーケットメイカーにおける能動型と受動型の流動性提供者の収益差
要約本論文は、分散型取引所の自動マーケットメイカー（AMM）における流動性提供（LP）の収益を検証します。著者らはmarkoutに基づく枠組みで、Uniswapの収益を能動的部分と受動的部分に分解し、イーサリアムならびにArbitrum、Baseの各チェーン上のv2、v3、v4プールで検証しています。集中型流動性プールでは受動型LPの収益がプール全体の水準を下回る傾向があり、その差はL2よりイーサリアムで大きいと報告されています。また、受動型LPは手数料の高いプールでより良い成績を示しました。
説明定数のメタデータ オーバーヘッドを持つビザンチン因果信頼性ブロードキャスト
要約本論文は、非同期分散システムにおいて一貫性と妥当性に加え因果的なメッセージ順序を保証する、ビザンチン因果信頼性ブロードキャスト（BCRB）アルゴリズムを提案する。Bracha のBRBアルゴリズムに小規模だが重要な修正を加えたもので、メッセージあたりのメタデータ オーバーヘッドは定数 O(1)、メッセージ数は O(n²)、通信ワード複雑度は O(n²) である。既存プロトコルの O(n³) より優れ、f < n/3 個のビザンチンプロセスを許容し、四つのフェーズを用いる。
注目点メタデータをO(n)からO(1)に削減したビザンチン因果信頼ブロードキャストで、証明は完全だが実験による検証は不足。
説明重複精算を構造的に表現不能にする：人間とAIエージェントのための検証済みEthereum電子インボイスシステム
要約本論文は、重複精算、インボイスの真正性の検証困難さ、単一機関へのデータ集中といった課題に対処するため、Ethereum上のブロックチェーン型電子インボイスシステムを設計・形式分析・実装したものです。インボイスのライフサイクルをガード付きラベル付き遷移系として形式化し、標準的な暗号・合意の仮定のもとで、精算の一意性、内容の完全性、各操作の認可の健全性を証明しています。コア不変条件はSolidity SMTCheckerで機械検証され、私設Ethereumネットワーク上の評価では、発行に646,773ガス、精算全体で135,000ガス未満、単一ノードで毎秒137件の発行処理が示されました。さらに、検証済みコントラクトがLLMベースの精算エージェントの安全境界として機能し、重複・上限超過・偽造領収書を伴う操作を拒否できるとされています。
説明「ペイロード盲目性」の幻想：MEVの緩和策が実際に機能しない理由
要約本論文は、ペイロード盲目性を核とする3種類のプロトコルレベルのMEV緩和策（暗号化メンプール、検証可能な並べ替え、ブロック遅延）を評価しています。イーサリアムに合わせて較正したシミュレーションと閉形式解析により、理想化された敵対者モデルと実際の展開環境での結果を比較しています。理想化された条件では暗号化と並べ替えで内容依存の攻撃を排除できるものの、送信者情報の漏洩、任意参加による採用の崩壊、鍵のローテーションによる混雑などの展開上の問題が支配的であり、MEVのないブロックチェーンへの主な障害は暗号技術ではなく、活性と展開インセンティブであると結論づけています。
