Skip to content

qiskit-certified-qrng

Device-independent-certified quantum random number expansion for Qiskit, with a Lean-verified extractor soundness proof (classical leftover hash lemma, v0.1).

Not published to a package registry. The metadata below is what the repository itself declares.

pip install git+https://github.com/RexRowan/Qiskit-Certified-QRNG