From f962769320936f9cc447ea16d0fc5937dc435708 Mon Sep 17 00:00:00 2001 From: Hack666r Date: Sun, 2 Feb 2025 20:57:59 +0100 Subject: [PATCH] Fix typos in README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index bb7ef04..0c30068 100644 --- a/README.md +++ b/README.md @@ -7,13 +7,13 @@ Poseidon hash circuit and primitives. It integrated several poseidon hash scheme To connect to the hash circuit, see `spec/hash-table.md`. -The circuit code can be implied with field which have satisified `Hashable` trait and currently only `poseidon-circuit::Bn256Fr` (the alias of `halo2_proofs::halo2curves::bn256::Fr`) has satisified this trait. +The circuit code can be implied with field which have satisfied `Hashable` trait and currently only `poseidon-circuit::Bn256Fr` (the alias of `halo2_proofs::halo2curves::bn256::Fr`) has satisfied this trait. The circuit type under `hash::HashCircuit` prove poseidon hash progress base on permutation with 3 fields and a 2 fields rate. You also need to set a fixed step size for proving message hashing with variable length. A message has to be complied with an initial capacity size and for each sponge step the capacity would be substracted by the fixed step size. In the final step the capacity has to be equal or less than the fixed step. For example, when we hashing a message with 19 fields: -1. You can use a circuit with fixed step size as `2`, and set the initialized capacity as `19` (i.e. the field len of input message). In each sponge progess the capacity is reduced by `2` and in final step it became `1`; +1. You can use a circuit with fixed step size as `2`, and set the initialized capacity as `19` (i.e. the field len of input message). In each sponge progress the capacity is reduced by `2` and in final step it became `1`; 2. You can use a circuit with fixed step size as `32` and a initialized capacity between `298` to `320`.