Module hyperkzg

An implementation of hyper-kzg PCS. This is a wrapper around nova’s hyper-kzg implementation.

Structs

• HyperKZGCommitment
  A newtype wrapper of nova’s hyperkzg commitment. This is the commitment type used in the hyperkzg proof system.
• HyperKZGEngine
  The HyperKZG engine that implememts nova’s Engine trait.

Type Aliases

• BNScalar
  The scalar used in the HyperKZG PCS. This is the BN254 scalar.
• HyperKZGCommitmentEvaluationProof
  The evaluation proof for the HyperKZG PCS.