Documentation Index
Fetch the complete documentation index at: https://docs.starknet.io/llms.txt
Use this file to discover all available pages before exploring further.
A trait for retrieving output values from a circuit evaluation.
This trait provides methods to access the output values of a circuit after
successful evaluation.
Signature
pub trait CircuitOutputsTrait
Examples
let a = CircuitElement::> {};
let b = CircuitElement::> {};
let modulus = TryInto::::try_into([2, 0, 0, 0]).unwrap();
let circuit = (a,b).new_inputs()
.next([10, 0, 0, 0])
.next([11, 0, 0, 0])
.done()
.eval(modulus)
.unwrap();
let a_mod_2 = circuit.get_output(a); // Returns the output value of `a mod 2`
let b_mod_2 = circuit.get_output(b); // Returns the output value of `b mod 2`
assert!(a_mod_2 == 0.into());
assert!(b_mod_2 == 1.into());
Trait functions
get_output
Gets the output value for a specific circuit element.
Signature
fn get_output(
self: Outputs, output: OutputElement,
) -> u384
Arguments
output - The circuit element to get the output for
Returns
The output value as a u384
