From 26408c197f5c6e8a300d24e441f4a4860210b5f0 Mon Sep 17 00:00:00 2001 From: Maddiaa <47148561+Maddiaa0@users.noreply.github.com> Date: Thu, 25 Jul 2024 14:32:51 +0100 Subject: [PATCH] feat(sol-honk): test verifying recursive proof (#7576) Adds support for recursive proving in the honk solidity verifier tests --- barretenberg/Earthfile | 2 +- barretenberg/cpp/src/barretenberg/bb/main.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/barretenberg/Earthfile b/barretenberg/Earthfile index a7a6b6b12d7..a8b6c1ad2a4 100644 --- a/barretenberg/Earthfile +++ b/barretenberg/Earthfile @@ -85,7 +85,7 @@ barretenberg-acir-tests-sol-honk: ENV VERBOSE=1 RUN (cd sol-test && yarn) - RUN PARALLEL=1 FLOW=honk_sol ./run_acir_tests.sh assert_statement 1_mul slices + RUN PARALLEL=1 FLOW=honk_sol ./run_acir_tests.sh assert_statement 1_mul slices verify_honk_proof barretenberg-acir-tests-bb.js: # Playwright not supported on base image ubuntu:noble, results in unmet dependencies diff --git a/barretenberg/cpp/src/barretenberg/bb/main.cpp b/barretenberg/cpp/src/barretenberg/bb/main.cpp index b2af40cc839..8475743aef0 100644 --- a/barretenberg/cpp/src/barretenberg/bb/main.cpp +++ b/barretenberg/cpp/src/barretenberg/bb/main.cpp @@ -1038,7 +1038,7 @@ UltraProver_ compute_valid_prover(const std::string& bytecodePath, const using Prover = UltraProver_; bool honk_recursion = false; - if constexpr (IsAnyOf) { + if constexpr (IsAnyOf) { honk_recursion = true; } auto constraint_system = get_constraint_system(bytecodePath, honk_recursion);