Enum ProofSystemError

pub enum ProofSystemError {
    UnequalWitnessAndStatementCount(usize, usize),
    WitnessIncompatibleWithStatement(usize, String, String),
    ProofIncompatibleWithStatement(usize, String, String),
    ProofIncompatibleWithBBSPlusProtocol,
    ProofIncompatibleWithSchnorrProtocol,
    ProofIncompatibleWithAccumulatorMembershipProtocol,
    ProofIncompatibleWithAccumulatorNonMembershipProtocol,
    ProofIncompatibleWithSaverProtocol,
    ProofIncompatibleWithBoundCheckProtocol,
    BBSPlusProtocolInvalidMessageCount(usize, usize),
    SigProtocolInvalidBlindingIndex(usize),
    SigProtocolNonSequentialMessageIndices(InvalidPair<usize>),
    SigProtocolMessageIndicesMustStartFromZero(usize),
    PSProtocolInvalidMessageCount(usize, usize),
    PSProtocolNonSequentialMessageIndices(InvalidPair<usize>),
    PSProtocolInvalidBlindingIndex(usize),
    PSProtocolInvalidMessageIndex(usize, usize),
    PSProtocolMessageIndicesMustStartFromZero(usize),
    SubProtocolNotReadyToGenerateChallenge(usize),
    SubProtocolAlreadyInitialized(usize),
    SubProtocolNotReadyToGenerateProof(usize),
    InvalidSetupParamsIndex(usize),
    TooManyCiphertexts(usize),
    NeitherParamsNorRefGiven(usize),
    IncompatibleBBSPlusSetupParamAtIndex(usize),
    IncompatiblePSSetupParamAtIndex(usize),
    IncompatiblePedCommSetupParamAtIndex(usize),
    IncompatibleAccumulatorSetupParamAtIndex(usize),
    IncompatibleSaverSetupParamAtIndex(usize),
    IncompatibleBoundCheckSetupParamAtIndex(usize),
    WitnessResponseNotEqual(usize, usize),
    Serialization(SerializationError),
    SchnorrError(SchnorrError),
    BBSPlusError(BBSPlusError),
    VBAccumError(VBAccumulatorError),
    InvalidProofSpec,
    InvalidStatement,
    InvalidWitnessEqualities(Vec<(usize, usize)>),
    UnsatisfiedWitnessEqualities(Vec<BTreeSet<(usize, usize)>>),
    UnsatisfiedStatements(usize, usize),
    InvalidStatementProofIndex(usize),
    SaverError(SaverError),
    SaverInequalChunkedCommitment,
    SaverInsufficientChunkedCommitmentResponses,
    SaverInequalChunkedCommitmentResponse,
    SaverSnarkProvingKeyNotProvided,
    SaverSnarkVerifyingKeyNotProvided,
    LegoGroth16Error(Error),
    LegoGroth16InequalResponse,
    LegoGroth16ProvingKeyNotProvided,
    LegoGroth16VerifyingKeyNotProvided,
    BoundCheckMaxNotGreaterThanMin,
    IncompatibleR1CSSetupParamAtIndex(usize),
    CircomError(CircomError),
    R1CSInsufficientPrivateInputs(usize, usize),
    InvalidWitnessEquality,
    WitnessAlreadyBeingRevealed(usize, usize),
    SnarckpackSrsNotProvided,
    NotASaverStatementProof,
    RandomizedPairingCheckFailed,
    SameStatementIdsFoundInMultipleAggregations(Vec<usize>),
    NoAggregateGroth16ProofFound,
    InvalidNumberOfAggregateGroth16Proofs(usize, usize),
    NotFoundAggregateGroth16ProofForRequiredStatements(usize, BTreeSet<usize>),
    NoAggregateLegoGroth16ProofFound,
    InvalidNumberOfAggregateLegoGroth16Proofs(usize, usize),
    NotFoundAggregateLegoGroth16ProofForRequiredStatements(usize, BTreeSet<usize>),
    PSSignaturePoKError(SignaturePoKError),
    UnsupportedValue(String),
    DifferentResponsesForSchnorrProtocolInBpp(usize),
    BulletproofsPlusPlus(BulletproofsPlusPlusError),
    SetMembershipBasedRangeProof(SmcRangeProofError),
    SmcParamsNotProvided,
    SchnorrProofContributionFailed(u32, SchnorrError),
    BBSPlusProofContributionFailed(u32, BBSPlusError),
    BBSProofContributionFailed(u32, BBSPlusError),
    VBAccumProofContributionFailed(u32, VBAccumulatorError),
    SaverProofContributionFailed(u32, SaverError),
    LegoSnarkProofContributionFailed(u32, Error),
    PSProofContributionFailed(u32, SignaturePoKError),
    BulletproofsPlusPlusProofContributionFailed(u32, BulletproofsPlusPlusError),
    SmcRangeProofContributionFailed(u32, SmcRangeProofError),
    DetachedVBAccumProofContributionFailed(u32, VBAccumulatorError),
    IncorrectEncryptedAccumulator,
    KBAccumProofContributionFailed(u32, VBAccumulatorError),
    KVACError(KVACError),
    BBDT16KVACProtocolInvalidMessageCount(usize, usize),
    BBDT16KVACProofContributionFailed(u32, KVACError),
    UnequalCiphertextChunksAndSchnorrResponses(usize, usize),
    UnequalResponseOfSaverCiphertextAndChunk(usize),
    ResponseForWitnessNotFoundForStatement(usize),
    NoResponseFoundForWitnessRef(usize, usize),
    MissingBlindingForStatementAtIndex(usize, usize),
    VerifiableEncryptionError(VerifiableEncryptionError),
    VerifiableEncryptionFailed(u32, VerifiableEncryptionError),
    NotALegoGroth16StatementProof,
    NotAVeTZ21StatementProof,
}

Variants

UnequalWitnessAndStatementCount(usize, usize)

WitnessIncompatibleWithStatement(usize, String, String)

ProofIncompatibleWithStatement(usize, String, String)

ProofIncompatibleWithBBSPlusProtocol

ProofIncompatibleWithSchnorrProtocol

ProofIncompatibleWithAccumulatorMembershipProtocol

ProofIncompatibleWithAccumulatorNonMembershipProtocol

ProofIncompatibleWithSaverProtocol

ProofIncompatibleWithBoundCheckProtocol

BBSPlusProtocolInvalidMessageCount(usize, usize)

SigProtocolInvalidBlindingIndex(usize)

SigProtocolNonSequentialMessageIndices(InvalidPair<usize>)

SigProtocolMessageIndicesMustStartFromZero(usize)

PSProtocolInvalidMessageCount(usize, usize)

PSProtocolNonSequentialMessageIndices(InvalidPair<usize>)

PSProtocolInvalidBlindingIndex(usize)

PSProtocolInvalidMessageIndex(usize, usize)

PSProtocolMessageIndicesMustStartFromZero(usize)

SubProtocolNotReadyToGenerateChallenge(usize)

SubProtocolAlreadyInitialized(usize)

SubProtocolNotReadyToGenerateProof(usize)

InvalidSetupParamsIndex(usize)

TooManyCiphertexts(usize)

NeitherParamsNorRefGiven(usize)

IncompatibleBBSPlusSetupParamAtIndex(usize)

IncompatiblePSSetupParamAtIndex(usize)

IncompatiblePedCommSetupParamAtIndex(usize)

IncompatibleAccumulatorSetupParamAtIndex(usize)

IncompatibleSaverSetupParamAtIndex(usize)

IncompatibleBoundCheckSetupParamAtIndex(usize)

WitnessResponseNotEqual(usize, usize)

This error indicates that some witnesses that were required to be equal are not equal

Serialization(SerializationError)

SchnorrError(SchnorrError)

BBSPlusError(BBSPlusError)

VBAccumError(VBAccumulatorError)

InvalidProofSpec

InvalidStatement

InvalidWitnessEqualities(Vec<(usize, usize)>)

Some of the witness equalities given for proof creation are invalid

UnsatisfiedWitnessEqualities(Vec<BTreeSet<(usize, usize)>>)

The proof did not satisfy all the witness equalities

UnsatisfiedStatements(usize, usize)

Statements were missing for some StatementProofs

InvalidStatementProofIndex(usize)

SaverError(SaverError)

SaverInequalChunkedCommitment

SaverInsufficientChunkedCommitmentResponses

SaverInequalChunkedCommitmentResponse

SaverSnarkProvingKeyNotProvided

SaverSnarkVerifyingKeyNotProvided

LegoGroth16Error(Error)

LegoGroth16InequalResponse

LegoGroth16ProvingKeyNotProvided

LegoGroth16VerifyingKeyNotProvided

BoundCheckMaxNotGreaterThanMin

IncompatibleR1CSSetupParamAtIndex(usize)

CircomError(CircomError)

R1CSInsufficientPrivateInputs(usize, usize)

InvalidWitnessEquality

WitnessAlreadyBeingRevealed(usize, usize)

Witness is being used a zero knowledge proof (bound check, accumulator, etc) while also being revealed. This shouldn’t be the case, ever.

SnarckpackSrsNotProvided

NotASaverStatementProof

RandomizedPairingCheckFailed

SameStatementIdsFoundInMultipleAggregations(Vec<usize>)

NoAggregateGroth16ProofFound

InvalidNumberOfAggregateGroth16Proofs(usize, usize)

NotFoundAggregateGroth16ProofForRequiredStatements(usize, BTreeSet<usize>)

NoAggregateLegoGroth16ProofFound

InvalidNumberOfAggregateLegoGroth16Proofs(usize, usize)

NotFoundAggregateLegoGroth16ProofForRequiredStatements(usize, BTreeSet<usize>)

PSSignaturePoKError(SignaturePoKError)

UnsupportedValue(String)

DifferentResponsesForSchnorrProtocolInBpp(usize)

For an arbitrary range proof, the response of both Schnorr protocols should be same

BulletproofsPlusPlus(BulletproofsPlusPlusError)

SetMembershipBasedRangeProof(SmcRangeProofError)

SmcParamsNotProvided

SchnorrProofContributionFailed(u32, SchnorrError)

BBSPlusProofContributionFailed(u32, BBSPlusError)

BBSProofContributionFailed(u32, BBSPlusError)

VBAccumProofContributionFailed(u32, VBAccumulatorError)

SaverProofContributionFailed(u32, SaverError)

LegoSnarkProofContributionFailed(u32, Error)

PSProofContributionFailed(u32, SignaturePoKError)

BulletproofsPlusPlusProofContributionFailed(u32, BulletproofsPlusPlusError)

SmcRangeProofContributionFailed(u32, SmcRangeProofError)

DetachedVBAccumProofContributionFailed(u32, VBAccumulatorError)

IncorrectEncryptedAccumulator

KBAccumProofContributionFailed(u32, VBAccumulatorError)

KVACError(KVACError)

BBDT16KVACProtocolInvalidMessageCount(usize, usize)

BBDT16KVACProofContributionFailed(u32, KVACError)

UnequalCiphertextChunksAndSchnorrResponses(usize, usize)

UnequalResponseOfSaverCiphertextAndChunk(usize)

ResponseForWitnessNotFoundForStatement(usize)

NoResponseFoundForWitnessRef(usize, usize)

MissingBlindingForStatementAtIndex(usize, usize)

VerifiableEncryptionError(VerifiableEncryptionError)

VerifiableEncryptionFailed(u32, VerifiableEncryptionError)

NotALegoGroth16StatementProof

NotAVeTZ21StatementProof

Trait Implementations

impl Debug for ProofSystemError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<BBSPlusError> for ProofSystemError

fn from(e: BBSPlusError) -> Self

Converts to this type from the input type.

impl From<BulletproofsPlusPlusError> for ProofSystemError

fn from(e: BulletproofsPlusPlusError) -> Self

Converts to this type from the input type.

impl From<CircomError> for ProofSystemError

fn from(e: CircomError) -> Self

Converts to this type from the input type.

impl From<Error> for ProofSystemError

fn from(e: LegoGroth16Error) -> Self

Converts to this type from the input type.

impl From<KVACError> for ProofSystemError

fn from(e: KVACError) -> Self

Converts to this type from the input type.

impl From<SaverError> for ProofSystemError

fn from(e: SaverError) -> Self

Converts to this type from the input type.

impl From<SchnorrError> for ProofSystemError

fn from(e: SchnorrError) -> Self

Converts to this type from the input type.

impl From<SerializationError> for ProofSystemError

fn from(e: SerializationError) -> Self

Converts to this type from the input type.

impl From<SignaturePoKError> for ProofSystemError

fn from(e: SignaturePoKError) -> Self

Converts to this type from the input type.

impl From<SmcRangeProofError> for ProofSystemError

fn from(e: SmcRangeProofError) -> Self

Converts to this type from the input type.

impl From<VBAccumulatorError> for ProofSystemError

fn from(e: VBAccumulatorError) -> Self

Converts to this type from the input type.

impl From<VerifiableEncryptionError> for ProofSystemError

fn from(e: VerifiableEncryptionError) -> Self

Converts to this type from the input type.