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
• count_is
  To update the arguments to count_is!, run cargo test with the UPDATE_COUNT flag set to the name of the file containing the macro invocation. e.g. `UPDATE_COUNT=boolean cargo test See https://github.com/AleoHQ/snarkVM/pull/1688 for more details.
• count_less_than
  To update the arguments to count_less_than!, run cargo test with the UPDATE_COUNT flag set to the name of the file containing the macro invocation. e.g. `UPDATE_COUNT=boolean cargo test See https://github.com/AleoHQ/snarkVM/pull/1688 for more details.
• 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.