Fiat Crypto

library 0.3.0 ·rust

✓ verified Jun 17, 2026

Provides formally verified cryptographic primitives generated by the Fiat-Crypto project.

Resources

docsdocs.rs/fiat-crypto/ ↗

githubgithub.com/mit-plv/fiat-crypto ↗

API endpoints

full doc /v1/registry/fiat-crypto

install /v1/registry/fiat-crypto/install