acvm::pwg::blackbox::hash

Function solve_generic_256_hash_opcode

Source
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.