From 032a14cfa50e62fa4568bfcc4e127387232f9773 Mon Sep 17 00:00:00 2001 From: Isis Lovecruft Date: Wed, 14 Apr 2021 03:05:51 +0000 Subject: [PATCH] Update README to thank more contributors. --- README.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 19679f9..2600cce 100644 --- a/README.md +++ b/README.md @@ -207,7 +207,13 @@ optimised batch inversion was contributed by Sean Bowe and Daira Hopwood. The `no_std` and `zeroize` support was contributed by Tony Arcieri. -Thanks also to Ashley Hauck, Lucas Salibian, and Manish Goregaokar for their +The formally verified backends, `fiat_u32_backend` and `fiat_u64_backend`, which +integrate with the Rust generated by the +[Fiat Crypto project](https://github.com/mit-plv/fiat-crypto) were contributed +by François Garillot. + +Thanks also to Ashley Hauck, Lucas Salibian, Manish Goregaokar, Jack Grigg, +Pratyush Mishra, Michael Rosenberg, and countless others for their contributions. [ed25519-dalek]: https://github.com/dalek-cryptography/ed25519-dalek