01242nas a2200145 4500008004100000245006500041210006400106260001500170490000600185520081100191100002101002700001701023700001901040856003701059 2019 eng d00aGraphical Methods in Device-Independent Quantum Cryptography0 aGraphical Methods in DeviceIndependent Quantum Cryptography c05/20/20190 v33 a
We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a recent result from device-independent quantum cryptography: any linear randomness expansion protocol can be converted into an unbounded randomness expansion protocol. We give a graphical exposition of a proof of this result and implement parts of it in the Globular proof assistant.
1 aBreiner, Spencer1 aMiller, Carl1 aRoss, Neil, J. uhttps://arxiv.org/abs/1705.09213