SQETCH 2026
Sqetch 2026 — 매니지드 양자·QML 플랫폼
Sqetch는 양자 및 양자 머신러닝 워크로드를 위한 안젯텍의 매니지드 플랫폼입니다. 단일 진입점, 다양한 하드웨어·시뮬레이션 백엔드 호환, 사이트 간 연합 학습, 그리고 데이터가 원본을 떠나지 않는 기밀 컴퓨팅을 제공합니다.
Sqetch '26 Finance는 개발 프리뷰입니다. 2026년 후반 디자인 파트너 창을 목표로 합니다 — 워크로드 범위 논의를 위해 연락주세요.
- 어디에나 배포 — 클라우드 PoC, 온프레미스 엔클레이브, 스케일아웃 클러스터
- 인터페이스: Python SDK, REST, Excel; 백테스트 및 QML 용 도커 앱
- 사이트 간 연합 모델 — 데이터는 떠나지 않고 파생 신호만 집계
- 멀티모달 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 프로그래밍 환경입니다. 회로 대수, 오토그래드를 포함한 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를 통한 파라미터 시프트 오토그래드 QML; CMA-ES 그래디언트 프리; 대리 학습 (arXiv:2505.05249)
- 오류 정정 — 반복 코드 [[n,1,n]], Steane [[7,1,3]], 표면 코드 [[d²,1,d]] 및 MWPM 디코더
- 형식 검증 — Lean 4 스탠드얼론 정리 23 건 (0 sorry); mathlib 기반 ECC 및 BlockEncoding 완전 마감; QFT · QPE · Grover 진술 부하 적재, 일부 포장 sorry 열림
Quantum Toolkit은 비공개 소스이며, 기반이 되는 Omega Functions 런타임은 오픈소스입니다.