Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
VidurangaLanders opened this issue Feb 28, 2025 · 4 comments
Assignees
Labels
Paper Implementation Project Implement a paper using Classiq

Comments

@VidurangaLanders
Copy link

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 NadavClassiq added the Paper Implementation Project Implement a paper using Classiq label Mar 2, 2025
@NadavClassiq
Copy link
Collaborator

NadavClassiq commented Mar 2, 2025

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!

@NadavClassiq NadavClassiq self-assigned this Mar 2, 2025
@VidurangaLanders
Copy link
Author

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
Copy link
Collaborator

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
Copy link
Author

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Paper Implementation Project Implement a paper using Classiq
Projects
None yet
Development

No branches or pull requests

2 participants