Symbolic Software

Pinned Loading

1. verifpal verifpal Public

   Cryptographic protocol analysis for real-world protocols.

   Rust 120 13

2. crucible crucible Public

   Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.

   C 18 4

3. hpke-ng hpke-ng Public

   Faster, Smaller, Harder HPKE for Rust

   Rust 28 6

4. soundcalc-lean soundcalc-lean Public

   A universal soundness calculator across hash-based zkEVMs and security regimes, proven in Lean

   Lean 2