Function finalize_batch 

pub fn finalize_batch(
    inputs: &[&[u8]],
    info: &[u8],
    states: &[BlindState],
    blinded: &[[u8; 33]],
    evaluated: &[[u8; 33]],
    proof: Option<&[u8; 64]>,
    out: &mut [[u8; 32]],
) -> Result<()>

Unblind a batch of evaluations, writing one output for each input.

In the verifiable modes the server’s proof is checked first, over the whole batch, and a bad proof is AuthenticationFailed with nothing written. Every state must come from blind in the same mode with the same key and info.