A Proof of the Security of Quantum Key Distribution | Synapse