17 releases

0.1.17 Oct 16, 2022
0.1.14 Aug 27, 2022
0.1.13 Mar 30, 2022
0.1.11 Dec 28, 2021
0.1.0 Feb 4, 2020

#101 in Cryptography

Download history 11210/week @ 2022-08-15 14202/week @ 2022-08-22 7515/week @ 2022-08-29 9383/week @ 2022-09-05 10213/week @ 2022-09-12 7989/week @ 2022-09-19 10999/week @ 2022-09-26 14518/week @ 2022-10-03 13354/week @ 2022-10-10 13368/week @ 2022-10-17 12855/week @ 2022-10-24 12273/week @ 2022-10-31 11098/week @ 2022-11-07 11743/week @ 2022-11-14 10264/week @ 2022-11-21 10253/week @ 2022-11-28

44,467 downloads per month
Used in 35 crates (10 directly)

MIT OR Apache-2.0 OR BSD-1-Clause

3.5MB
75K SLoC

Fiat-crypto

This crate provides the extracted Rust code from the Coq fiat-crypto libraries.

License

This project is distributed under the terms of the MIT License, the Apache License (Version 2.0), and the BSD 1-Clause License; users may pick which license to apply.

See COPYRIGHT, LICENSE-MIT, LICENSE-APACHE, and LICENSE-BSD-1 for details.

No runtime deps

Features

  • std