From 7edf0360762180fda3d776167d33e96270d9de8c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michele=20Orr=C3=B9?= Date: Thu, 1 Feb 2024 16:50:27 +0100 Subject: [PATCH] Update README.md --- README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 6120790..6a9ffad 100644 --- a/README.md +++ b/README.md @@ -13,14 +13,13 @@ It facilitates the writing of multi-round public coin protocols. Built on the top of the SAFE framework and provides an API for generating the verifier's and prover's random coins. # Features -It provides the following features: -- **Automatic transcript generation**: nimue comes with batteries included for serializing/deserializing algebraic elements such as field/group elements in [arkworks](https://github.com/arkworks-rs/algebra) and [zkcrypto](https://github.com/zkcrypto/group). Users can build the top of it via extension trait. +**Automatic transcript generation.** nimue comes with batteries included for serializing/deserializing algebraic elements such as field/group elements in [arkworks](https://github.com/arkworks-rs/algebra) and [zkcrypto](https://github.com/zkcrypto/group). Users can build the top of it via extension trait. -- **Support custom hash function**, including algebraic hashes. +**Support custom hash function.** To build a secure Fiat-Shamir transform, the minimal requirement is a permutation function over some set that supports byte-encoding. I can be a `u8` representing $\mathbb{F}_{2^8}$ or any large-characteristic prime field $\mathbb{F}_p$. -- **Retro-compatibility** with MD hashes. +**Retro-compatibility.** We have a legacy interface for any hash function that satisfies the [`digest::Digest`](https://docs.rs/digest/latest/digest/trait.Digest.html) trait, including [`sha2`](https://crates.io/crates/sha2), [`blake2`](https://crates.io/crates/blake2). - **Preprocessing**.