{"library":"fiat-crypto","type":"library","category":null,"description":"Provides formally verified cryptographic primitives generated by the Fiat-Crypto project.","language":"rust","status":"active","version":"0.3.0","tags":["cryptography","elliptic-curve","verification"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nfiat-crypto = \"0.3.0\"","imports":["use fiat_crypto::curve25519::fiat_25519;"]},{"cmd":"cargo add fiat-crypto","imports":[]}],"homepage":"https://github.com/mit-plv/fiat-crypto","github":"https://github.com/mit-plv/fiat-crypto","docs":"https://docs.rs/fiat-crypto/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}