양자 DSL
회로 합성, 비용 함수 구성, 최적화를 로컬에서 합니다. Python SDK로 제공합니다.
무엇을 풀지만 생각하세요.회로는 QASIS DSL이 만듭니다.
Qbasis.One은 양자 소프트웨어 개발 환경을 만듭니다. 행렬과 함수로 문제를 정의하면 DSL이 회로를 합성하고, 플랫폼이 실행한 뒤 결과를 돌려줍니다.
from synthesis import synthesize_qsvt, synthesize_state
from client import submit
# Ax = b 를 정규화 역행렬 f(x) = x / (x² + δ²) 로 푼다
qsvt, subnorm = synthesize_qsvt(A, f, block_encoding="sparse_lcu")
prep = synthesize_state(b)
circuit = ... # prep 과 qsvt 연결, 측정 추가 (생략)
handle = submit(circuit, device="qasis.gpu-sim", shots=32768)
result = handle.result()|ψ⟩실행 결과
- 큐빗
- 4(anc) + 3(sys)
- 실행
- qasis.gpu-sim, 32,768 shots
- 회로 재현도
- Σ√(p·q) = 0.999917
PASS
Platform
로컬에서 작성하고, 원격에서 실행합니다
Qbasis 플랫폼은 DSL, 실행 플랫폼, 실행 백엔드로 나뉩니다. 로컬에서 네트워크로 나가는 것은 제출 하나뿐입니다.
실행 플랫폼
제출, 대기열, 세션, 결과 저장을 관리합니다. 작업 상태와 수렴 곡선은 웹에서 봅니다.
실행 백엔드
자체 GPU 시뮬레이터에서 실행합니다. 양자 하드웨어(QPU) 연결은 같은 제출 형식으로 준비하고 있습니다.
Quantum DSL
알고리즘을 정하는 코드만 씁니다
블록 인코딩, 다항식 근사, 위상각 계산, 측정 결과 해석은 DSL이 맡습니다.
Qbasis DSL
synthesize_state(b)
synthesize_qsvt(A, f, block_encoding="sparse_lcu")사용자가 정하는 것: 행렬 A, 함수 f, 블록 인코딩 방식
범용 양자 SDK로 직접 조립
- 블록 인코딩 구성 (딜레이션 공식, ancilla 위치)
- Chebyshev 절단 차수와 패리티
- |P| ≤ 1 정규화
- 위상각 컨벤션 변환
- 실수화 가젯의 부호
- U와 U† 교대 순서
- 리틀엔디언 인덱스 처리
with open_session("qasis.gpu-sim", seed=1234) as session:
for i in range(12):
# 목적 함수 1개 + parameter-shift 기울기 2개 = job 하나
handle = submit(
ansatz, device="qasis.gpu-sim",
observable=[("Z", 1.0)],
parameter_bindings=[{"theta": theta},
{"theta": theta + pi / 2},
{"theta": theta - pi / 2}],
roles=["objective", "gradient", "gradient"],
session=session,
)
r = handle.result()
grad = (expval_of(r, binding_idx=1)
- expval_of(r, binding_idx=2)) / 2
theta -= 0.5 * grad
curve = session.curve() # 웹 세션 페이지와 같은 데이터수렴 곡선
Measured
실제로 측정해봤습니다
회로 재현도
0.999917
GPU 시뮬레이터 32,768샷 측정 분포와 수치 목표 f(A)b의 일치도 Σ√(p·q)입니다. 두 분포가 같으면 1입니다.
양자우위를 주장하지 않습니다. 하드웨어가 준비됐을 때 코드가 이미 거기 있도록 툴체인을 만듭니다.
Qbasis.One 원칙
DSL 회로의 큐빗당 증가
+820게이트
격자 큐빗 3, 4, 5개에서 전체 게이트 수
6,182 → 6,986 → 7,822
행렬 전체를 싣는 방식의 큐빗당 증가
×4.7CX
같은 문제에서 블록 인코딩 유니타리 하나의 CX 수
81 → 393 → 1,783
* 블랙-숄즈 암시적 FDM 한 스텝(격자 8점)을 QSVT 정규화 역행렬로 푼 예제에서 2026년 8월 사내 측정. 비교 대상은 같은 문제를 범용 양자 SDK의 게이트로 직접 조립한 구현입니다.
Principles
과장하지 않습니다
- 01
양자우위를 주장하지 않습니다
예제 회로는 현재 NISQ 하드웨어에서 실행되는 규모가 아닙니다. 우리가 제공하는 것은 문제 정의부터 실행까지 이어지는 코드와 파이프라인입니다.
- 02
검산을 결과와 함께 냅니다
시뮬레이터 결과를 고전 해와 대조합니다. 오차와 post-selection 성공률도 결과 표에 그대로 적습니다.
- 03
같은 제출은 같은 결과를 돌려줍니다
제출마다 재현 가능한 키가 붙습니다. 같은 제출을 다시 보내면 새로 실행하지 않고 이전 결과를 돌려줍니다.