Module binius_core::protocols::zerocheck

The zerocheck interactive reduction, as defined in DP23, Section 4.

Structs

• ZerocheckBatchProveOutput
• ZerocheckClaim
  A claim for the zerocheck interactive reduction.
• ZerocheckProveOutput
• ZerocheckProver
  A zerocheck protocol prover.
• ZerocheckProversState

Enums

• Error
• VerificationError

Functions

• batch_prove
  Prove a batched zerocheck instance.
• batch_verify
  Verify a batched zerocheck instance.
• prove
  Prove a zerocheck to evalcheck reduction. FS is the domain type.
• validate_witness
• verify
  Verify a zerocheck to evalcheck reduction.

Type Aliases

• ZerocheckBatchProof
• ZerocheckProof
• ZerocheckWitness
• ZerocheckWitnessTypeErased