sonobe-fs 0.1.0-alpha.1

Traits and implementations of folding schemes for the Sonobe library
Documentation 
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

//! Error definitions for folding schemes.

use ark_relations::gr1cs::SynthesisError;
use sonobe_primitives::{
    arithmetizations::Error as ArithError, commitments::Error as CommitmentError,
};
use thiserror::Error;

/// [`enum@Error`] enumerates possible errors during folding scheme operations.
#[derive(Debug, Error)]
pub enum Error {
    /// [`Error::ArithError`] indicates an error from the underlying constraint
    /// system.
    #[error(transparent)]
    ArithError(#[from] ArithError),
    /// [`Error::CommitmentError`] indicates an error from the underlying
    /// commitment scheme.
    #[error(transparent)]
    CommitmentError(#[from] CommitmentError),
    /// [`Error::SynthesisError`] indicates an error during constraint
    /// synthesis.
    #[error(transparent)]
    SynthesisError(#[from] SynthesisError),
    /// [`Error::Unsupported`] indicates that a certain use case is not
    /// supported.
    #[error("Unsupported use case: {0}")]
    Unsupported(String),
    /// [`Error::DomainCreationFailure`] indicates a failure in creating
    /// evaluation domains.
    #[error("Failed to create domain")]
    DomainCreationFailure,
    /// [`Error::IndivisibleByVanishingPoly`] indicates that a polynomial is
    /// not divisible by the vanishing polynomial of a certain domain.
    #[error("Indivisible by vanishing polynomial")]
    IndivisibleByVanishingPoly,
    /// [`Error::UnsatisfiedRelation`] indicates that a certain relation is not
    /// satisfied.
    #[error("Unsatisfied relation: {0}")]
    UnsatisfiedRelation(String),
    /// [`Error::InvalidPublicParameters`] indicates that the provided public
    /// parameters are invalid.
    #[error("Invalid public parameters: {0}")]
    InvalidPublicParameters(String),
}