acvm::compiler::validator

Function validate_witness

Source 
pub fn validate_witness<F: AcirField>(
    backend: &impl BlackBoxFunctionSolver<F>,
    witness_map: WitnessMap<F>,
    circuit: &Circuit<F>,
) -> Result<(), OpcodeResolutionError<F>>