Skip to content

Actions: NyxFoundation/interests

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
監視制御理論に基づく静的解析エンジン — 冗長性とギャップを同時に検出する Close Issues from External Users #44: Issue #44 opened by grandchildrice
8s
8s
コントラクトから過去ステート・他チェーンステートを読む — 信頼最小化ステートアクセスの統一インターフェースと検証バックエンド Close Issues from External Users #43: Issue #43 opened by banr1
12s
12s
Lean対応zkVM — Lean 4で書き・証明したプログラムをそのままゲストとして実行・証明し、安全性証明と実行証明を接続する Close Issues from External Users #42: Issue #42 opened by banr1
6s
6s
サービス終了したコントラクトの引き継ぎ — オーナー鍵を秘密分散し、所定のトリガーで別主体へ安全に継承する標準を作る Close Issues from External Users #41: Issue #41 opened by banr1
7s
7s
POD3の開発 — 0xPARCのZK認可ライブラリPOD2をAIエージェントの認可まで拡張し、証明バックエンドをPlonky2からPlonky3へ移行する Close Issues from External Users #40: Issue #40 opened by banr1
6s
6s
プライバシー暗号プロトコルのアナモルフィック化 — 鍵の強制開示下でも匿名送金・Ethereumメッセージングのプライバシーを残す Close Issues from External Users #39: Issue #39 opened by banr1
7s
7s
VOLE-in-the-Headオンチェーン検証ベンチマークの再測定 — FAEST v2系の最新仕様と現行ガス体系で、Ethereum上の現実性を数字で更新する Close Issues from External Users #38: Issue #38 opened by banr1
7s
7s
最もセキュアなウォレット管理方法の標準化 — ヒューマンエラー・ソーシャルエンジニアリングを含むワークフローを形式検証し、組織に応じた最適方式を導出する Close Issues from External Users #37: Issue #37 opened by banr1
7s
7s
FAESTによるEthereum EL署名 — 格子にもハッシュにも依らないVOLE-in-the-Head署名を、集約込みで実用性能にする Close Issues from External Users #36: Issue #36 opened by banr1
9s
9s
Ethereum P2P層の耐量子化 — 署名移行の陰で置き去りのハンドシェイク・ピア認証・ディスカバリを棚卸しし、ethp2pの設計にPQ要件を持ち込む Close Issues from External Users #35: Issue #35 opened by banr1
6s
6s
コンセンサスアルゴリズムの高速化 — Multimmit 系の1ラウンド投票設計に競技プログラミングの知見を持ち込む Close Issues from External Users #34: Issue #34 opened by banr1
6s
6s
Prover market のメカニズムデザイン — ZK 証明調達オークションの比較と Ethereum L1 向け設計 Close Issues from External Users #33: Issue #33 opened by banr1
6s
6s
任意概念の金融指数化 — あらゆるリスクをヘッジ可能にする指数の設計と選定 Close Issues from External Users #32: Issue #32 opened by banr1
8s
8s
メカニズムデザイン諸定理の Lean 4 形式化 — 離散凸解析を軸にマッチング・意思決定・オークション理論を機械化する Close Issues from External Users #31: Issue #31 opened by banr1
9s
9s
ビルダー入札額の減少傾向の実証分析 — MEV-Boost オークションでプロポーザーの取り分はなぜ減っているのか Close Issues from External Users #30: Issue #30 opened by banr1
7s
7s
証明つきZK回路の3D可視化 — 自然言語からclean(Lean 4)でsoundness/completenessを保証し、ガジェット合成を探索する Close Issues from External Users #29: Issue #29 opened by grandchildrice
12s
12s
NMR量子回路の3D最適化とAI活用 — Vision Vibe Codingによる量子科学計算 Close Issues from External Users #28: Issue #28 opened by grandchildrice
8s
8s
古典情報を用いた量子クローニングの近似改善 — no-cloning定理の制約緩和 Close Issues from External Users #27: Issue #27 opened by grandchildrice
7s
7s
AIエージェント経済時代の取引の在り方 — 金銭以外の価値交換と強制力のデザイン Close Issues from External Users #26: Issue #26 opened by grandchildrice
8s
8s
3Dプリンタの自己増殖と民主化 — 物理世界への収穫加速の転送 Close Issues from External Users #25: Issue #25 opened by grandchildrice
7s
7s
AIエージェントによるマーケットメイキングの最適化 Close Issues from External Users #24: Issue #24 opened by grandchildrice
7s
7s
トレード戦略の形式検証とZK証明による安全性保証 Close Issues from External Users #23: Issue #23 opened by grandchildrice
8s
8s
任意のチェーンのフルノードを簡単に建てられるサービス Close Issues from External Users #22: Issue #22 opened by grandchildrice
5s
5s
クロスチェーンアービトラージの実態可視化 Close Issues from External Users #21: Issue #21 opened by grandchildrice
5s
5s
エージェントによる自律的取引戦略の発見・実行 Close Issues from External Users #20: Issue #20 opened by grandchildrice
6s
6s