Research & Writing

The Quantum
Cryptography Blog.

Technical writing on post-quantum cryptography, BFT consensus, STARK proofs, and the BLEEP protocol. Research-grade content, hype-free.


All Post-Quantum Crypto Protocol Security STARK Proofs Governance Economics BLEEP Haven Research
Featured
Security

The Harvest-Now, Decrypt-Later Threat: Why Every Classical Blockchain Transaction Is a Ticking Clock

An adversary today needs only storage, not quantum hardware. Every transaction on a classical blockchain is a permanent record. We quantify the archival threat model, estimate the timeline to cryptographically relevant quantum computers, and explain why BLEEP's genesis-native design is the only clean answer.

STARK
Post-Quantum Crypto
Why STARKs and Not SNARKs: The Trusted Setup Problem and What It Costs You

SNARKs require a structured reference string generated in a multi-party ceremony. If any participant is compromised, all proofs become forgeable. We explain why BLEEP chose Winterfell STARKs and what the transparency trade-off actually means in practice.

Muhammad Attahir April 2026 · 11 min
BFT
Protocol
Constitutional Immutability: When Governance Cannot Override the Compiler

Four BLEEP parameters are enforced by Rust const_assert macros at compile time. A governance vote that sets MaxInflationBps above 500 does not fail at runtime — the binary that would permit it literally does not compile. We explain the design decision and its implications.

Muhammad Attahir April 2026 · 9 min
FIPS
Security
FIPS 205 vs Ed25519: What the Signature Size Difference Actually Costs a Blockchain

A SPHINCS+ signature is 7,856 bytes. An Ed25519 signature is 64 bytes. On a 4,096-transaction block, that is 32 MB of aggregate signature data and ~87 MB/s minimum bandwidth. We explain why BLEEP accepts this overhead as an explicit design trade-off.

Hameeda Muhammad March 2026 · 8 min
ZK
BLEEP Haven
Progressive Disclosure: Why the Right UX for a Post-Quantum Wallet Looks Nothing Like a Crypto App

SPHINCS+ and Kyber-1024 are architectural facts, not user-facing features. A new user's first interaction with a quantum-safe wallet should feel simpler than their last banking app. We explain the three-layer disclosure architecture behind BLEEP Haven.

Halima Abdulazeez March 2026 · 7 min
GOV
Research
ZK-Private Governance: How EncryptedBallot Prevents Both Coercion and Double-Voting

Most blockchain governance is fully public — every vote is on-chain and attributable. BLEEP ZKVotingEngine uses EncryptedBallot structs with VoteCommitment-based double-vote prevention and nonce-based replay resistance. We open the mechanism up completely.

Halima Abdulazeez February 2026 · 12 min
PQ
Protocol
The Migration Problem: Why No Classical Blockchain Can Cleanly Upgrade to Post-Quantum Cryptography

Wallets, exchanges, bridges, indexers, relayers, and the ecosystem of tooling must all upgrade simultaneously. We trace the coordination failure through the history of TLS deprecation, the DigiNotar incident, and Ethereum's move away from PoW — and explain why the post-quantum upgrade is categorically harder.

Muhammad Attahir January 2026 · 15 min

Series

Long-Form Research
Collections.

01
Post-Quantum Primitives Explained
6 articles · Ongoing

A technical series covering SPHINCS+, Kyber-1024, BLAKE3, SHA3-256, Winterfell STARK, and Module-LWE — from first principles to implementation details in the BLEEP codebase.

02
Inside the BLEEP Codebase
4 articles · In progress

Deep dives into specific crates: how bleep-zkp wires Winterfell to consensus, how bleep-auth builds tamper-evident audit logs, how bleep-consensus implements three-mode BFT.

03
Quantum Threat Timeline
3 articles · Planned

State of quantum hardware, IBM and Google roadmaps, NIST's assessment of cryptographically relevant timelines, and what "harvest-now, decrypt-later" means for current transaction archives.

04
Building on BLEEP
5 articles · Planned

Developer tutorials: submitting your first transaction, verifying a STARK proof independently, deploying a PAT, running a validator, and integrating the TypeScript SDK.