Module hash

Functions

execute_poseidon2_permutation_opcode 🔒

execute_sha_256_permutation_opcode 🔒

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.