Module aleo_wasm::programs::execution

Re-exports

• pub use super::*;

Structs

• Execution
  Execution of an Aleo program.

Functions

• verify_function_execution
  Verify an execution with a single function and a single transition. Executions with multiple transitions or functions will fail to verify. Also, this does not verify that the state root of the execution is included in the Aleo Network ledger.