r/crypto

Found a numerical bug in fplll's GSO + RHF misses structural BKZ/SD-BKZ differences

Ran a 4,541-seed benchmark of BKZ vs SD-BKZ on LWE-Kannan embeddings (n=50-150, β=20/30/40). Two things worth posting about. At q=3329 (the ML-KEM modulus), n=100, β=30, 1000-bit MPFR, 38% of reduced bases end with a GSO log-norm sitting at the precision …

Quantum Computers Are Not a Threat to 128-bit Symmetric Keys

OTRv4+ post-quantum OTR messaging over Tor/I2P IRC, Rust double ratchet, ML-DSA-87/ML-KEM-1024, 313 test suite, v10.5.5 security hardening. Working prototype

​ I've been building an extended OTR implementation for IRC that goes beyond the OTRv4 spec draft, targeting high-threat privacy scenarios like Tor hidden services and I2P eepsites. Just pushed v10.5.5 with a significant Rust core security hardening pass. Wanted …

We beat Google’s zero-knowledge proof of quantum cryptanalysis

Security Notions Zoo

Hybrid Constructions: The Post-Quantum Safety Blanket

What is x402? The Internet Native Payments Standard for APIs, Data, and Agents

[deleted]

What Is MPP? The Machine Payments Protocol by Tempo Explained

[deleted]

Data in Use Protection: How MPC Keeps Inputs Hidden from the Cloud - Stoffel - MPC Made Simple

We’ve published the cryptographic architecture behind City of Hats.

We’ve been working on a secure messaging protocol and recently made the cryptographic design public for review. The system uses: – Double Ratchet (Signal-style) – Hybrid key exchange (X25519 + ML-KEM-768) – Encrypted headers and metadata padding – Sender keys …