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

use data.verify

Browse Source
This commit is contained in:
Nicholas Ward 2022-09-22 06:50:00 -07:00
parent 38d6f98f87
commit 6d81968bbb
2 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
plonky2/examples/fibonacci.rs
View File

@ -4,7 +4,6 @@ use plonky2::iop::witness::PartialWitness;
use plonky2::plonk::circuit_builder::CircuitBuilder;
use plonky2::plonk::circuit_data::CircuitConfig;
use plonky2::plonk::config::{GenericConfig, PoseidonGoldilocksConfig};
use plonky2::plonk::verifier::verify;
fn main() -> Result<()> {
const D: usize = 2;
@ -31,7 +30,6 @@ fn main() -> Result<()> {
builder.connect(fib_100_target, cur_target);
let data = builder.build::<C>();
let proof = data.prove(pw)?;
println!(
@ -39,5 +37,5 @@ fn main() -> Result<()> {
proof.public_inputs[0]
);
verify(proof, &data.verifier_only, &data.common)
data.verify(proof)
}

2
plonky2/src/plonk/verifier.rs
View File

@ -12,7 +12,7 @@ use crate::plonk::validate_shape::validate_proof_with_pis_shape;
use crate::plonk::vanishing_poly::eval_vanishing_poly;
use crate::plonk::vars::EvaluationVars;
pub fn verify<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>(
pub(crate) fn verify<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>(
proof_with_pis: ProofWithPublicInputs<F, C, D>,
verifier_data: &VerifierOnlyCircuitData<C, D>,
common_data: &CommonCircuitData<F, C, D>,