論文の概要: Selmer-Inspired Elliptic Curve Generation
- arxiv url: http://arxiv.org/abs/2510.02383v1
- Date: Tue, 30 Sep 2025 17:33:36 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-06 16:35:52.062815
- Title: Selmer-Inspired Elliptic Curve Generation
- Title(参考訳): セルマーインスパイアされた楕円曲線生成
- Authors: Awnon Bhowmik,
- Abstract要約: 楕円曲線暗号(ECC)は、現代のセキュア通信の基礎となっている。
既存の標準曲線は不透明なパラメータ生成プラクティスに対して精査されている。
この研究は、透明かつ監査可能な楕円曲線を構築するためのセルマーに着想を得たフレームワークを導入する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Elliptic curve cryptography (ECC) is foundational to modern secure communication, yet existing standard curves have faced scrutiny for opaque parameter-generation practices. This work introduces a Selmer-inspired framework for constructing elliptic curves that is both transparent and auditable. Drawing from $2$- and $3$-descent methods, we derive binary quartics and ternary cubics whose classical invariants deterministically yield candidate $(c_4,c_6)$ parameters. Local solubility checks, modeled on Selmer admissibility, filter candidates prior to reconciliation into short-Weierstrass form over prime fields. We then apply established cryptographic validations, including group-order factorization, cofactor bounds, twist security, and embedding-degree heuristics. A proof-of-concept implementation demonstrates that the pipeline functions as a retry-until-success Las Vegas algorithm, with complete transcripts enabling independent verification. Unlike seed-based or purely efficiency-driven designs, our approach embeds arithmetic structure into parameter selection while remaining compatible with constant-time, side-channel resistant implementations. This work broadens the design space for elliptic curves, showing that descent techniques from arithmetic geometry can underpin trust-enhancing, standardization-ready constructions.
- Abstract(参考訳): 楕円曲線暗号(ECC)は近代的なセキュアな通信の基礎であるが、既存の標準曲線は不透明なパラメータ生成の慣行に対して精査されている。
この研究は、透明かつ監査可能な楕円曲線を構築するためのセルマーに着想を得たフレームワークを導入する。
2-および3-descent法から引き出され、古典的不変量が決定論的に候補$(c_4,c_6)$パラメータを得る2次クォートと3次立方体を導出する。
セルマー許容度をモデル化した局所可溶性チェックは、素体上の短距離ワイエルシュトラス形式への和解に先立って、候補をフィルタする。
次に、グループ階数分解、コファクタ境界、ツイストセキュリティ、埋め込み型ヒューリスティックスなど、確立された暗号検証を適用する。
概念実証実装は、パイプラインが独立した検証を可能にする完全な転写文字を持つ再試行・解法・ラスベガスのアルゴリズムとして機能することを証明している。
シードベースや純粋に効率駆動型設計とは異なり,本手法ではパラメータ選択に演算構造を組み込むが,定数時間・サイドチャネル耐性実装との互換性は保たれている。
この研究は楕円曲線の設計空間を広くし、算術幾何学からの降下技術が信頼-エンハンシング、標準化-可読な構成の基盤となることを示した。
関連論文リスト
- Improving constraint-based discovery with robust propagation and reliable LLM priors [13.871152992680152]
高信頼度種子から縁を伝播する因果発見法であるMosaCDを提案する。
次に、最も信頼性の高いエッジを優先し、スケルトンに基づく発見手法と統合可能な、新しい信頼度低下伝搬戦略を適用する。
論文 参考訳(メタデータ) (2025-09-28T02:00:20Z) - Parameter-Aware Ensemble SINDy for Interpretable Symbolic SGS Closure [0.0]
この研究は、解釈可能な偏微分方程式とサブグリッドスケール閉包を発見するためのスケーラブルでパラメータ対応のスパース回帰フレームワークを設計する。
SINDy(Sparse Identification of Dynamics)に基づいて構築されたこのアプローチは、4つの拡張を通じて鍵となる制限に対処する。
論文 参考訳(メタデータ) (2025-08-13T09:37:57Z) - Deterministic Cryptographic Seed Generation via Cyclic Modular Inversion over $\mathbb{Z}/3^p\mathbb{Z}$ [0.0]
本稿では, 暗号シード生成のためのフレームワークを, $mathbbZ/3pmathbbZ$上での巡回モジュラインバージョンに基づいて提案する。
このマッピングは、DRBGs、KDFs、ポスト量子スキームなどの暗号プリミティブに適したエントロピーに富んだサイクル完全種子をもたらす。
論文 参考訳(メタデータ) (2025-07-02T00:17:55Z) - Scalable and adaptive prediction bands with kernel sum-of-squares [0.5530212768657544]
Conformal Prediction (CP) は、有限サンプルで有効なカバレッジを持つ予測帯域を構築するための一般的なフレームワークである。
我々は,CP問題を統計的学習問題として再放送し,適用範囲と適応率を直接ターゲットとした最近の考え方を構築した。
論文 参考訳(メタデータ) (2025-05-27T11:21:17Z) - Parseval Convolution Operators and Neural Networks [16.78532039510369]
まず、Parseval畳み込み演算子をエネルギー保存フィルタバンクのクラスとして同定する。
次に,基本Parsevalモジュールの連鎖によるフィルタバンクの設計・特定のための構築的アプローチを提案する。
生体医用画像の反復的再構成のためのCNNアルゴリズムの設計により,これらのツールの使用例を示す。
論文 参考訳(メタデータ) (2024-08-19T13:31:16Z) - Provable Guarantees for Generative Behavior Cloning: Bridging Low-Level
Stability and High-Level Behavior [51.60683890503293]
生成モデルを用いた複雑な専門家による実演の行動クローニングに関する理論的枠組みを提案する。
任意の専門的軌跡の時間ごとのステップ分布に一致するトラジェクトリを生成することができることを示す。
論文 参考訳(メタデータ) (2023-07-27T04:27:26Z) - GloptiNets: Scalable Non-Convex Optimization with Certificates [61.50835040805378]
本稿では,ハイパーキューブやトーラス上のスムーズな関数を扱う証明書を用いた非キューブ最適化手法を提案する。
スペクトルの減衰に固有の対象関数の正則性を活用することにより、正確な証明を取得し、高度で強力なニューラルネットワークを活用することができる。
論文 参考訳(メタデータ) (2023-06-26T09:42:59Z) - General Cutting Planes for Bound-Propagation-Based Neural Network
Verification [144.7290035694459]
任意の切削平面制約を加えることができるような境界伝搬手順を一般化する。
MIPソルバは、境界プロパゲーションベースの検証器を強化するために高品質な切削面を生成することができる。
本手法は,oval20ベンチマークを完全解き,oval21ベンチマークの2倍のインスタンスを検証できる最初の検証器である。
論文 参考訳(メタデータ) (2022-08-11T10:31:28Z) - Orthogonalizing Convolutional Layers with the Cayley Transform [83.73855414030646]
直交に制約された畳み込み層をパラメータ化するための代替手法を提案し,評価する。
本手法は,大規模畳み込みにおいても直交性が高次に保たれることを示す。
論文 参考訳(メタデータ) (2021-04-14T23:54:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。