RESEARCH & EDUCATION

๐Ÿ” XDC ZK Lab

Interactive exploration of Zero-Knowledge Proofs and Post-Quantum Cryptography for blockchain security

Why This Matters

Quantum computers will eventually break current cryptographic signatures (ECDSA, BLS). Ethereum and XDC are preparing for this by researching post-quantum cryptography. Zero-knowledge proofs provide privacy AND can be made quantum-resistant using hash-based constructions (STARKs).

๐Ÿ›ก๏ธ

Post-Quantum

Cryptography secure against quantum attacks

๐Ÿ”’

Zero-Knowledge

Prove statements without revealing data

โšก

Hash-Based

Simple constructions, quantum-safe

๐ŸŽฏ

Zero-Knowledge Commitment Scheme

How It Works

A commitment scheme lets you "lock in" a value without revealing it. Later, you can reveal and prove you committed to that exact value. This is used in voting, auctions, and games.

1๏ธโƒฃ Create Commitment
2๏ธโƒฃ Verify Commitment
โœ๏ธ

Hash-Based Signatures (Quantum-Safe)

Post-Quantum Security

Unlike ECDSA (used by current wallets), hash-based signatures rely only on the security of hash functionsโ€”which remain secure against quantum computers. This demo shows a simplified Lamport-style one-time signature.

๐Ÿ”‘ Generate Hash-Based Keypair
๐Ÿ“ Sign Message
โœ“ Verify Signature
๐ŸŒณ

Merkle Tree Proof (Inclusion Proof)

Foundation of ZK-Rollups & Airdrops

Merkle trees let you prove that an item belongs to a set without revealing the entire set. Used in airdrops (prove you're on the list), rollups (prove transaction inclusion), and state proofs.

๐Ÿ“‹ Create Merkle Tree
๐Ÿ“œ Generate Proof
โœ“ Verify Proof
๐Ÿ“Š

Cryptography Comparison

Algorithm Type Classical Security Quantum Security Used In
ECDSA (secp256k1) Signature โœ“ Safe โœ— Broken by Shor's Bitcoin, Ethereum, XDC
BLS Signature โœ“ Safe โœ— Broken by Shor's Ethereum 2.0 validators
Keccak-256 Hash โœ“ Safe โœ“ Reduced to 128-bit* Ethereum addresses
Lamport Signature โœ“ Safe โœ“ Quantum-Safe Research, post-quantum
SPHINCS+ Signature โœ“ Safe โœ“ NIST Standard Future wallets
Dilithium Signature โœ“ Safe โœ“ NIST Standard Future TLS, blockchain
STARKs ZK Proof โœ“ Safe โœ“ Hash-based StarkNet, scaling

* Grover's algorithm halves effective security of hash functions

๐Ÿ“š

Ethereum Foundation Research

๐Ÿ”ฎ Post-Quantum Roadmap
1

KZG Replacement

Replace quantum-vulnerable KZG commitments with hash-based alternatives

2

STARK Aggregation

Use STARKs for validator signature aggregation instead of BLS

3

Account Abstraction

Enable wallets to use any signature scheme, including post-quantum