qzkp

Quantum Zero-Knowledge Proof (QZKP) protocol implementation in Rust, featuring BB84 quantum key distribution simulation and Aadhaar identity verification.

Features

• Quantum simulation -- single-qubit state-vector simulator with depolarizing noise and amplitude damping channels
• BB84 QKD -- full BB84 protocol: encode, transmit, measure, sift, estimate error rate
• QZKP protocol -- SHA-256 KDF, quantum state preparation, basis reconciliation, QBER threshold verification
• Aadhaar integration -- challenge-response identity verification with masked IDs, Merkle root over attributes, and proof generation/verification

Quick start

Add to your Cargo.toml:

[dependencies]
qzkp = "0.1"

QZKP proof verification

use qzkp::qzkp::QZKPProtocol;

let protocol = QZKPProtocol::new(
    "shared_secret".into(),
    "shared_secret".into(),
    32,
    0.025,
);
let result = protocol.run_protocol(&mut rand::thread_rng());
assert!(result.verification_status);
assert!(result.qber < 0.11);

Aadhaar authentication

use std::collections::BTreeMap;
use qzkp::qaadhaar::{QAadhaarProtocol, ServiceProvider};

let mut attrs = BTreeMap::new();
attrs.insert("name".into(), "Alice".into());
attrs.insert("age".into(), "25".into());

let proto = QAadhaarProtocol::new(
    "1234-5678-9012".into(),
    "master_secret".into(),
    attrs,
);

let mut rng = rand::thread_rng();
let challenge = proto.request_authentication("Gov Portal", "id_verify", &mut rng);
let (proof, result) = proto.generate_proof(&challenge, 0.025, &mut rng);

let verifier = ServiceProvider::new("Gov Portal".into());
assert!(verifier.verify_proof(&proof));

BB84 key distribution

use qzkp::bb84::BB84QKD;

let bb84 = BB84QKD::new(100, 0.02);
let (key_alice, key_bob, error_rate) = bb84.generate_key(&mut rand::thread_rng());
assert!(error_rate < 0.11);

Modules

Python bindings

A Python package wrapping this crate is available:

pip install qzkp

See PyPI for details.

License

MIT