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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
use std::cmp;
use std::error;
use std::fmt;
use std::io;
use super::{Any, Column};
#[derive(Debug)]
pub enum Error {
Synthesis,
InvalidInstances,
ConstraintSystemFailure,
BoundsFailure,
Opening,
Transcript(io::Error),
NotEnoughRowsAvailable {
current_k: u32,
},
InstanceTooLarge,
NotEnoughColumnsForConstants,
ColumnNotInPermutation(Column<Any>),
}
impl From<io::Error> for Error {
fn from(error: io::Error) -> Self {
Error::Transcript(error)
}
}
impl Error {
pub(crate) fn not_enough_rows_available(current_k: u32) -> Self {
Error::NotEnoughRowsAvailable { current_k }
}
}
impl fmt::Display for Error {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
match self {
Error::Synthesis => write!(f, "General synthesis error"),
Error::InvalidInstances => write!(f, "Provided instances do not match the circuit"),
Error::ConstraintSystemFailure => write!(f, "The constraint system is not satisfied"),
Error::BoundsFailure => write!(f, "An out-of-bounds index was passed to the backend"),
Error::Opening => write!(f, "Multi-opening proof was invalid"),
Error::Transcript(e) => write!(f, "Transcript error: {}", e),
Error::NotEnoughRowsAvailable { current_k } => write!(
f,
"k = {} is too small for the given circuit. Try using a larger value of k",
current_k,
),
Error::InstanceTooLarge => write!(f, "Instance vectors are larger than the circuit"),
Error::NotEnoughColumnsForConstants => {
write!(
f,
"Too few fixed columns are enabled for global constants usage"
)
}
Error::ColumnNotInPermutation(column) => write!(
f,
"Column {:?} must be included in the permutation. Help: try applying `meta.enable_equalty` on the column",
column
),
}
}
}
impl error::Error for Error {
fn source(&self) -> Option<&(dyn error::Error + 'static)> {
match self {
Error::Transcript(e) => Some(e),
_ => None,
}
}
}