[][src]Module zkinterface::zkinterface_generated::zkinterface

Structs

BilinearConstraint
BilinearConstraintArgs
BilinearConstraintBuilder
Circuit
CircuitArgs
CircuitBuilder
KeyValue
KeyValueArgs
KeyValueBuilder
MessageUnionTableOffset
R1CSConstraints
R1CSConstraintsArgs
R1CSConstraintsBuilder
Root
RootArgs
RootBuilder
Variables
VariablesArgs
VariablesBuilder
Witness
WitnessArgs
WitnessBuilder

Enums

BilinearConstraintOffset

A single R1CS constraint between variables.

CircuitOffset

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.

KeyValueOffset

Generic key-value for custom attributes.

Message
R1CSConstraintsOffset

R1CSConstraints represents constraints to be added to the constraint system.

RootOffset
VariablesOffset

A description of multiple variables.

WitnessOffset

Witness represents an assignment of values to variables.

Constants

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