Module commit

Structs

AppExecutionCommit

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

Functions

commit_app_exe

committed_exe_as_bn254

generate_leaf_committed_exe