Crate snarkvm_circuit_environment

Re-exports

pub use circuit::*;

pub use environment::*;

pub use helpers::*;

pub use macros::*;

pub use traits::*;

Modules

circuit

environment

helpers

macros

prelude

traits

Macros

assert_count

Asserts the count for a given operation and case, and ensure the circuit is satisfied.

assert_count_fails

Asserts the count for a given operation and case, and ensure the circuit is NOT satisfied.

assert_output_mode

Asserts the output mode for a given operation and case.

assert_scope

assert_scope_fails

count

output_mode

print_scope

rename_selfs

scope

witness

The witness! macro is a closure that takes in a list of circuits, eject the value of each circuit, and uses it in the subsequent code block.

witness_mode

The witness_mode! macro returns the expected mode given a list of circuits.