From 99628a73a6e63e1862cbb1bfda6b28ddf64f134a Mon Sep 17 00:00:00 2001 From: oleh Date: Sun, 9 Feb 2025 21:37:24 +0100 Subject: [PATCH 1/2] update bb installation instructions --- docs/co-noir-cli/co-noir-cli.md | 20 ++++---------------- 1 file changed, 4 insertions(+), 16 deletions(-) diff --git a/docs/co-noir-cli/co-noir-cli.md b/docs/co-noir-cli/co-noir-cli.md index aead933..199b092 100644 --- a/docs/co-noir-cli/co-noir-cli.md +++ b/docs/co-noir-cli/co-noir-cli.md @@ -2,23 +2,11 @@ ## UltraHonk -Our co-Noir implementation currently supports the UltraHonk prover (with Keccak and Poseidon2 as transcript) from Barretenberg v0.62.0. To get Barretenberg with this version, use the following commands: +Our co-Noir implementation currently supports the UltraHonk prover (with Keccak and Poseidon2 as transcript) from Barretenberg v0.66.0. To get Barretenberg with this version, use the following commands: ```bash -git clone https://github.com/AztecProtocol/aztec-packages.git -cd aztec-packages -git checkout tags/aztec-package-v0.62.0 -``` - -To compile Barretenberg, one can use: - -```bash -cd barretenberg/cpp -bash ./scripts/docker_interactive.sh ubuntu -mkdir build -cd build -cmake --preset clang16 -DCMAKE_BUILD_TYPE=RelWithDebInfo .. -cmake --build . +curl -L https://raw.githubusercontent.com/AztecProtocol/aztec-packages/refs/heads/master/barretenberg/bbup/install | bash +bbup -v 0.66.0 ``` Our prover, i.e., ``UltraHonk::prove`` in `src/prover.rs`, is compatible with `UltraProver_/UltraProver_` (depending on the used transcript hasher) in Barretenberg. Similar, the ``Ultrahnok::verify`` verifier in `src/verifier.rs` is compatible with `UltraVerifier_/UltraVerifier_` in Barretenberg. @@ -33,7 +21,7 @@ First, one needs to create the circuit file from a Noir source code. Your Noir p - `Nargo.toml`: Similar to Cargo.toml, just for Noir projects. - `Prover.toml`: The inputs for the main function in `src/main.nr` used in proof generation. -To create the circuit file used in Co-Noir, one needs to install Nargo following the instructions in [https://noir-lang.org/docs/getting_started/installation/](https://noir-lang.org/docs/getting_started/installation/). Our prover is compatible with Nargo version 0.33.0. +To create the circuit file used in Co-Noir, one needs to install Nargo following the instructions in [https://noir-lang.org/docs/getting_started/installation/](https://noir-lang.org/docs/getting_started/installation/). Our prover is compatible with Nargo version 1.0.0-beta.1. Then you can just execute the following command: ```bash From c5bd535c6a7c0b85032dc62c2dbcffd9863c18e2 Mon Sep 17 00:00:00 2001 From: oleh Date: Sun, 9 Feb 2025 21:53:30 +0100 Subject: [PATCH 2/2] global path --- docs/co-noir-cli/co-noir-cli.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/co-noir-cli/co-noir-cli.md b/docs/co-noir-cli/co-noir-cli.md index 199b092..483af06 100644 --- a/docs/co-noir-cli/co-noir-cli.md +++ b/docs/co-noir-cli/co-noir-cli.md @@ -98,7 +98,7 @@ Here, `poseidon.gz.shared` is the share of the witness, `poseidon.json` is the c The corresponding Barretenberg command (from `barretenberg/cpp/build/bin`) is: ```bash -./bb prove_ultra_honk -b poseidon.json -w poseidon.gz -o proof.proof +bb prove_ultra_honk -b poseidon.json -w poseidon.gz -o proof.proof ``` where poseidon.gz is the witness file created by Noir (which is equivalent to a non-secret-shared variant of `poseidon.gz.shared`). The generated proof key is the same, regardless of using Co-Noir or Barretenberg. @@ -117,7 +117,7 @@ Here, `poseidon.json` is the circuit file from Noir, `bn254_g1.dat` is the file The corresponding Barretenberg command (from `barretenberg/cpp/build/bin`) is: ```bash -./bb write_vk_ultra_honk -b poseidon.json -o verification_key +bb write_vk_ultra_honk -b poseidon.json -o verification_key ``` Here, `poseidon.json` is the circuit file from Noir. The output verification key is the same, regardless of using Co-Noir or Barretenberg. @@ -136,7 +136,7 @@ Here, `proof.proof` is the proof we want to verify, `verification_key` is the ou The corresponding Barretenberg command (from `barretenberg/cpp/build/bin`) is: ```bash -./bb verify_ultra_honk -k verification_key -p proof.proof +bb verify_ultra_honk -k verification_key -p proof.proof ``` Note: Barretenberg does not require the file for storing the CRS, since Barretenberg automatically downloads it if it is not present.