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

fix

Browse Source
This commit is contained in:
Daniel Lubarov 2022-11-29 12:39:41 -08:00
parent ad58dcbc0e
commit 3515fbddac
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
plonky2/src/recursion/conditional_recursive_verifier.rs
View File

@ -317,6 +317,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
#[cfg(test)] #[cfg(test)]
mod tests { mod tests {
use anyhow::Result; use anyhow::Result;
use hashbrown::HashMap;
use super::*; use super::*;
use crate::field::types::Sample; use crate::field::types::Sample;
@ -350,7 +351,7 @@ mod tests {
// Generate dummy proof with the same `CommonCircuitData`. // Generate dummy proof with the same `CommonCircuitData`.
let dummy_data = dummy_circuit(&data.common); let dummy_data = dummy_circuit(&data.common);
let dummy_proof = dummy_proof(&dummy_data, &[])?; let dummy_proof = dummy_proof(&dummy_data, HashMap::new())?;
// Conditionally verify the two proofs. // Conditionally verify the two proofs.
let mut builder = CircuitBuilder::<F, D>::new(config); let mut builder = CircuitBuilder::<F, D>::new(config);

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

@ -273,7 +273,6 @@ where
mod tests { mod tests {
use anyhow::Result; use anyhow::Result;
use hashbrown::HashMap; use hashbrown::HashMap;
use itertools::Itertools;
use crate::field::extension::Extendable; use crate::field::extension::Extendable;
use crate::field::types::{Field, PrimeField64}; use crate::field::types::{Field, PrimeField64};