Module commit 

Structs

AppExecutionCommit

AppExecutionCommit has all the commitments users should check against the final proof.

CommitBytes

Wrapper for an array of big-endian bytes, representing an unsigned big integer. Each commit can be converted to a Bn254Fr using the trivial identification as natural numbers or into a u32 digest by decomposing the big integer base-F::MODULUS.

VmCommittedExe

Note: this struct stores the program ROM twice: once in VmExe and once as a cached trace matrix trace.

Functions

commit_app_exe