pub(super) fn solve_generic_256_hash_opcode<F: AcirField>(
initial_witness: &mut WitnessMap<F>,
inputs: &[FunctionInput<F>],
var_message_size: Option<&FunctionInput<F>>,
outputs: &[Witness; 32],
hash_function: fn(data: &[u8]) -> Result<[u8; 32], BlackBoxResolutionError>,
) -> Result<(), OpcodeResolutionError<F>>
Expand description
Attempts to solve a 256 bit hash function opcode.
If successful, initial_witness
will be mutated to contain the new witness assignment.