Module commit

Structs

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

Functions

• commit_app_exe
• generate_leaf_committed_exe