Module 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

LigeroInputLayerDescription

The circuit description of a LigeroInputLayer. Stores the shape information of this layer.

Type Aliases

LigeroCommitment

The Ligero commitment the prover sees, which contains more information than the verifier should see.

LigeroInputLayerDescriptionWithOptionalProverPrecommit

Type alias for Ligero input layer description + optional precommit, to be used on the prover’s end.

LigeroInputLayerDescriptionWithOptionalVerifierPrecommit

Type alias for Ligero input layer description + optional precommit, to be used on the verifier’s end.

LigeroRoot

The Ligero commitment the prover sends the verifier (adds to transcript) which is the commitment to the root.