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.

Functions

commit_app_exe