openvm_circuit::system::program::trace

Function compute_exe_commit

Source 
pub fn compute_exe_commit<F: PrimeField32>(
    hasher: &Poseidon2Hasher<F>,
    program_commit: &[F; 8],
    init_memory_root: &[F; 8],
    pc_start: F,
) -> [F; 8]
Expand description

Computes a Merklelized hash of:

  • Program code commitment (commitment of the cached trace)
  • Merkle root of the initial memory
  • Starting program counter (pc_start)

The Merklelization uses Poseidon2Hasher as a cryptographic hash function (for the leaves) and a cryptographic compression function (for internal nodes).