Expand description
Nodes that represent inputs to a circuit in the circuit DAG.
Modules§
- compile_
inputs - The module which contains functions that combine input data in order to create one layerwise bookkeeping table.
Structs§
- Input
Layer Node - A node that represents an InputLayer
- Input
Layer Node Data - A struct that represents input data that will be used to instantiate a [remainder::prover::GKRCircuitDescription] in order to generate a full circuit.
- Input
Shred - A struct that represents the description of the data (shape in terms of
num_vars) that will be added to an InputLayerNode. - Input
Shred Data - A struct that represents data that corresponds to an InputShred.
Enums§
- Hyrax
InputD Type - An enum representing the data type that can go in a Hyrax input layer, if it is not scalar field.