From 5ce3619369a4922793a531a8e4ab7d86a7aa4c5d Mon Sep 17 00:00:00 2001 From: Jack Gilcrest Date: Tue, 1 Aug 2023 12:02:52 -0400 Subject: [PATCH] pse uses new circuit api input to compute number of public inputs --- .../src/acvm_interop/smart_contract.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/crates/noir_halo2_backend_pse/src/acvm_interop/smart_contract.rs b/crates/noir_halo2_backend_pse/src/acvm_interop/smart_contract.rs index c95421d..002abe3 100644 --- a/crates/noir_halo2_backend_pse/src/acvm_interop/smart_contract.rs +++ b/crates/noir_halo2_backend_pse/src/acvm_interop/smart_contract.rs @@ -69,9 +69,10 @@ impl SmartContract for PseHalo2 { ) .unwrap(); - //get + // get number of public inputs used in circuit + let num_instance = circuit.public_inputs().0.len(); - // generate Yul verifier and return - Ok(gen_evm_verifier(¶ms, &vk, vec![0])) + // generate Yul verifier and return + Ok(gen_evm_verifier(¶ms, &vk, vec![num_instance])) } }