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

fix

Browse Source
This commit is contained in:
Daniel Lubarov 2022-11-29 12:39:17 -08:00
parent c3ae52f5b0
commit ad58dcbc0e
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -272,6 +272,7 @@ where
#[cfg(test)]
mod tests {
use anyhow::Result;
use hashbrown::HashMap;
use itertools::Itertools;
use crate::field::extension::Extendable;
@ -387,12 +388,12 @@ mod tests {
common_data: &cyclic_circuit_data.common,
};
let initial_hash = [F::ZERO, F::ONE, F::TWO, F::from_canonical_usize(3)];
let initial_hash_pis = initial_hash.into_iter().enumerate().collect_vec();
let initial_hash_pis = initial_hash.into_iter().enumerate().collect();
set_cyclic_recursion_data_target(
&mut pw,
&cyclic_data_target,
&cyclic_recursion_data,
&initial_hash_pis,
initial_hash_pis,
)?;
let proof = cyclic_circuit_data.prove(pw)?;
check_cyclic_proof_verifier_data(
@ -413,7 +414,7 @@ mod tests {
&mut pw,
&cyclic_data_target,
&cyclic_recursion_data,
&[],
HashMap::new(),
)?;
let proof = cyclic_circuit_data.prove(pw)?;
check_cyclic_proof_verifier_data(
@ -434,7 +435,7 @@ mod tests {
&mut pw,
&cyclic_data_target,
&cyclic_recursion_data,
&[],
HashMap::new(),
)?;
let proof = cyclic_circuit_data.prove(pw)?;
check_cyclic_proof_verifier_data(