Function sunscreen_zkp_backend::jit_verifier

pub fn jit_verifier<U>(
    prog: &CompiledZkpProgram,
    constant_inputs: &[U::BackendField],
    public_inputs: &[U::BackendField]
) -> Result<ExecutableZkpProgram>where
    U: FieldSpec,

Just in time compile a CompiledZkpProgram into an ExecutableZkpProgram for verifying proofs.

Remarks

This version doesn’t compute hidden inputs, as the verifier doesn’t know them.