Crate snarkvm_synthesizer 

Re-exports

pub use snarkvm_synthesizer_process as process;

pub use snarkvm_synthesizer_program as program;

pub use snarkvm_synthesizer_snark as snark;

pub use vm::*;

Modules

prelude

vm

Macros

cast_mut_ref

A helper macro to downcast a $variable to &mut $object<$network>.

cast_ref

A helper macro to downcast a $variable to $object<$network>.

convert

A helper macro to dedup the Network trait and Aleo trait and process its given logic.

process

A helper macro to dedup the Network trait and Aleo trait and process its given logic.

Structs

ArgumentLocator

A locator for a function argument of the form {is_input}/{index}.

Authorization

CallMetrics

Process

Restrictions

A registry of program execution restrictions for the Aleo network.

Stack

Trace

Enums

BlockRange

Command

Instruction

Type Aliases

Closure

Finalize

Function

Program