Module hyperkzg

Implementation of HyperKZG PCS for usage with proof-of-sql.

The prover side of this implementation simply wraps around nova’s hyper-kzg implementation.

While the Commitment for this commitment scheme is always available, the corresponding CommitmentEvaluationProof is gated behind the hyperkzg_proof feature flag. This is done to preserve no_std compatibility for no_std commitment generation apps.

Structs

HyperKZGCommitment

This is the commitment type used in the hyperkzg proof system.

Functions

deserialize_flat_compressed_hyperkzg_public_setup_from_reader

Deserialize a HyperKZGPublicSetupOwned from any Read implementor.

deserialize_flat_compressed_hyperkzg_public_setup_from_slice

Deserialize a HyperKZGPublicSetupOwned from a byte slice.

Type Aliases

BNScalar

The scalar used in the HyperKZG PCS. This is the BN254 scalar.

HyperKZGPublicSetup

PublicSetup type associated with the HyperKZG commitment scheme.

HyperKZGPublicSetupOwned

When borrowed, PublicSetup type associated with the HyperKZG commitment scheme.