Module hotshot_types::vid

This module provides:

• an opaque constructor vid_scheme that returns a new instance of a VID scheme.
• type aliases VidCommitment, VidCommon, VidShare for [VidScheme] assoc types.

Purpose: the specific choice of VID scheme is an implementation detail. This crate and all downstream crates should talk to the VID scheme only via the traits exposed here.

Structs

• KZG_SRS 🔒
  SRS comment
• LargeRangeProofType
  Newtype wrapper for a large payload range proof.
• SmallRangeProofType
  Newtype wrapper for a small payload range proof.
• VidSchemeType
  Newtype wrapper for a VID scheme type that impls [VidScheme], [PayloadProver], [Precomputable].

Functions

• stmt_conversion 🔒
  Convert a [Statement<'_, VidSchemeType>] to a [Statement<'_, Advz>].
• vid_disperse_conversion 🔒
  Convert a [VidDisperse<Advz>] to a [VidDisperse<VidSchemeType>].
• vid_scheme
  VID scheme constructor.

Type Aliases

• Advz 🔒
  Internal Jellyfish VID scheme
• E 🔒
  Private type alias for the EC pairing type parameter for Advz.
• H 🔒
  Private type alias for the hash type parameter for Advz.
• VidCommitment
  VID commitment type
• VidCommon
  VID common type
• VidPrecomputeData
  VID PrecomputeData type
• VidShare
  VID share type