|
1 | 1 | use crate::{ |
2 | | - group::{Element, Group, MerkleProof, EMPTY_ELEMENT}, |
| 2 | + MAX_TREE_DEPTH, MIN_TREE_DEPTH, |
| 3 | + group::{EMPTY_ELEMENT, Element, Group, MerkleProof}, |
3 | 4 | identity::Identity, |
4 | 5 | utils::{download_zkey, hash, to_big_uint, to_element}, |
5 | 6 | witness::dispatch_witness, |
6 | | - MAX_TREE_DEPTH, MIN_TREE_DEPTH, |
7 | 7 | }; |
8 | | -use anyhow::{bail, Ok, Result}; |
| 8 | +use anyhow::{Ok, Result, bail}; |
9 | 9 | use circom_prover::{ |
| 10 | + CircomProver, |
10 | 11 | prover::{ |
11 | | - circom::{self, CURVE_BN254, G1, G2, PROTOCOL_GROTH16}, |
12 | 12 | CircomProof, ProofLib, PublicInputs, |
| 13 | + circom::{self, CURVE_BN254, G1, G2, PROTOCOL_GROTH16}, |
13 | 14 | }, |
14 | 15 | witness::WitnessFn, |
15 | | - CircomProver, |
16 | 16 | }; |
17 | 17 | use num_bigint::BigUint; |
18 | | -use num_traits::{identities::One, Zero}; |
| 18 | +use num_traits::{Zero, identities::One}; |
19 | 19 | use std::{collections::HashMap, str::FromStr, time::Instant}; |
20 | 20 |
|
21 | 21 | pub type PackedGroth16Proof = [BigUint; 8]; |
|
0 commit comments