Issues

• 秘密鍵管理手法の形式検証

  research-idea
  NyxFoundation/interests#47 · Filter by author adust09 opened on Sep 30, 2026

• P2Pの形式検証

  research-idea
  NyxFoundation/interests#46 · Filter by author adust09 opened on Sep 30, 2026

• 形式検証のマーケット

  research-idea
  NyxFoundation/interests#45 · Filter by author adust09 opened on Sep 30, 2026

• 監視制御理論に基づく静的解析エンジン — 冗長性とギャップを同時に検出する

  research-idea
  NyxFoundation/interests#44 · Filter by author grandchildrice opened on Sep 3, 2026
  

• コントラクトから過去ステート・他チェーンステートを読む — 信頼最小化ステートアクセスの統一インターフェースと検証バックエンド

  research-idea
  NyxFoundation/interests#43 · Filter by author banr1 opened on Aug 16, 2026
  

• Lean対応zkVM — Lean 4で書き・証明したプログラムをそのままゲストとして実行・証明し、安全性証明と実行証明を接続する

  research-idea
  NyxFoundation/interests#42 · Filter by author banr1 opened on Aug 16, 2026
  

• サービス終了したコントラクトの引き継ぎ — オーナー鍵を秘密分散し、所定のトリガーで別主体へ安全に継承する標準を作る

  research-idea
  NyxFoundation/interests#41 · Filter by author banr1 opened on Aug 16, 2026
  

• POD3の開発 — 0xPARCのZK認可ライブラリPOD2をAIエージェントの認可まで拡張し、証明バックエンドをPlonky2からPlonky3へ移行する

  research-idea
  NyxFoundation/interests#40 · Filter by author banr1 opened on Aug 16, 2026
  

• プライバシー暗号プロトコルのアナモルフィック化 — 鍵の強制開示下でも匿名送金・Ethereumメッセージングのプライバシーを残す

  research-idea
  NyxFoundation/interests#39 · Filter by author banr1 opened on Aug 16, 2026
  

• VOLE-in-the-Headオンチェーン検証ベンチマークの再測定 — FAEST v2系の最新仕様と現行ガス体系で、Ethereum上の現実性を数字で更新する

  research-idea
  NyxFoundation/interests#38 · Filter by author banr1 opened on Aug 16, 2026
  

• 最もセキュアなウォレット管理方法の標準化 — ヒューマンエラー・ソーシャルエンジニアリングを含むワークフローを形式検証し、組織に応じた最適方式を導出する

  research-idea
  NyxFoundation/interests#37 · Filter by author banr1 opened on Aug 16, 2026
  

• FAESTによるEthereum EL署名 — 格子にもハッシュにも依らないVOLE-in-the-Head署名を、集約込みで実用性能にする

  research-idea
  NyxFoundation/interests#36 · Filter by author banr1 opened on Aug 16, 2026
  

• Ethereum P2P層の耐量子化 — 署名移行の陰で置き去りのハンドシェイク・ピア認証・ディスカバリを棚卸しし、ethp2pの設計にPQ要件を持ち込む

  research-idea
  NyxFoundation/interests#35 · Filter by author banr1 opened on Aug 16, 2026
  

• コンセンサスアルゴリズムの高速化 — Multimmit 系の1ラウンド投票設計に競技プログラミングの知見を持ち込む

  research-idea
  NyxFoundation/interests#34 · Filter by author banr1 opened on Aug 16, 2026
  

• Prover market のメカニズムデザイン — ZK 証明調達オークションの比較と Ethereum L1 向け設計

  research-idea
  NyxFoundation/interests#33 · Filter by author banr1 opened on Aug 16, 2026
  

• 任意概念の金融指数化 — あらゆるリスクをヘッジ可能にする指数の設計と選定

  research-idea
  NyxFoundation/interests#32 · Filter by author banr1 opened on Aug 16, 2026
  

• メカニズムデザイン諸定理の Lean 4 形式化 — 離散凸解析を軸にマッチング・意思決定・オークション理論を機械化する

  research-idea
  NyxFoundation/interests#31 · Filter by author banr1 opened on Aug 16, 2026
  

• ビルダー入札額の減少傾向の実証分析 — MEV-Boost オークションでプロポーザーの取り分はなぜ減っているのか

  research-idea
  NyxFoundation/interests#30 · Filter by author banr1 opened on Aug 16, 2026
  

• 証明つきZK回路の3D可視化 — 自然言語からclean(Lean 4)でsoundness/completenessを保証し、ガジェット合成を探索する

  research-idea
  NyxFoundation/interests#29 · Filter by author grandchildrice opened on Jul 21, 2026
  

• NMR量子回路の3D最適化とAI活用 — Vision Vibe Codingによる量子科学計算

  research-idea
  NyxFoundation/interests#28 · Filter by author grandchildrice opened on Jul 18, 2026

• 古典情報を用いた量子クローニングの近似改善 — no-cloning定理の制約緩和

  research-idea
  NyxFoundation/interests#27 · Filter by author grandchildrice opened on Jul 18, 2026

• AIエージェント経済時代の取引の在り方 — 金銭以外の価値交換と強制力のデザイン

  research-idea
  NyxFoundation/interests#26 · Filter by author grandchildrice opened on Jul 18, 2026

• 3Dプリンタの自己増殖と民主化 — 物理世界への収穫加速の転送

  research-idea
  NyxFoundation/interests#25 · Filter by author grandchildrice opened on Jul 18, 2026

• AIエージェントによるマーケットメイキングの最適化

  research-idea
  NyxFoundation/interests#24 · Filter by author grandchildrice opened on Jul 18, 2026

• トレード戦略の形式検証とZK証明による安全性保証

  research-idea
  NyxFoundation/interests#23 · Filter by author grandchildrice opened on Jul 18, 2026