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

PR feedback

Browse Source
This commit is contained in:
wborgeaud 2021-12-20 19:13:12 +01:00
parent fd03a187ce
commit 514cca7ebb
1 changed files with 10 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
src/plonk/recursive_verifier.rs
View File

@ -492,52 +492,28 @@ mod tests {
fn test_recursive_verifier_multi_hash() -> Result<()> {
init_logger();
const D: usize = 2;
type C = PoseidonGoldilocksConfig;
type PC = PoseidonGoldilocksConfig;
type GC = GMiMCGoldilocksConfig;
type KC = KeccakGoldilocksConfig;
type F = <C as GenericConfig<D>>::F;
type F = <PC as GenericConfig<D>>::F;
let config = CircuitConfig::standard_recursion_config();
let (proof, vd, cd) = dummy_proof::<F, C, D>(&config, 4_000)?;
let (proof, vd, cd) = dummy_proof::<F, PC, D>(&config, 4_000)?;
let (proof, vd, cd) =
recursive_proof::<F, C, C, D>(proof, vd, cd, &config, &config, Some(13), false, false)?;
recursive_proof::<F, PC, PC, D>(proof, vd, cd, &config, &config, None, false, false)?;
test_serialization(&proof, &cd)?;
let (proof, vd, cd) = recursive_proof::<F, GC, C, D>(
proof,
vd,
cd,
&config,
&config,
Some(13),
false,
false,
)?;
let (proof, vd, cd) =
recursive_proof::<F, GC, PC, D>(proof, vd, cd, &config, &config, None, false, false)?;
test_serialization(&proof, &cd)?;
let (proof, vd, cd) = recursive_proof::<F, GC, GC, D>(
proof,
vd,
cd,
&config,
&config,
Some(13),
false,
false,
)?;
let (proof, vd, cd) =
recursive_proof::<F, GC, GC, D>(proof, vd, cd, &config, &config, None, false, false)?;
test_serialization(&proof, &cd)?;
let (proof, _vd, cd) = recursive_proof::<F, KC, GC, D>(
proof,
vd,
cd,
&config,
&config,
Some(13),
false,
false,
)?;
let (proof, _vd, cd) =
recursive_proof::<F, KC, GC, D>(proof, vd, cd, &config, &config, None, false, false)?;
test_serialization(&proof, &cd)?;
Ok(())