Modules§
Structs§
Constants§
Functions§
- 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 the graph from bytes
- populate_
inputs - Sets all provided inputs given the mapping and inputs buffer