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 런타임은 오픈소스입니다.
QUANTUM-EXAMPLES
평가판 · 직접 실행
quantum-examples — 실제 바이너리로 툴킷을 실행해 보세요
github.com/Anzaetek/quantum-examples 에서 Quantum 툴킷의 자체 완결형 평가 번들을 공개합니다. 13개의 데모가 출하된 바이너리로 실행됩니다 — 회로 검사 및 최적화, Aria→Lean 4 사양 추출, Quantum Oracle Sketching, 블라인드 위임 연산, 오류 정정, 학습된 QML/금융 모델 — 호스트에는 셸 외에 아무것도 필요하지 않습니다.
평가 전용: 바이너리는 기간 한정이며 큐비트 상한이 있습니다(일반 12, 확장 가능한 ECC / Pauli 전파 경로는 64). 상용 라이선스는 별도입니다. 진행 중인 작업으로, 다듬어지지 않은 부분이 있을 수 있습니다.
- 자체 완결형 바이너리 — Rust, Python, jq 불필요; 기본 debian:bookworm-slim 컨테이너에서 엔드투엔드 검증
- macOS(Apple Silicon, Metal + CPU) 및 Linux x86-64 / arm64(CPU), 그리고 Cuda(0)에서 QML을 학습하는 linux-amd64 CUDA 번들
- 한 번의 명령으로 안내 투어(demo/run-all.sh) — 각 단계가 수치 값으로 자체 검증
- 모든 금융 / QML 데이터는 합성 데이터 — 재조정·노이즈·이름 변경된 시계열이며 실제 시장 데이터가 아님
Aria — 이제 Apache-2.0 오픈소스 양자 언어
데모 모델은 Aria 로 작성되어 있습니다. 증명 의무가 내장된 작고 읽기 쉬운 언어로, 이제 github.com/Anzaetek/aria-quantum-language-oss-public 에서 Apache-2.0 로 완전히 오픈소스화되었습니다 — 자체 aria CLI 와 런타임을 갖춘 독립형 순수 Rust 저장소로, 하나의 소스에서 실행·학습·내보내기(OPENQASM 2.0, JSON, Lean 4)를 수행합니다. 32개 예제 중 31개가 독립 오라클로 수치 검증되었고, Lean 4 증명은 sorry 가 없으며, libtorch 는 필요하지 않습니다(선택형 백엔드). VS Code·Neovim·tree-sitter 에디터 도구 포함.