Expand description
The types of errors that might occur throughout constraint checking.
Structs§
- Constraint
Errors - The index of each failed constraint alongside the error it produced.
- Constraints
Unsatisfied - The index of each constraint that was not satisfied.
Enums§
- Access
Error - Access operation error.
- AluError
- ALU operation error.
- Check
Error - Predicate checking error.
- Constraint
Error - Constraint checking error.
- Crypto
Error - Crypto operation error.
- Decode
Error - Decode error.
- Encode
Error - Encode error.
- LenWords
Error - A
len words
error. - Missing
Access ArgError - Missing argument error.
- OpError
- An individual operation failed during constraint checking error.
- Repeat
Error - Repeat operation error.
- Stack
Error - Stack operation error.
- Temporary
Error - Temporary operation error.
- Total
Control Flow Error - Total control flow operation error.
Type Aliases§
- Check
Result - Shorthand for a
Result
where the error type is aCheckError
. - Constraint
Result - Shorthand for a
Result
where the error type is aConstraintError
. - OpResult
- Shorthand for a
Result
where the error type is anOpError
. - Repeat
Result - Shorthand for a
Result
where the error type is aRepeatError
. - Stack
Result - Shorthand for a
Result
where the error type is aStackError
. - Temporary
Result - Shorthand for a
Result
where the error type is aTemporaryError
. - Total
Control Flow Result - Shorthand for a
Result
where the error type is aTotalControlFlowError
.