Module input_layer 

InputLayer and InputLayerDescription structs, as well as public- and ligero- input layers and fiat-shamir challenges.

Modules

fiat_shamir_challenge

An input layer in order to generate random challenges for Fiat-Shamir. A part of the input layer that is random and secured through F-S

ligero_input_layer

An input layer in which the input data is committed to using the Ligero PCS. An InputLayer that will have it’s claim proven with a Ligero Opening Proof.

Structs

InputLayer

The prover’s view of an input layer during circuit proving (undifferentiated as to type). Note that, being undifferentiated, no functions for adding values or commitments to the transcript are provided.

InputLayerDescription

The verifier’s view of an input layer during circuit proving, containing the shape information of this input layer.