Posts
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 floor (\~-345). fplll's squared-form recurrence in `gso_interface.cpp:147-151` computes `r(i,i) = …
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 to share it here because the crypto design decisions are …
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 for group messaging We’re exploring an identity model that avoids …