Giters

Atul9 / rust-hacl-star

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rust bindings to HACL*-C

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).

About

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).

License:MIT License

Languages

Language:Rust 100.0%