論文の概要: Structural cryptanalysis of classic McEliece: Assessment of claims, costs and evidence
- arxiv url: http://arxiv.org/abs/2610.31196v1
- Date: Thu, 22 Oct 2026 12:44:03 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-24 02:08:44.37687
- Title: Structural cryptanalysis of classic McEliece: Assessment of claims, costs and evidence
- Title（参考訳）: 古典的マクリーゼの構造暗号解析--クレーム・コスト・証拠の評価
- Abstract要約: 本報告では,McElieceに対する最近の攻撃について,バージョンアウェアによる批判的評価を行う。
これは、証明された差別化要因、条件付きコストの見積、実際の回復を分離する。
また、他のキー-リカバリルートや、それらに対する反対意見も比較している。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: For the last two years, classical structural attacks on McEliece with binary Goppa codes progressed further, at the parameters of Classic McEliece, than in the previous four decades: a subexponential and then a quasi-polynomial distinguisher, key recoveries for public challenges with brute-force labels up to $254$, and conditional key-recovery estimates of about $2^{89}$ to $2^{128}$ per run of a large sparse linear-algebra computation, depending on the parameter set and on whether and how memory access is charged. On September 2026 the German BSI advised against new deployments of the scheme. This paper gives a version-aware critical assessment of these results. It separates proved distinguishers, conditional cost estimates and actual recoveries; analyses in detail Saarinen's HOVER algorithm, his conditional cost analysis and his recovery of the TII-254 challenge, together with Weis's cost study of Holdout/Hermite key recovery; and compares the other key-recovery routes and the objections raised against them. Our own analysis finds that the cost model is now the main quantitative uncertainty, with about thirty bits between the cheapest and the most expensive model for the same computation; that for the four larger parameter sets every model considered leaves the conditional estimates far below the targeted levels, whereas for mceliece348864 the shortfall is of the order of the spread between models; that the structural estimates are lower than Grover-accelerated information-set decoding for the four larger sets in essentially every model and comparable for mceliece348864; and that none of this is a demonstrated attack, since the underlying heuristics have been tested only on instances tens of thousands to hundreds of thousands of times smaller than the target. We close with open questions.
- Abstract（参考訳）: 過去2年間、古典的な2進ゴッパ符号によるマッケイリースに対する古典的な構造的攻撃は、これまでの40年間に比較して、古典的マッケイリースのパラメータにおいてさらに進んだ: サブ指数と準多項式の区別器、ブルートフォースラベルによる公的な課題に対する鍵回復、および条件付きキー復元推定は、パラメータセットとメモリアクセスがどのように充電されるかによって、大きなスパース線形代数計算の実行毎に約2.89ドルから2.128ドルである。
2026年9月、ドイツのBSIは計画の新たな展開について助言した。
本報告では,これらの結果に対するバージョンアウェアによる批判的評価を行う。
SaarinenのHOVERアルゴリズム、彼の条件付きコスト分析、TII-254チャレンジの回復、WeisのHoldout/Hermiteキーリカバリのコストスタディ、そして他のキー-リカバリルートとそれらに対する反論を比較した。
一方,Mceliece348864では,モデル間の拡散の順序が低く,構造的推定値が,基本的にはすべてのモデルに匹敵する4つの大きな集合に対して,Grover加速情報セットデコードよりも低く,また,基礎となるヒューリスティックが対象よりも数十万～数十万倍小さいインスタンスでのみテストされているため,いずれも実証的な攻撃ではない。
私たちはオープンな質問で締めくくります。
関連論文リスト
- Regular Syndrome Decoding Is Easier Than Previously Estimated [3.5929502798593664]
多くの広く使われているパラメータ集合は、以前推定されたよりも解くのがかなり簡単であることを示す。
この改善は、以前は見過ごされていた具体的な複雑さの源を露出し、取り除く、洗練されたハイブリッド代数攻撃に起因している。
我々は、フェレット、ウルヴァリン、コミットVOLEなどのRSDベースのアプリケーションを再評価する。
論文 参考訳（メタデータ） (2026-10-21T04:08:43Z) - KEEP-Bench: Evaluating Evidence Preservation in Context Compression [85.27126933000403]
圧縮忠実度を4,102症例で直接評価する診断ベンチマークであるKEEP-Benchを紹介する。
実験によると、たとえ調整されたプロンプトであっても、最強のモデルは信頼性が低い。
本稿では,証拠リコールとFLOPを関連付ける指標として,エビデンス保存リターン(Evidence Preservation Return)を提案する。
論文 参考訳（メタデータ） (2026-10-19T17:55:18Z) - GAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models [0.0]
標準機関は暗号セキュリティを単一ビットとして報告する。
異なるコンベンションは、暗号化スキームの異なるランキングを生成する。
GAUGEは、競合するコストモデルの下で暗号セキュリティを報告するための明示的で監査可能なフレームワークを提供する。
論文 参考訳（メタデータ） (2026-09-15T14:55:29Z) - CRT-Decomposed $Σ$-Protocols for CSIDH [0.0]
CSIDHグループ動作に対する知識のゼロ知識証明を構築した。
理想クラス群の中国のRemainder Theorem(CRT)構造を利用する。
完全完全性、完全特殊完全検証ゼロ知識、2特殊音性を証明する。
論文 参考訳（メタデータ） (2026-08-13T09:55:26Z) - Instance-Optimal Estimation with Multiple LLM Judges on a Budget [84.31744861038106]
我々は、この問題を*予算付きヘテロスケダティックなマルチジャッジ推定*として定式化する。
K$のプロンプト-レスポンスペア、J$の既知のコストと未知のクエリ-ジャッジ分散が与えられた場合、目標は、$ell_p$-errorを最小化しながら、有界スコアベクトルを推定することである。
EST-IVWEは,予算の低次項までのオラクルIVWEレートと一致していることを示す。
論文 参考訳（メタデータ） (2026-05-22T08:26:08Z) - Large Language Models Imitate Logical Reasoning, but at what Cost? [0.42970700836450487]
本稿では,18カ月間のフロンティア大言語モデルの推論能力を評価する。
我々は,2023年12月,2024年9月,2025年6月の3つの主要モデルの精度を,真偽の質問に対して測定した。
2023年から2024年までのパフォーマンス向上は、シークレットの隠された連鎖によるものである。
論文 参考訳（メタデータ） (2025-09-16T04:03:42Z) - Beyond Memorization: Reasoning-Driven Synthesis as a Mitigation Strategy Against Benchmark Contamination [77.69093448529455]
本稿では,arXiv論文から直接研究レベルのQAを合成するために,無限にスケーラブルなフレームワークを用いて実証的研究を行う。
各種サイズ,開発者,リリース日といったモデルについて,知識カットオフ日に近い性能劣化の欠如を評価した。
合成パイプラインで要求される多段階の推論は、浅い記憶よりも深い複雑さをもたらしたと仮定する。
論文 参考訳（メタデータ） (2025-08-26T16:41:37Z) - Rewriting the Budget: A General Framework for Black-Box Attacks Under Cost Asymmetry [11.292557925135283]
非対称なクエリコストで決定に基づく攻撃を行うための一般的なフレームワークを提案する。
異なるクエリタイプのバランスをとることで、総攻撃コストを最小限に抑える効率的なアルゴリズムを設計する。
提案手法は,既存手法に比べてクエリコストを一貫して低減し,摂動を小さくする。
論文 参考訳（メタデータ） (2025-06-07T22:02:27Z) - Exploring Sparse Expert Models and Beyond [51.90860155810848]
Mixture-of-Experts (MoE) モデルは、無数のパラメータを持つが、一定の計算コストで有望な結果が得られる。
本稿では,専門家を異なるプロトタイプに分割し,上位1ドルのルーティングに$k$を適用する,エキスパートプロトタイピングというシンプルな手法を提案する。
この戦略は, モデル品質を向上させるが, 一定の計算コストを維持するとともに, 大規模モデルのさらなる探索により, 大規模モデルの訓練に有効であることが示唆された。
論文 参考訳（メタデータ） (2021-05-31T16:12:44Z) - Provable tradeoffs in adversarially robust classification [96.48180210364893]
我々は、ロバストなイソペリメトリに関する確率論の最近のブレークスルーを含む、新しいツールを開発し、活用する。
この結果から,データの不均衡時に増加する標準精度とロバスト精度の基本的なトレードオフが明らかになった。
論文 参考訳（メタデータ） (2020-06-09T09:58:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。