arcium-core-utils 0.4.3

Arcium core utils
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
45
46
47
48
49
50

use primitives::algebra::elliptic_curve::Curve;

use crate::circuit::{AlgebraicType, Gate, GateIndex};

#[derive(Debug, Clone, PartialEq, Eq, thiserror::Error)]
pub enum ConversionError {
    #[error("Cannot transform AlgebraicType {0:?} into FieldType")]
    IntoFieldTypeError(AlgebraicType),
}

#[derive(Debug, Clone, PartialEq, Eq, thiserror::Error)]
pub enum SliceError {
    #[error("Expected non-negative index, found {0}")]
    NegativeIndex(i128),
    #[error("Expected index in [0, {max}], found {found}")]
    IndexOutOfBounds { found: i128, max: u32 },
}

#[derive(Debug, Clone, PartialEq, Eq, thiserror::Error)]
#[error("Batch size must be a strictly positive integer, found {0}")]
pub struct BatchSizeError(pub usize);

#[derive(Debug, Clone, PartialEq, Eq, thiserror::Error)]
#[error("Internal error: {0}")]
pub struct InternalError(pub String);

#[derive(Debug, Clone, PartialEq, Eq, thiserror::Error)]
pub enum CircuitError<C: Curve> {
    #[error("Invalid gate {0:?}: {1}")]
    InvalidGate(Gate<C>, String),
    #[error("Gate index {0} out-of-bounds [0,{1})")]
    GateIndexOutOfBounds(GateIndex, GateIndex),
    #[error("Conversion error: {0}")]
    ConversionError(#[from] ConversionError),
    #[error("Invalid gate input count, expected {expected} inputs found {found}")]
    InvalidGateInputCount { expected: usize, found: usize },
    #[error("Invalid gate algebraic type, expected {expected:?} found {found:?}")]
    InvalidGateAlgebraicType {
        expected: AlgebraicType,
        found: AlgebraicType,
    },
    #[error("Circuit is limited to a maximum of 2^32 gates")]
    CircuitTooBig,
    #[error("Slice error: {0}")]
    SliceError(#[from] SliceError),
    #[error("{0}")]
    InternalError(#[from] InternalError),
    #[error("{0}")]
    BatchSizeError(#[from] BatchSizeError),
}