Module claims 

Utilities involving the claims a layer makes.

Modules

claim_aggregation

A set of functions providing the interface for perfoming claim aggregation.

claim_group

A struct for managing groups of claims originating from the same layer.

Structs

Claim

A claim with source/destination layer information. This is a wrapper around RawClaim which holds a point \in F^n and an evaluation \in F. The claim asserts that the layer MLE \tilde{V} : F^n -> F of the layer with ID to_layer_id evaluates to evaluation when computed on point: tilde{V}(point) == result.

ClaimTracker

Keeps track of claims made on layers by mapping LayerIds to a collection of Claims made on that layer. This is a wrapper type around a HashMap with a more convenient interface for inserting and querying claims.

RawClaim

A claim without any source/destination layer information. See related Claim wrapper. It contains a point \in F^n along with the evaluation \in F that an associated layer MLE is expected to evaluate to. In other words, if \tilde{V} : F^n -> F is the MLE of a layer, then this claim asserts: \tilde{V}(point) == result.

Enums

ClaimError

Errors to do with aggregating and collecting claims.