Skip to content

Commit 4580057

Browse files
committed
Define pickles_preproc mod
1 parent 4ba0e54 commit 4580057

11 files changed

Lines changed: 6 additions & 912 deletions

File tree

operator/mina/lib/src/lib.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@ use kimchi::{
1313
verifier_index::VerifierIndex,
1414
};
1515

16+
mod pickles_preproc;
17+
1618
const MAX_PROOF_SIZE: usize = 10 * 1024;
1719
const MAX_PUB_INPUT_SIZE: usize = 50 * 1024;
1820

0 commit comments

Comments
 (0)