Posts
Machine-checking a hybrid (ECDSA + ML-DSA-44) eSIM attestation against its spec: a downgrade variant provably fails the same proof
Empirical ML-DSA-87 (NIST FIPS 204) signature sizing and block architecture data from a live SHA-256 PoW deployment
Sharing production measurements from a live mainnet deployment of ML-DSA-87 as the sole signing algorithm for a proof-of-work chain. Most PQC discussion at the implementation level is still theoretical — these are on-chain figures. **Signature sizing (per input, live mainnet):** * ML-DSA-87 signature: \~4,627 bytes * Public key: \~2,592 bytes …
Anybody with experience / insights on Dioxus? I have an idea and want to see if its worth investigating further.
i am working on a messaging app and created some details in rust. rust is useful because it has tooling for formal verification. my rust code compiles to WASM to be used in a browser. my project itself is using cryptography beyond the WASM because browsers provide a crypto api …
Why we cannot wait for better post-quantum signature algorithms
Another vote for Chat Control was fast tracked to TODAY
Where can I share my protocol spec?
I'm still working on my protocol spec and I'd like to know more about how to go about sharing it. I've received good advice from this sub before about creating one and while it's still far from finished I have questions. I see on places like ArXiv that documents are …