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

Change visibility

Browse Source
This commit is contained in:
wborgeaud 2022-02-14 10:12:24 +01:00
parent 3db9c775b4
commit cff39c5550
2 changed files with 4 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
plonky2/src/plonk/circuit_data.rs
View File

@ -96,9 +96,9 @@ impl CircuitConfig {
/// Circuit data required by the prover or the verifier.
pub struct CircuitData<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize> {
pub prover_only: ProverOnlyCircuitData<F, C, D>,
pub verifier_only: VerifierOnlyCircuitData<C, D>,
pub common: CommonCircuitData<F, C, D>,
pub(crate) prover_only: ProverOnlyCircuitData<F, C, D>,
pub(crate) verifier_only: VerifierOnlyCircuitData<C, D>,
pub(crate) common: CommonCircuitData<F, C, D>,
}
impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>

10
starky/src/fibonacci_stark.rs
View File

@ -108,7 +108,6 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> 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::<C>();
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)
}