Module errors

Source
Expand description

§Error: Error Types for Zero-Knowledge Proofs.

This module defines the Error enum, which enumerates the possible failure modes encountered during the execution of interactive or non-interactive Sigma protocols.

These errors include:

  • Failed proof verification,
  • Mismatched parameter lengths (e.g., during batch verification),
  • Access to unassigned group variables in constraint systems.

Enums§

Error
Represents an error encountered during the execution of a Sigma protocol.