Proof generation for the recursion example fails when using the bb CLI

[pmuens]

I try to generate a proof for the recursion example via the Barretenberg CLI. Unfortunately it I get the following error:

"Assertion failed: (false && "ERROR: Trying to construct a PublicInputComponent from an invalid key!")"

The error can be reproduced using the following branch in my fork: https://github.com/pmuens/noir-examples/tree/recursion-repro. The changes were made in the recursion directory, the diff of which can be seen here.

Steps to reproduce:

1. git clone <url>
2. cd recursion
3. ./compile.sh
4. ./prove.sh (this is the step where the error occurs)
5. ./verify.sh (this step won't run properly, given that the proof generation fails)
6. ./cleanup.sh

Note that I had to update the HONK_VK_SIZE from 128 to 112 as write_vk generates a vk with 112 elements.

The interesting part is that the whole flow works when I omit the --oracle_hash keccak CLI option.

Here are the versions of nargo / bb I've used:

root@1cdb3f64da25:/workspaces/noir-examples/recursion# nargo --version
nargo version = 1.0.0-beta.9
noirc version = 1.0.0-beta.9+6abff2f16e1c1314ba30708d1cf032a536de3d19
(git version hash: 6abff2f16e1c1314ba30708d1cf032a536de3d19, is dirty: false)

root@1cdb3f64da25:/workspaces/noir-examples/recursion# bb --version
0.87.0

This issue might be related to #54

Thanks a lot for looking into this and let me know if there's anything else you need from me to troubleshoot this.

[cypriansakwa]

I try to generate a proof for the recursion example via the Barretenberg CLI. Unfortunately it I get the following error:

"Assertion failed: (false && "ERROR: Trying to construct a PublicInputComponent from an invalid key!")"

The error can be reproduced using the following branch in my fork: https://github.com/pmuens/noir-examples/tree/recursion-repro. The changes were made in the recursion directory, the diff of which can be seen here.

Steps to reproduce:

1. git clone <url>
2. cd recursion
3. ./compile.sh
4. ./prove.sh (this is the step where the error occurs)
5. ./verify.sh (this step won't run properly, given that the proof generation fails)
6. ./cleanup.sh

Note that I had to update the HONK_VK_SIZE from 128 to 112 as write_vk generates a vk with 112 elements.

The interesting part is that the whole flow works when I omit the --oracle_hash keccak CLI option.

Here are the versions of nargo / bb I've used:

root@1cdb3f64da25:/workspaces/noir-examples/recursion# nargo --version
nargo version = 1.0.0-beta.9
noirc version = 1.0.0-beta.9+6abff2f16e1c1314ba30708d1cf032a536de3d19
(git version hash: 6abff2f16e1c1314ba30708d1cf032a536de3d19, is dirty: false)

root@1cdb3f64da25:/workspaces/noir-examples/recursion# bb --version
0.87.0

This issue might be related to #54

Thanks a lot for looking into this and let me know if there's anything else you need from me to troubleshoot this.

You require witness file. How do you generate it?

[pmuens]

Hey @cypriansakwa thanks for following-up here.

You can find the code that generates the witness here:

#!/bin/sh

set -e

touch ./circuits/inner/Prover.toml
touch ./circuits/recursive/Prover.toml

echo "x = 3\ny = 3" > ./circuits/inner/Prover.toml

nargo execute --package inner inner_witness
bb prove -b ./target/inner.json -w ./target/inner_witness -o ./target/inner_proof \
  --output_format bytes_and_fields \
  --oracle_hash keccak \
  --recursive \
  --honk_recursion 1

inner_proof_as_fields="$(cat ./target/inner_proof/proof_fields.json)"
inner_public_inputs_as_fields="$(cat ./target/inner_proof/public_inputs_fields.json)"
echo "proof = $inner_proof_as_fields" >> ./circuits/recursive/Prover.toml
echo "public_inputs = $inner_public_inputs_as_fields" >> ./circuits/recursive/Prover.toml

nargo execute --package recursive recursive_witness
bb prove -b ./target/recursive.json -w ./target/recursive_witness -o ./target/recursive_proof \
  --output_format bytes_and_fields \
  --oracle_hash keccak