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

Feedback

Browse Source
This commit is contained in:
Daniel Lubarov 2022-11-29 12:02:54 -08:00
parent c528da4e66
commit 319d9b5a52
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -248,9 +248,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
/// Add a virtual verifier data, register it as a public input and set it to `self.verifier_data_public_input`. /// Add a virtual verifier data, register it as a public input and set it to `self.verifier_data_public_input`.
/// WARNING: Do not register any public input after calling this! TODO: relax this /// WARNING: Do not register any public input after calling this! TODO: relax this
pub fn add_verifier_data_public_inputs(&mut self) { pub fn add_verifier_data_public_inputs(&mut self) {
if self.verifier_data_public_input.is_some() { assert!(
return; self.verifier_data_public_input.is_none(),
} "add_verifier_data_public_inputs only needs to be called once"
);
let verifier_data = VerifierCircuitTarget { let verifier_data = VerifierCircuitTarget {
constants_sigmas_cap: self.add_virtual_cap(self.config.fri_config.cap_height), constants_sigmas_cap: self.add_virtual_cap(self.config.fri_config.cap_height),

2
plonky2/src/recursion/cyclic_recursion.rs
View File

@ -177,6 +177,8 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
} }
/// Set the targets in a `CyclicRecursionTarget` to their corresponding values in a `CyclicRecursionData`. /// Set the targets in a `CyclicRecursionTarget` to their corresponding values in a `CyclicRecursionData`.
/// The `public_inputs` parameter let the caller specify certain public inputs (identified by their
/// indices) which should be given specific values. The rest will default to zero.
pub fn set_cyclic_recursion_data_target< pub fn set_cyclic_recursion_data_target<
F: RichField + Extendable<D>, F: RichField + Extendable<D>,
C: GenericConfig<D, F = F>, C: GenericConfig<D, F = F>,