midnight-aggregation 0.1.0

Toolkit for proof aggregation of midnight-proofs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

//! Custom error type for the IVC module.

use std::fmt;

use midnight_proofs::plonk;

/// Error type for IVC operations.
#[derive(Debug)]
pub enum IvcError {
    /// A proof generation failed.
    ProofGeneration(plonk::Error),
    /// The provided instance is malformed.
    InvalidInstance,
    /// The provided witness is invalid.
    InvalidWitness(String),
    /// The instance's VK representation does not match the verifier's key.
    VkMismatch,
    /// The proof is invalid (accumulator pairing check failed).
    InvalidProof,
    /// The proof transcript contains trailing data.
    TranscriptNotEmpty,
    /// The application-level decider check failed.
    DeciderFailed,
}

impl From<plonk::Error> for IvcError {
    fn from(e: plonk::Error) -> Self {
        IvcError::ProofGeneration(e)
    }
}

impl fmt::Display for IvcError {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        match self {
            IvcError::ProofGeneration(e) => write!(f, "proof generation failed: {e}"),
            IvcError::InvalidInstance => write!(f, "invalid instance"),
            IvcError::InvalidWitness(msg) => write!(f, "invalid witness: {msg}"),
            IvcError::VkMismatch => write!(f, "verifying-key mismatch"),
            IvcError::InvalidProof => write!(f, "invalid proof"),
            IvcError::TranscriptNotEmpty => write!(f, "proof transcript not empty"),
            IvcError::DeciderFailed => write!(f, "decider check failed"),
        }
    }
}

impl std::error::Error for IvcError {
    fn source(&self) -> Option<&(dyn std::error::Error + 'static)> {
        match self {
            IvcError::ProofGeneration(e) => Some(e),
            _ => None,
        }
    }
}