Our Audit of the 4Mica Payment Network
We audited 4Mica's collateral-backed payment network. Its BLS signatures and netting were correct; the serious risks were in settlement and key management.
2 min readTag
Rust
3 posts tagged “Rust”.
hpke-ng: Faster, Smaller, Harder HPKE for Rust
126 head-to-head benchmarks against hpke-rs and rust-hpke. hpke-ng wins 103, ties 19, loses 4. ML-KEM-1024 decap −55%, X25519 decap −41%, export −72% to −76%, end-to-end roundtrip −30%, plus a type system that catches four classes of bug at compile time.
26 min read2PC-MPC in Rust: Audit Report
The public report from our audit, with 3MI Labs, of dWallet Labs' 2PC-MPC Rust implementation.
1 min read