Module prio::vdaf

Verifiable Distributed Aggregation Functions (VDAFs) as described in [draft-irtf-cfrg-vdaf-08].

Modules

• dummytest-util
  Implementation of a dummy VDAF which conforms to the specification in draft-irtf-cfrg-vdaf-06 but does nothing. Useful for testing.
• poplar1crypto-dependencies and experimental
  Implementation of Poplar1 as specified in [draft-irtf-cfrg-vdaf-08].
• prio2crypto-dependencies and experimental
  Backwards-compatible port of the ENPA Prio system to a VDAF.
• prio3
  Implementation of the Prio3 VDAF [draft-irtf-cfrg-vdaf-08].
• prio3_testtest-util
  Tools for evaluating Prio3 test vectors.
• test_utilstest-util
  Utilities for testing VDAFs.
• xof
  Implementations of XOFs specified in [draft-irtf-cfrg-vdaf-08].

Structs

• AggregateShare
  An aggregate share comprised of a vector of field elements.
• OutputShare
  An output share comprised of a vector of field elements.

Enums

• PrepareTransition
  A state transition of an Aggregator during the Prepare process.
• Share
  An additive share of a vector of field elements.
• VdafError
  Errors emitted by this module.

Traits

• Aggregatable
  An aggregate share resulting from aggregating output shares together that can merged with aggregate shares of the same type.
• Aggregator
  The Aggregator’s role in the execution of a VDAF.
• AggregatorWithNoiseexperimental
  Aggregator that implements differential privacy with Aggregator-side noise addition.
• Client
  The Client’s role in the execution of a VDAF.
• Collector
  The Collector’s role in the execution of a VDAF.
• Vdaf
  The base trait for VDAF schemes. This trait is inherited by traits Client, Aggregator, and Collector, which define the roles of the various parties involved in the execution of the VDAF.