logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-05 07:13:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

remove build_without_randomizing (no longer needed)

Browse Source
This commit is contained in:
Nicholas Ward 2023-04-26 16:05:01 -07:00
parent b640bf6381
commit 8df0c74344
1 changed files with 1 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
plonky2/src/plonk/circuit_builder.rs
View File

@ -738,7 +738,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
}
/// Builds a "full circuit", with both prover and verifier data.
fn build_inner<C: GenericConfig<D, F = F>>(
fn build<C: GenericConfig<D, F = F>>(
mut self,
randomize_unused_pi_wires: bool,
) -> CircuitData<F, C, D>
@ -950,24 +950,6 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
}
}
/// Standard build.
pub fn build<C: GenericConfig<D, F = F>>(self) -> CircuitData<F, C, D>
where
[(); C::HCO::WIDTH]:,
[(); C::HCI::WIDTH]:,
{
self.build_inner(true)
}
/// Build without randomizing PI wires
pub fn build_without_randomizing<C: GenericConfig<D, F = F>>(self) -> CircuitData<F, C, D>
where
[(); C::HCO::WIDTH]:,
[(); C::HCI::WIDTH]:,
{
self.build_inner(false)
}
/// Builds a "prover circuit", with data needed to generate proofs but not verify them.
pub fn build_prover<C: GenericConfig<D, F = F>>(self) -> ProverCircuitData<F, C, D>
where