Crate snarkvm_synthesizer
source ·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
Macros
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.
A helper macro to downcast a
$variable
to $object<$network>
.Creates a match statement that evaluates the operation.
Creates a match statement that executes the operation.
Creates a match statement that applies the given operation for each instruction.
Creates a new
struct
that implements the Operation
trait.Creates a match statement that returns the output type given the input types.
A helper macro to dedup the
Network
trait and Aleo
trait and process its given logic.