Classiq
Implementation of Quantum e-voting system Quantegrity - Paper Implementation Project
Implementation of Quantum e-voting system Quantegrity
Team: Quler (@VidurangaLanders, @LisithaDiz, @Dinithi2002)
Project Overview
Our team proposes to implement the Quantegrity e-voting system described in "Quantum e-voting system using QKD and enhanced quantum oracles" by Viduranga Shenal Landers. (Link to paper) This system combines the Scantegrity classical e-voting framework with quantum cryptographic methods to create a secure, verifiable, and tamper-resistant voting framework. The Quantegrity system has been implemented in SquidASM for the QIA Quantum Internet Application Challenge, and during the Classiq Paper Implementation Project, we will convert and implement it for the Classiq platform. (Link to previous implementation)
Implementation Scope
We will focus on implementing the following key components of the Quantegrity system:
SEDJO Protocol for Quantum Key Distribution
- Implementation of the Symmetrically Entangled Deutsch-Jozsa Quantum Oracle (SEDJO) based QKD protocol (separate submission by @VidurangaLanders)
- Simulation of entanglement distribution between voters and election authorities
- Key encoding and measurement processes for encrypted communication
Quantum Random Number Generator (QRNG)
- Implementation of quantum circuits for true random number generation
- Integration with ballot confirmation codes and voter ID generation
Voter Authentication Module
- Simulation of biometric verification using quantum-secured protocols
- Secure storage and verification of voter credentials
Secure Vote Casting and Transmission
- Implementation of the vote encryption process using QKD-generated keys
- Verification mechanism for vote integrity
Expected Outcomes
- A working simulation of the Quantegrity e-voting system
- Documentation of quantum circuit implementations
- Analysis of security properties and performance characteristics
- Demonstration of attack resistance and verification capabilities
Why This Project Matters
Implementing secure e-voting systems is a critical real-world application of quantum technologies. This project will:
- Demonstrate practical applications of quantum cryptography
- Contribute to the development of future quantum-secure infrastructure
Hello @VidurangaLanders!
Thank you for your proposal on implementing the Quantegrity quantum e-voting system.
After the briefing, that seems suitable.
Feel free to reach out to the community if you have any questions.
Thanks!
Hi @NadavClassiq,
Thank you for the feedback. May I know the reason for its unsuitability? Is it because it's more to the application side rather than solving a class of problems?
Looking forward to your reply.
Oppss, I had a typo, I had corrected it: *After the briefing, that seems suitable.
Specifically, how do you envision leveraging Classiq's high-level quantum circuit synthesis capabilities in this context? Do you have a circuit example?​
Please note that we accept only high-quality implementations in our repository and will be glad to accept a contribution that meets our standards.
Feel free to reach out to the community if you have any questions.
Thanks!
Noted with thanks.
I already attached a repo with an implementation using SquidASM, but I don't think I can generate a circuit from it. It'll be more like a combination of QRNG and quantum oracle based QKD or other entanglement based QKDs to achieve the functioning e-voting authentication framework. Ideally, it should be multiple circuits on different nodes, as in our SquidASM implementation. However, in the original paper I used a simulation on a single circuit, which we can implement on Classiq.
Could you kindly assign @LisithaDiz and @Dinithi2002 to the project as well?
Thanks
Hello @VidurangaLanders, sorry for the delayed response!
I technically cannot assign @LisithaDiz and @Dinithi2002, maybe because they're not in the discussion yet (actively). Regarding the implementation, Classiq is mostly suitable for a high-level design of quantum programs and algorithms. Please note that we are glad to accept well-suited and high-quality implementations.
Best luck!
Hi @VidurangaLanders, what is the status of this? Are you still working on the implementation?
Hi @TaliCohn , Yes. The request of deadline extension was for both. As I mentioned in the email this is already implemented using QNE. We'll have to convert it to Classiq. I will make sure to complete both by the new deadline. Thanks
@TaliCohn, I couldn't find a specific requirement for the submission. Is it simply implementing the paper's algorithm using Classiq or is there more to it like implementing a generalized version to your library which could then be used by other users. Former is quite straightforward since the implementations are there using Qiskit and QNE, but if the expectation is for the latter, could you kindly guide me to some resources? Thanks again!
What do you mean by "generalized version"? The paper should be implemented using Classiq. If you are looking for resources about Classiq, you can look at our docs, and at the notebooks and tutorials in this library. For any specific question you can reach out in the Community Slack.
Apologies for the confusion.
The paper describes a complete e-voting system that includes complex classical components such as device identification, biometric authentication, mixnets, etc. My current implementation using QNE-ADK simulates most of these components as strings. Ideally, a "generalized version" would need many input parameters for it to be practically usable. Given the time, I would prefer implementing the paper as it is, or in other words as a proof of concept, which takes several assumptions for these parameters.
What I wanted to get clarified about the submission was whether you're expecting a qmod file containing the algorithm.
Sorry for sending these questions here. Moving forward, I'll use Slack if I have any issues during implementation.
Thanks!
That sounds fine. You do not need a generalized version, but make sure your notebook includes explanations about your implementation to make it accessible to other users. In addition, the file should contain a working Qmod. You can look at existing notebooks in the algorithm file to get a sense of what it should look like.
Dear Classiq Team, We would need one more week to complete this implementation. Thank you for your understanding.
hi @VidurangaLanders, what is the status here? Are you still working on this?
Hi @TaliCohn, Same reply as for issue 831. I'm currently on my vacation and getting back on this. If you could allow me a few more days, perhaps a week, I'd love to finish what I started.