pub fn verify_and_extract_context<'a, T: Pod + ZkProofData<U>, U: Pod>(
account_info_iter: &mut Iter<'_, AccountInfo<'a>>,
proof_instruction_offset: i64,
sysvar_account_info: Option<&AccountInfo<'a>>,
) -> Result<U, ProgramError>
Expand description
Verify zero-knowledge proof and return the corresponding proof context.