Research platform

Research overview

git: 5b73a0bb93c1
api: 1.0.0
schema: 1.0.0
phase: phase_3_wave_3_dispatched

QMint is an open-source research platform. Results are simulations, published analytic values or committed datasets, each labelled with its evidence kind. It is not money, not a payment service and not a deployable quantum currency.

Research gates

project/TRACKER.yaml

Gate	Description	Status	Evidence
G0	Frozen schemas/CI/fixtures	IN REVIEW	tests/contracts/test_contracts.py (19 passed at ace5cbc) +1
G1	Wiesner optimal-attack SDP and independent correctness	PASSED	C: SDP n=1 primal/dual 0.75, certified dual bound +3
G2	Published S-money state machine and causal tests	IN REVIEW	B2 Kent 2022 state machines + exact privacy +2
G3	Real photonic data reproduction with provenancePending independent red-team (M) review; calibration holdout shows non-stationarity (D/A p=0.003)	PASSED	Zenodo 7979319 md5-verified + sha256; 8.96M coincidences decoded; both published QBERs reproduced; correction reviewed (wording only); lead re-ran realdata tests on main: 3 passed
G4	Trust-matched classical comparison	IN REVIEW	X1 matched-topology runs: identical network/seed/choreography for S-money vs H0-H6; comparability_matrix QUALIFIED/INCOMPARABLE
G5	Independent certificate checking and optimizer benchmarkPending FDE fixes (M-D1/D2) and re-run	IN REVIEW	I1: exhaustive-oracle agreement, independent checker on all releases, pre-registered holdout; weak/conditional improvement
G6	Optional authorized IonQ primitive result	SKIPPED	handoffs/J-J1.json: dry-run only; no key; no paid approval
G7	Independent science audit and reproducible paper	OPEN	none recorded

Security games and theorem anchors

/api/v1/games

W1
Wiesner simple 1->2 counterfeiting, exact verifierε ≤ (3/4)^n · base 0.75THEOREM: Bound transcribed from a peer-reviewed proofwiesner_ideal
- T-MVW12-THM1VERIFIED FROM SOURCE
- P-W1PUBLISHED REPRODUCED
W1_CV
Wiesner counterfeiting, MVW classical-verification variantε ≤ (3/4 + sqrt(2)/8)^n · base 0.926777THEOREM: Bound transcribed from a peer-reviewed proofwiesner_ideal
- T-MVW12-THM2VERIFIED FROM SOURCE
- P-W1CVPUBLISHED REPRODUCED
W2
Noisy / threshold Wiesnerno closed-form bound (null, never 0)UNCERTIFIED: No applicable evidencewiesner_noisy
- P-W2CERTIFIED NUMERIC
S1
Ideal two-site S-tokenε ≤ (1/2 + 1/(2*sqrt(2)))^N · base 0.853553THEOREM: Bound transcribed from a peer-reviewed proofs_money_kent_2022_ideal_2site
- T-KLPR22-LEMMA1VERIFIED FROM SOURCE
- P-S1PUBLISHED REPRODUCED
- P-S3UNSUPPORTED
S2
Realistic noisy/lossy S-token (finite size)no closed-form bound (null, never 0)UNCERTIFIED: No applicable evidences_money_kent_2022_realistic
- T-KLPR22-LEMMA2VERIFIED FROM SOURCE
- T-KLPR22-LEMMA3VERIFIED FROM SOURCE
- T-KLPR22-LEMMA4VERIFIED FROM SOURCE
- T-KLPR22-THM1VERIFIED FROM SOURCE
- T-KLPR22-THM2VERIFIED FROM SOURCE
- T-KLPR22-LEMMA5VERIFIED FROM SOURCE
- P-S2PUBLISHED REPRODUCED
- P-PRIVUNSUPPORTED
D1
Quantum-digital payment cryptogramno closed-form bound (null, never 0)UNCERTIFIED: No applicable evidenceschiansky_payment_2023
- T-SCH23-SDP-N1VERIFIED FROM SOURCE
- T-SCH23-ASYMPTOTICVERIFIED FROM SOURCE
- T-SCH23-FINITEVERIFIED FROM SOURCE
- P-D1NUMERICALLY SUPPORTED
A1
Anonymity / issuer trackingno closed-form bound (null, never 0)UNCERTIFIED: No applicable evidencegavinsky_anon_2025
- T-GAV25-CONSTR10NOT VERIFIED
C1
Classical double-spend systems gameno closed-form bound (null, never 0)UNCERTIFIED: No applicable evidenceclassical_h0_bearer · classical_h1_online_ledger · classical_h2_quorum · classical_h3_preallocated_escrow · classical_h4_pqc_signed · classical_h5_secure_hardware · classical_h6_anonymous_ecash
- P-C1UNSUPPORTED

Recent experiment records

experiments/run_registry.jsonl

No experiment records yet

The record store (experiments/run_registry.jsonl) is empty in this checkout. Records appear here when a lane writes a validated contract payload through qmint.core.records.RecordStore.

$ python scripts/run_core.py --offline --seed 42

Lanes

project/TRACKER.yaml · tasks

22 tasks merged · 2 in flight · 2 open

Task	Description	Status	Commit
A1	Papers/proofs/novelty/license registerBlocker: EP 23168897.9 status unverified	MERGED	0efd308
B1	Wiesner ideal protocol	MERGED	7964518
B2	S-money two-site protocol	MERGED	7964518
C1	Adversaries and 1->2 Choi SDP	MERGED	3434bea
D1	Bound engine and theorem predicates	MERGED	4b59474
E1	2023 raw photon timetag dataset and calibrationBlocker: loss/efficiency/multiphoton not observable from coincidence archive (null, published aggregates kept separate)	MERGED	58b84c7
F1	Qiskit and QuTiP independent circuits	MERGED	b0ed333
G1	Spacetime topology and causal simulations	MERGED	0cdec21
H1	Atomic ledger/escrow/PQC classical baselines	MERGED	b181049
I1	Resource-optimized security certificate compiler	MERGED	e4f6243
J1	Optional quantum backend adapter and provenanceBlocker: G6 real QPU SKIPPED: no IONQ_API_KEY and no paid approval	MERGED	0dcc1dd
K1	Evidence-led research interface	MERGED	061cfc2
L1	Core package/CI/integration/frozen schema	MERGED	42d822c
M1	Independent red-team audit	MERGED	9b4903d
N1	Reproducibility, figures and paper	IN REVIEW	36911be
O1	Optional 2025 anonymous tokens	OPEN	—
O2	Optional public-key/lightning research	OPEN	—
B3	Schiansky 2023 quantum-digital payment protocolBlocker: MAC construction and estimator granularity unspecified in paper: interpreted (GF(2^l) a*M+k; per-block threshold default)	MERGED	7964518
Q1	Cross-lane integration: B<->C cross-run, BB84 dedupe, entrypoints	MERGED	63df38e
X1	G+H on shared engine, matched-topology runs, Fig 6 data	MERGED	8cfc8de
K2	Website + research platform (docs/design/WEBSITE_BRIEF.md)	IN REVIEW	—
FB	red-team fixes	MERGED	c8cb1f4
FDE	red-team fixes	MERGED	e6c9c6a
FGH	red-team fixes	MERGED	a6f87de
FLK	red-team fixes	MERGED	8a88b81
PAGES	Static GitHub Pages export with API snapshot	MERGED	ce63dc8

Protocol registry

/api/v1/protocols · qmint.core.contracts.PROTOCOL_GAMES

Protocol	Family	Games	Implementation
classical_h0_bearer	classical · classical	C1	merged laneclassical baseline owned by lane H
classical_h1_online_ledger	classical · classical	C1	merged laneclassical baseline owned by lane H
classical_h2_quorum	classical · classical	C1	merged laneclassical baseline owned by lane H
classical_h3_preallocated_escrow	classical · classical	C1	merged laneclassical baseline owned by lane H
classical_h4_pqc_signed	classical · classical	C1	merged laneclassical baseline owned by lane H
classical_h5_secure_hardware	classical · classical	C1	merged laneclassical baseline owned by lane H
classical_h6_anonymous_ecash	classical · classical	C1	merged laneclassical baseline owned by lane H
gavinsky_anon_2025	gavinsky · quantum	A1	merged laneprotocol simulation owned by lane B
s_money_kent_2022_ideal_2site	s_money · quantum	S1	merged laneprotocol simulation owned by lane B
s_money_kent_2022_realistic	s_money · quantum	S2	merged laneprotocol simulation owned by lane B
schiansky_payment_2023	schiansky · quantum	D1	merged laneprotocol simulation owned by lane B
wiesner_ideal	wiesner · quantum	W1 W1_CV	merged laneBB84 note circuits and W1 cloners available via lane F (qmint.quantum)
wiesner_noisy	wiesner · quantum	W2	merged laneprotocol simulation owned by lane B