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

New recursion folder

Browse Source
This commit is contained in:
wborgeaud 2022-10-13 14:39:08 +02:00
parent 66a0e77251
commit 29e0aef376
5 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
plonky2/src/lib.rs
View File

@ -18,4 +18,5 @@ pub mod gates;
pub mod hash;
pub mod iop;
pub mod plonk;
pub mod recursion;
pub mod util;

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

@ -1,6 +1,5 @@
pub mod circuit_builder;
pub mod circuit_data;
pub mod conditional_recursive_verifier;
pub mod config;
pub(crate) mod copy_constraint;
mod get_challenges;
@ -8,7 +7,6 @@ pub(crate) mod permutation_argument;
pub mod plonk_common;
pub mod proof;
pub mod prover;
pub mod recursive_verifier;
mod validate_shape;
pub(crate) mod vanishing_poly;
pub mod vars;

0
plonky2/src/plonk/conditional_recursive_verifier.rs → plonky2/src/recursion/conditional_recursive_verifier.rs
View File

2
plonky2/src/recursion/mod.rs Normal file
View File

@ -0,0 +1,2 @@
pub mod conditional_recursive_verifier;
pub mod recursive_verifier;

2
plonky2/src/plonk/recursive_verifier.rs → plonky2/src/recursion/recursive_verifier.rs
View File

@ -494,7 +494,7 @@ mod tests {
pw.set_bool_target(condition, false);
let (dummy_proof, dummy_data) =
crate::plonk::conditional_recursive_verifier::dummy_proof(&cd)?;
crate::recursion::conditional_recursive_verifier::dummy_proof(&cd)?;
let pt0 = builder.add_virtual_proof_with_pis(&cd);
let pt1 = builder.add_virtual_proof_with_pis(&cd);