Crate snarkvm_circuit_environment

Source

Re-exports§

pub use canary_circuit::*;
pub use circuit::*;
pub use environment::*;
pub use helpers::*;
pub use macros::*;
pub use testnet_circuit::*;
pub use traits::*;

Modules§

canary_circuit
circuit
environment
helpers
macros
prelude
testnet_circuit
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/ProvableHQ/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/ProvableHQ/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.