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.