VitnisVerifier
Something new is coming.
Deterministic quantum circuit verification at scale.
↓ Or read onDeterministic quantum circuit verification at scale.
↓ Or read onThe O(2ᴺ) memory wall constrains general quantum simulation. Standard state-vector simulators crash at 30 qubits because of the exponential overhead of the tensor product.
Vitnis Verifier computes observables directly via observable-space evolution rather than amplitude evolution, sidestepping the 2ᴺ memory wall for structured circuits. The result: deterministic, machine-precision quantum verification at scale.
No stochastic approximations. Exact mathematics, within explicit scope.
Exact Pauli expectation values validated to N=124 qubits for structured circuits — beyond the classical state-vector limit.
OpenQASM 2.0 and 3.0 parsing, with circuit evaluation in observable space rather than state space.
Lightweight circuits run synchronously, returning deterministic hashes for CI/CD pipelines. Heavier circuits route to async tiers automatically.
Partial verdicts, actionable structural refusals, transparent compute-cost estimation.
Verifying a 5-qubit QAOA-style circuit with mixed rotations against five Pauli observables. Output below is the real MCP response from a live Verifier session.
>>> vitnis_verify_circuit(
... qasm=open("qaoa_mixed.qasm").read(),
... paulis=["ZIZII", "IZIZI", "IIZIZ", "ZIIIZ", "IIIII"],
... )
[vitnis] Validating circuit scope...
[vitnis] Routing: sync tier (est. 12.1s)
[vitnis] Computing expectations...
{
"status": "SUCCESS",
"circuit_hash": "d82a3b0155c9...",
"pauli_results": [
{"observable": "ZIZII", "expectation": 0.31478, "verdict": "COMPUTED"},
{"observable": "IZIZI", "expectation": 0.31478, "verdict": "COMPUTED"},
{"observable": "IIZIZ", "expectation": 0.31478, "verdict": "COMPUTED"},
{"observable": "ZIIIZ", "expectation": 0.12100, "verdict": "COMPUTED"},
{"observable": "IIIII", "expectation": 1.00000, "verdict": "COMPUTED"}
],
"metrics": {
"estimated_seconds": 12.115,
"actual_compute_ms": 5.4,
"routing_tier": "SYNC"
}
}Vitnis Verifier is currently in closed-beta development, validated against published quantum advantage challenge circuits and being prepared for integration with quantum CI/CD pipelines and autonomous AI agent workflows.
Public API access opens soon, as we scale the asynchronous cloud infrastructure.
Be among the first when the public API opens.