diff --git a/plonky2/src/plonk/circuit_data.rs b/plonky2/src/plonk/circuit_data.rs index a113fcdb..745e844e 100644 --- a/plonky2/src/plonk/circuit_data.rs +++ b/plonky2/src/plonk/circuit_data.rs @@ -96,9 +96,9 @@ impl CircuitConfig { /// Circuit data required by the prover or the verifier. pub struct CircuitData, C: GenericConfig, const D: usize> { - pub prover_only: ProverOnlyCircuitData, - pub verifier_only: VerifierOnlyCircuitData, - pub common: CommonCircuitData, + pub(crate) prover_only: ProverOnlyCircuitData, + pub(crate) verifier_only: VerifierOnlyCircuitData, + pub(crate) common: CommonCircuitData, } impl, C: GenericConfig, const D: usize> diff --git a/starky/src/fibonacci_stark.rs b/starky/src/fibonacci_stark.rs index eff373ac..8e407968 100644 --- a/starky/src/fibonacci_stark.rs +++ b/starky/src/fibonacci_stark.rs @@ -108,7 +108,6 @@ impl, const D: usize> Stark for FibonacciStar #[cfg(test)] mod tests { use anyhow::Result; - use log::Level; use plonky2::field::extension_field::Extendable; use plonky2::field::field_types::Field; use plonky2::hash::hash_types::RichField; @@ -226,14 +225,7 @@ mod tests { } let data = builder.build::(); - - let mut timing = TimingTree::new("prove", Level::Debug); - let proof = - plonky2::plonk::prover::prove(&data.prover_only, &data.common, pw, &mut timing)?; - if print_timing { - timing.print(); - } - + let proof = data.prove(pw)?; data.verify(proof) }