proof_of_sql::proof_primitive

Module hyperkzg

Source
Expand description

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.

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.