SQETCH 2026
Sqetch 2026 — マネージド量子・QML プラットフォーム
Sqetch は量子および量子機械学習ワークロードのための Anzaetek のマネージドプラットフォームです。単一エントリーポイント、多様なハードウェア・シミュレーションバックエンド互換、サイト間のフェデレーテッド学習、そしてデータがソースを離れない機密コンピューティングを提供します。
Sqetch '26 Finance は開発プレビューです。2026 年後半のデザインパートナー窓を目標としています — ワークロードのスコーピングはお問い合わせください。
- どこにでもデプロイ — クラウド PoC、オンプレミス エンクレーブ、スケールアウト クラスター
- インターフェース: Python SDK、REST、Excel; バックテストおよび QML 用 Docker アプリ
- サイト間フェデレーテッドモデル — データは移動せず、派生シグナルのみが集約されます
- マルチモーダル QML — 表形式、テキスト、画像、波形 — 中回路測定による非ユニタリモデル対応
Sqetch '26 Finance — HFT とその先へ
- 量子合成データ (QCBM + Conditional TimeGAN) による最悪ケースのリスク管理
- 時系列データレイクに対する Temporal Similarity Search による市場レジーム検出
- 量子最適執行とポートフォリオ最適化 (QAOA / QUBO をランタイムにディスパッチ)
- ハードウェア加速バックテスト、スクリプト戦略、Q/ML 強化の再プライシング・XVA
OMEGA FUNCTIONS
OSS · Apache-2.0
Omega Functions — オープンソース量子ランタイム
Omega Functions は量子およびハイブリッドワークロード向けのオープンソース Rust ランタイムです。"量子回路のための AWS Lambda" とお考えください — 回路を一度書いて、問題の形状に合ったバックエンドにディスパッチします。
2026-04-24 に Apache-2.0 ライセンスで github.com/Anzaetek/omega-functions-public にてオープンソース公開されました。
- マルチバックエンド: 状態ベクトル、MPS テンソルネットワーク、Pauli/Clifford、フォトニクス(ガウシアン)
- O(1) パラメータ勾配のための随伴微分; 勾配フリーループ向け CMA-ES
- 中回路測定、条件付きゲート、リセット — すべてのバックエンドに対応
- サンドボックス化された古典制御ループのための WASM ランタイム (Wasmtime 28)
- C ABI および PQC (ML-DSA-65) 認証付き REST サーバー
QUANTUM TOOLKIT
Quantum Toolkit — 回路 IR、QML、形式検証
社内の Quantum Toolkit は Omega Functions の上に構築された Rust プログラミング環境です。回路代数、autograd 付きの QML スタック、誤り訂正符号、そして Lean 4 および Rocq にエクスポートされる機械検証証明を提供します。
- 30 種類以上のゲート、シンボリックパラメータ、circuit! 手続きマクロ DSL、リソース推定付きの Aria 表面 DSL
- フォーマットエクスポータ — QASM 2.0、OPTICQASM 1.0、Lean 4、Rocq、JSON、.qc、omega-IR、C FFI
- 13 の最適化パス — F₂ ガウス消去カーネル探索を含む PhasePolyDedup、随伴対相殺を含む
- tch-rs 経由のパラメータシフト autograd による QML; CMA-ES 勾配フリー; 代理学習 (arXiv:2505.05249)
- 誤り訂正 — 繰り返し符号 [[n,1,n]]、Steane [[7,1,3]]、表面符号 [[d²,1,d]] と MWPM デコーダ
- 形式検証 — Lean 4 スタンドアロン定理 23 件 (sorry 0)、mathlib ベースの ECC・BlockEncoding が完全閉鎖、QFT / QPE / Grover 文は型として負荷を担う、一部パッケージング sorry は未閉
Quantum Toolkit はクローズドソースで、基盤となる Omega Functions ランタイムはオープンソースです。