pub fn verify_state_proof( roots: &[[u8; 32]], leaves: &[[u8; 32]], address_roots: &[[u8; 32]], addresses: &[[u8; 32]], compressed_proof: &CompressedProof, ) -> Result<()>