Crate circom_witness_rs

Modules§

custom: Process-local native replacements for witness DAG regions and dynamic Circom functions, plus deterministic seed/BLAKE3 corpus recording and replay against the portable graph.
graph
profile: Deterministic benchmark summaries and flamegraph-like execution profiles.

Graph
HashSignalInfo
WitnessEvaluator: Stateful evaluator for repeated witnesses from the same graph.

calculate_witness: Calculate witness based on serialized graph and inputs
get_input_mapping: Calculates the position of the given signal in the inputs buffer
get_inputs_buffer: Allocates inputs vec with position 0 set to 1
get_inputs_size: Calculates the number of needed inputs
init_graph: Loads either the current graph format or an unversioned v0.3.0-and-earlier graph.
populate_inputs: Sets all provided inputs given the mapping and inputs buffer
try_get_input_mapping: Fallible variant of get_input_mapping for command-line tools and untrusted input objects.