Implementation of Quantum e-voting system Quantegrity - Paper Implementation Project

[VidurangaLanders]

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

[NadavClassiq]

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!

[VidurangaLanders]

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.

[NadavClassiq]

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!

[VidurangaLanders]

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

[NadavClassiq]

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!

[TaliCohn]

Hi @VidurangaLanders, what is the status of this? Are you still working on the implementation?

[VidurangaLanders]

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

[VidurangaLanders]

@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!

[TaliCohn]

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.

[VidurangaLanders]

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!

[TaliCohn]

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.

[VidurangaLanders]

Noted. Thank you so much for the clarification