Module zkinterface::zkinterface_generated::zkinterface [−][src]
Structs
| BilinearConstraint | A single R1CS constraint between variables. |
| BilinearConstraintArgs | |
| BilinearConstraintBuilder | |
| CircuitHeader | A description of a circuit or sub-circuit. This can be a complete circuit ready for proving, or a part of a circuit being built. |
| CircuitHeaderArgs | |
| CircuitHeaderBuilder | |
| Command | Optional: Command messages can be used to request actions from the receiver. This makes it possible to write code that works in different environments. Commands and parameters can be passed over the same byte stream as other messages; if so Command must be the first message. This reduces the need for environment-specific methods (it can replace CLI --flags, etc). |
| CommandArgs | |
| CommandBuilder | |
| ConstraintSystem | ConstraintSystem represents constraints to be added to the constraint system. |
| ConstraintSystemArgs | |
| ConstraintSystemBuilder | |
| KeyValue | Generic key-value for custom attributes. The key must be a string. The value can be one of several types. |
| KeyValueArgs | |
| KeyValueBuilder | |
| MessageUnionTableOffset | |
| Root | |
| RootArgs | |
| RootBuilder | |
| Variables | A description of multiple variables. |
| VariablesArgs | |
| VariablesBuilder | |
| Witness | Witness represents an assignment of values to variables. |
| WitnessArgs | |
| WitnessBuilder |
Enums
| BilinearConstraintOffset | |
| CircuitHeaderOffset | |
| CommandOffset | |
| ConstraintSystemOffset | |
| KeyValueOffset | |
| Message | |
| RootOffset | |
| VariablesOffset | |
| WitnessOffset |
Constants
| ENUM_MAX_MESSAGE | |
| ENUM_MIN_MESSAGE | |
| ENUM_NAMES_MESSAGE | |
| ENUM_VALUES_MESSAGE | |
| ROOT_EXTENSION | |
| ROOT_IDENTIFIER |
Functions
| enum_name_message | |
| finish_root_buffer | |
| finish_size_prefixed_root_buffer | |
| get_root_as_root | |
| get_size_prefixed_root_as_root | |
| root_buffer_has_identifier | |
| root_size_prefixed_buffer_has_identifier |