Module output_layer 

An GKR Output Layer is a “virtual layer”. This means it is not assigned a fresh LayerId. Instead, it is associated with some other intermediate/input layer whose LayerId it inherits. The MLE it stores is a restriction of an MLE defining its associated layer.

Structs

OutputLayer

Output layers are “virtual layers” in the sense that they are not assigned a separate LayerId. Instead they are associated with the ID of an existing intermediate/input layer on which they generate claims for. Contains an MleEnum which can be either a DenseMle or a ZeroMle.

OutputLayerDescription

The circuit description type for the defaul Output Layer consisting of an MLE.

VerifierOutputLayer

The verifier counterpart type for the defaul Output Layer consisting of an MLE.

Enums

OutputLayerError

Errors to do with working with a type implementing OutputLayer.

VerifierOutputLayerError

Errors to do with working with a type implementing VerifierOutputLayer.