This commit is contained in:
Daniel Lubarov 2023-01-03 17:45:47 -08:00
parent 5df784416a
commit f4ac2d4f9c

View File

@ -327,8 +327,10 @@ where
root_inputs.set_proof_with_pis_target(&self.root.proof_with_pis[table], &shrunk_proof); root_inputs.set_proof_with_pis_target(&self.root.proof_with_pis[table], &shrunk_proof);
} }
root_inputs root_inputs.set_verifier_data_target(
.set_verifier_data_target(&self.root.cyclic_vk, &self.root.circuit.verifier_only); &self.root.cyclic_vk,
&self.aggregation.circuit.verifier_only,
);
self.root.circuit.prove(root_inputs) self.root.circuit.prove(root_inputs)
} }