暗号資産・ブロックチェーン · 2026年9月29日(火)

ビットコイン、イーサリアム、ステーブルコイン、DeFi、スマートコントラクト、スケーリングとコンセンサス。

IACR ePrint Public-key cryptography

PQMZ: Formally Verified Falcon-PKR for Post-Quantum Cryptographic Migration in Zcash

説明PQMZ:Zcash の耐量子移行に向けた、形式検証済みの Falcon-PKR 方式

要約本論文は、Zcash に類する透明トランザクションの流れを念頭に、Falcon の公開鍵回復版である Falcon-PKR を検討しています。完全な公開鍵の保存を、コンパクトな鍵ダイジェストに置き換え、検証時に署名から候補鍵を再構成します。著者らは、公開鍵と署名の合計サイズが約 15% 減ると報告しています。ランダムオラクルモデルで EasyCrypt により EUF-CMA 還元を機械検証し、SECUER ベースのマルチパーティ計算セレモニーに関する拡張事例研究も含みます。

Hannes Hacker, Shekoufeh Neisarian, Sara Zain ほか

★★★★☆ 注目
arXiv cs.GT · cs.CR · econ.TH

When One Leak Pays Forever: Context Binding and the Price of Deterring Collusion

説明一度の漏えいが永続的に利益を生むとき:文脈バインディングと共謀抑止のコスト

要約本論文は、しきい値暗号化メンプールにおける委員会メンバーの共謀を分析する。承認された部分集合が復号能力をフロントランナーに売却すると、その能力で復号可能なその後のブロックすべてが影響を受ける。著者らは、各部分集合の罰則が単一の漏えいで到達しうる最大の割引価値を上回るときに限り抑止が成立することを示し、鍵を周期ごとに束縛すれば必要な担保額を大きく減らせることを示す。

注目点閾値暗号化メンプールの共謀リークを反復ゲームとしてモデル化し、罰則が単一リークの最大割引価値を上回る必要があることを示す。理論的に新しく厳密。

Tingyi Lin, Shawn Yu, Ruoran Lai ほか

★★★★☆ 注目
arXiv cs.AI コードあり

Reasoning with Continuous Latent Diffusion

説明連続潜在拡散による推論手法(CEDR):数学・コード生成での研究

要約本論文は、数学的推論とコード生成を対象とする連続潜在拡散モデルの学習・推論パイプライン、Continuous Embedding Diffusion Reasoner(CEDR)を提案しています。自己回帰モデル Qwen3-4B の3つの隠れ層から紧凑な回答表現を学習し、段階的カリキュラムで拡散モデルと小型プロンプトエンコーダを訓練します。GSM8K、MATH500、HumanEval+、MBPP+ での精度を報告し、同規模の既存連続拡散ベースラインを上回ると述べています。

注目点連続潜在拡散を数学推論・コード生成に適用し、コンパクトなプロンプト符号化器や強化学習を組み合わせる。ベンチマークと消融実験で既存の連続拡散基線と比較している。

Xiang Cheng