라이선스
Quantum Toolkit (Sqetch)
오픈소스 Aria 런타임 위에 올라가는 저희 툴킷입니다. 회로 빌더와 최적화 패스, 오토그래드를 갖춘 QML, 오류 정정, Lean 4 및 Rocq 내보내기, 금융 랩, 그리고 재현 가능한 바이너리 배포.
Aria 런타임에 더해, 그 위에 쌓아 올릴 수 있는 검증된 회로·모델·증명 라이브러리를 원하는 팀을 위해.
구성
어떻게 맞물리는가.
오픈소스
Aria 런타임
언어와 시뮬레이션 엔진, Apache-2.0. 툴킷의 모든 것이 그 위에서 돌아갑니다.
→라이선스
평가Quantum Toolkit (Sqetch)
Aria 위의 Rust 크레이트 아홉 개: 회로 대수, 최적화 패스, QML, 오류 정정, 포토닉스, 데이터와 백테스트, QPU 추상화, Python 바인딩.
quantum-examples
자체 완결형 바이너리와 열여섯 개 데모의 안내 투어. 각 데모는 수치 값과 스스로를 대조합니다. 평가용 빌드는 기간과 큐비트 수가 제한됩니다.
→회로
툴킷이 Aria에 더하는 것.
- 회로 대수30종 이상의 게이트, 심볼릭 파라미터, 주석, 합성 연산자, 그리고 Rust에서 회로를 만드는 circuit! 매크로.
- 최적화 패스항등·인접·수반쌍 상쇄, 회전 및 T 병합, 교환 재배열, 게이트 분해, Clifford+T 파이프라인. 모든 패스는 무작위 회로에서 상태벡터와 대조 검사됩니다.
- 내보내기OpenQASM 2.0, OPTICQASM, JSON, omega-IR, C FFI, Lean 4, Rocq.
- 오류 정정MWPM 디코더를 갖춘 반복·Steane·표면 코드, 그리고 측정 기반 및 블라인드 위임 계산.
- 빌더Bell, GHZ, QFT, QPE, H₂·Ising·Heisenberg용 Trotter 스텝, QSVT, 블록 인코딩, QML 인코딩, EC-DLP 추정을 포함한 Shor.
- 논문 재현25건의 재현(게이트 모델 16건, 포토닉 9건). 각각 논문 자체의 수식에 대한 통과/실패와 함께 대표 지표를 출력합니다.
QML
QPU에서 돌아가는 머신러닝.
- QuantumLayer파라미터 시프트 그래디언트를 갖춘 PyTorch 호환 레이어, 그리고 수반 미분, CMA-ES, 서로게이트 학습.
- 고전으로 학습, 양자로 배포양자 모델의 랜덤 피처 서로게이트, 해석적으로 학습되는 IQP 본 머신, 배포가 곧 보손 샘플링인 포토닉 생성 모델.
- Quantum Oracle SketchingO(1/N²) 샘플 복잡도 법칙을 따르는, 샘플로부터 만든 에뮬레이션 오라클.
- GPU 인식퓨즈드 커널과 배치 파라미터 스윕을 갖춘 CPU, Apple Metal, CUDA 시뮬레이션.
배포
받는 방법.
- 바이너리 배포macOS(Metal 및 CPU)와 Linux(x86-64, arm64, RISC-V)용 재현 가능한 빌드. 다시 검증할 수 있는 sha256 매니페스트가 함께 제공됩니다.
- PythonPyO3 바인딩과 표준 라이브러리만 쓰는 소켓 클라이언트.
- 라이선스툴킷은 팀 단위로 라이선스됩니다. 그 아래의 Aria 런타임은 Apache-2.0으로 남습니다.