Module hash

Functions

• get_hash_input 🔒
  Reads the hash function input from a WitnessMap.
• solve_generic_256_hash_opcode 🔒
  Attempts to solve a 256 bit hash function opcode. If successful, initial_witness will be mutated to contain the new witness assignment.
• solve_poseidon2_permutation_opcode 🔒
• solve_sha_256_permutation_opcode 🔒
• to_u32_array 🔒
• write_digest_to_outputs 🔒
  Writes a digest to the WitnessMap at witness indices outputs.