University of Twente Student Theses
Implementing and Testing the BB84 Quantum Cryptography Protocol in Cirq
Porietis, E.K. (2025) Implementing and Testing the BB84 Quantum Cryptography Protocol in Cirq.
|
PDF
973kB |
| Abstract: | This research investigates the feasibility of using Cirq, a Python framework, to implement the BB84 quantum key distribution protocol, using model-based testing. Additionally, this paper covers how such implementation performs under different noise models. Therefore, this research begins with by briefly recalling research on the BB84 protocol, model-based testing, Cirq and noise models. Next, formal models, adapter and the implementation used by TorXakis, a model-based testing tool, are described in detail. Then, experiment setup and results are covered, supplied by multiple graphs, visualizing test results. This research concludes with the implementation passing all the initial tests, validating the ability of Cirq to simulate BB84. Additionally, the implementation in Cirq can reliably handle depolarizing noise under 10% probability and amplitude dampening noise under 12% probability. However, phase dampening noise has minimal effect on the performance of the implementation. Finally, future work describes how, due to the limited scope of the study, additional research and testing on both model and implementation could be beneficial. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/105084 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page