From dc6259fe6b583f147fbabe8ad564b4ac6ec6c1b7 Mon Sep 17 00:00:00 2001 From: Dustin Ray <40841027+drcapybara@users.noreply.github.com> Date: Fri, 23 Aug 2024 15:38:25 -0700 Subject: [PATCH] Update README.md --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 904f71e..0d08f54 100644 --- a/README.md +++ b/README.md @@ -45,13 +45,15 @@ To quickly benchmark prover and verifer performance, as well as examine details ``` ## Supported Hashes: -The following hashes are supported in the recursive chain: +The following hashes are available in the recursive chain: | Hasher | Validation | |----------|----------| | Poseidon Hash | [![Test Poseidon Hash](https://github.com/drcapybara/hash-chain/actions/workflows/test_poseidon_hash_chain.yml/badge.svg?branch=main)](https://github.com/drcapybara/hash-chain/actions/workflows/test_poseidon_hash_chain.yml) | | Keccak | [![Test Keccak Hash](https://github.com/drcapybara/hash-chain/actions/workflows/test_keccak_hash_chain.yml/badge.svg?branch=feat%2Fkeccak)](https://github.com/drcapybara/hash-chain/actions/workflows/test_keccak_hash_chain.yml) | +The keccak chain fails to build successfully at current, work is ongoing to fix this eventually. + # Strategy Our approach is to insert the following gates into the circuit with the requisite connections. It is not enough to create a circuit that simply connects each hash output the next input, the prover must argue the hash computation _and_ verify the preceeding hash in a single step, taking into account the recursive structure of the chain: