fn write_digest_to_outputs<F: AcirField>(
initial_witness: &mut WitnessMap<F>,
outputs: &[Witness; 32],
digest: [u8; 32],
) -> Result<(), OpcodeResolutionError<F>>
Expand description
Writes a digest
to the WitnessMap
at witness indices outputs
.