Crate snarkvm_synthesizer

Re-exports

pub use block::*;

pub use coinbase_puzzle::*;

pub use process::*;

pub use program::*;

pub use snark::*;

pub use store::*;

pub use vm::*;

Modules

block

coinbase_puzzle

process

program

snark

store

vm

Macros

atomic_write_batch

This macro executes the given block of operations as a new atomic write batch IFF there is no atomic write batch in progress yet. This ensures that complex atomic operations consisting of multiple lower-level operations - which might also need to be atomic if executed individually - are executed as a single large atomic operation regardless.

cast_ref

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

cow_to_cloned

cow_to_copied

evaluate

Creates a match statement that evaluates the operation.

execute

Creates a match statement that executes the operation.

instruction

Creates a match statement that applies the given operation for each instruction.

operation

Creates a new struct that implements the Operation trait.

output_type

Creates a match statement that returns the output type given the input types.

process

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