pub fn verify_proof( depth: usize, id_commitment: Field, nullifier_hash: Field, signal_hash: Field, ext_nullifier_hash: Field, proof: &Proof, ) -> Result<bool, ProofError>