Blog

Release notes, research and engineering write-ups.

Nov 18, 2025 · Release · 7 min read

OpenCrypt 2.0: ML-DSA and ML-KEM in pure Rust

OpenCrypt 2.0 adds ML-DSA and ML-KEM implementations that outperform existing solutions by up to 2x. The benchmarks, the design decisions behind them, and how we would approach a migration.

Oct 7, 2025 · Technical

Blog

OpenCrypt 2.0: ML-DSA and ML-KEM in pure Rust

Designing ZK IR, a custom instruction set for zero-knowledge proofs

How we formally verify cryptographic implementations in Coq

Benchmarking OpenCrypt's ML-DSA and ML-KEM against RustCrypto and liboqs

SecTLS: TLS 1.3 and QUIC with hybrid post-quantum key exchange

Cryptography on ARM cloud servers

Defending cryptographic code against side-channel attacks

Managing TLS certificates at scale

Formal verification of cryptographic code, with an ML-KEM case study

Rust and memory safety in cryptographic libraries

NIST's finalized post-quantum standards and how to plan a migration

Four layers of cryptography for API security

Introducing Seceq