From aac4bfc39e90d2d1e3edbac831bb421e3e665571 Mon Sep 17 00:00:00 2001 From: M Alghazwi Date: Fri, 13 Dec 2024 16:38:53 +0300 Subject: [PATCH] refactor function names --- workflow/benches/sample_cells.rs | 4 ++-- workflow/src/bin/build_circ.rs | 2 +- workflow/src/bin/prove.rs | 4 ++-- workflow/src/bin/prove_and_verify.rs | 4 ++-- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/workflow/benches/sample_cells.rs b/workflow/benches/sample_cells.rs index 2c88adb..cfe0f72 100644 --- a/workflow/benches/sample_cells.rs +++ b/workflow/benches/sample_cells.rs @@ -28,7 +28,7 @@ fn bench_prove_verify(c: &mut Criterion) { // Initialize the SampleCircuit with the parameters let circ = SampleCircuit::new(circuit_params.clone()); - let mut targets = circ.sample_slot_circuit(&mut builder); + let mut targets = circ.sample_slot_circuit_with_public_input(&mut builder); // Create a PartialWitness and assign the circuit input let mut pw = PartialWitness::new(); @@ -43,7 +43,7 @@ fn bench_prove_verify(c: &mut Criterion) { let config = CircuitConfig::standard_recursion_config(); let mut local_builder = CircuitBuilder::::new(config); let local_circ = SampleCircuit::new(circuit_params.clone()); - let mut local_targets = local_circ.sample_slot_circuit(&mut local_builder); + let mut local_targets = local_circ.sample_slot_circuit_with_public_input(&mut local_builder); let mut local_pw = PartialWitness::new(); local_circ.sample_slot_assign_witness(&mut local_pw, &mut local_targets, circ_input.clone()); let _data = local_builder.build::(); diff --git a/workflow/src/bin/build_circ.rs b/workflow/src/bin/build_circ.rs index 91e8b9f..f661375 100644 --- a/workflow/src/bin/build_circ.rs +++ b/workflow/src/bin/build_circ.rs @@ -18,7 +18,7 @@ fn main() -> Result<()> { let mut builder = CircuitBuilder::::new(config); let circuit_params = params.circuit_params; let circ = SampleCircuit::new(circuit_params); - let mut targets = circ.sample_slot_circuit(&mut builder); + let mut targets = circ.sample_slot_circuit_with_public_input(&mut builder); // Build the circuit let build_time = Instant::now(); diff --git a/workflow/src/bin/prove.rs b/workflow/src/bin/prove.rs index 0de7772..cd2476f 100644 --- a/workflow/src/bin/prove.rs +++ b/workflow/src/bin/prove.rs @@ -22,11 +22,11 @@ fn main() -> Result<()> { let config = CircuitConfig::standard_recursion_config(); let mut builder = CircuitBuilder::::new(config); let circ = SampleCircuit::new(circuit_params); - let mut targets = circ.sample_slot_circuit(&mut builder); + let mut targets = circ.sample_slot_circuit_with_public_input(&mut builder); // Create a PartialWitness and assign let mut pw = PartialWitness::new(); - circ.sample_slot_assign_witness(&mut pw, &mut targets, circ_input); + circ.sample_slot_assign_witness(&mut pw, &targets, &circ_input); // Build the circuit let build_time = Instant::now(); diff --git a/workflow/src/bin/prove_and_verify.rs b/workflow/src/bin/prove_and_verify.rs index ea10f89..8c5278b 100644 --- a/workflow/src/bin/prove_and_verify.rs +++ b/workflow/src/bin/prove_and_verify.rs @@ -23,12 +23,12 @@ fn main() -> Result<()> { let mut builder = CircuitBuilder::::new(config); let circ = SampleCircuit::new(circuit_params); - let mut targets = circ.sample_slot_circuit(&mut builder); + let mut targets = circ.sample_slot_circuit_with_public_input(&mut builder); // Create a PartialWitness and assign let mut pw = PartialWitness::new(); - circ.sample_slot_assign_witness(&mut pw, &mut targets, circ_input); + circ.sample_slot_assign_witness(&mut pw, &targets, &circ_input); // Build the circuit let build_time = Instant::now();