fiat-crypto

library0.3.0rscratesunverified

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

# Cargo.toml
[dependencies]
fiat-crypto = "0.3.0"

INSTALL

IMPORT

SIG · FIAT-CRYPTO

fiat-crypto

cryptorustv0.3.0

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

fiat_25519

✓ use fiat_crypto::curve25519::fiat_25519;

Creates a curve25519 field element.

use fiat_crypto::curve25519::fiat_25519; fn main() { let a = fiat_25519([0u8; 32]); println!("Created fiat_25519 element"); }

Debug

Known issues

gotchaThe crate may require specific CPU features for optimal performance.

fix

Enable target features like 'adx' or 'bmi2' in your build configuration.

affects: >=0.1.0

Upgrade

Version history

0.3.0latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

10 hits · last 30 days

node

Resources