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
94
95
96
97
98
use std::collections::HashSet;
use super::memory_errors::MemoryError;
use crate::types::relocatable::MaybeRelocatable;
use felt::Felt;
use thiserror::Error;
#[derive(Debug, PartialEq, Eq, Error)]
pub enum RunnerError {
#[error("Can't initialize state without an execution base")]
NoExecBase,
#[error("Can't initialize the function entrypoint without an execution base")]
NoExecBaseForEntrypoint,
#[error("Initialization failure: No program base")]
NoProgBase,
#[error("Missing main()")]
MissingMain,
#[error("Uninitialized base for builtin")]
UninitializedBase,
#[error("Base for builtin is not finished")]
BaseNotFinished,
#[error("Failed to write program output")]
WriteFail,
#[error("Found None PC during VM initialization")]
NoPC,
#[error("Found None AP during VM initialization")]
NoAP,
#[error("Found None FP during VM initialization")]
NoFP,
#[error("Memory validation failed during VM initialization: {0}")]
MemoryValidationError(MemoryError),
#[error("Memory loading failed during state initialization: {0}")]
MemoryInitializationError(MemoryError),
#[error("Memory addresses must be relocatable")]
NonRelocatableAddress,
#[error("Runner base mustn't be in a TemporarySegment, segment: {0}")]
RunnerInTemporarySegment(isize),
#[error("Failed to convert string to FieldElement")]
FailedStringConversion,
#[error("Expected integer at address {0:?}")]
ExpectedInteger(MaybeRelocatable),
#[error("Failed to retrieve value from address {0:?}")]
MemoryGet(MaybeRelocatable),
#[error(transparent)]
FailedMemoryGet(MemoryError),
#[error("EcOpBuiltin: m should be at most {0}")]
EcOpBuiltinScalarLimit(Felt),
#[error("Given builtins are not in appropiate order")]
DisorderedBuiltins,
#[error("Expected integer at address {0:?} to be smaller than 2^{1}, Got {2}")]
IntegerBiggerThanPowerOfTwo(MaybeRelocatable, u32, Felt),
#[error("{0}")]
EcOpSameXCoordinate(String),
#[error("EcOpBuiltin: point {0:?} is not on the curve")]
PointNotOnCurve((usize, usize)),
#[error("Builtin(s) {0:?} not present in layout {1}")]
NoBuiltinForInstance(HashSet<String>, String),
#[error("Invalid layout {0}")]
InvalidLayoutName(String),
#[error("Run has already ended.")]
RunAlreadyFinished,
#[error("Run must be ended before calling finalize_segments.")]
FinalizeNoEndRun,
#[error("Builtin {0} not included.")]
BuiltinNotIncluded(String),
#[error("Builtin segment name collision on '{0}'")]
BuiltinSegmentNameCollision(&'static str),
#[error("Error while finalizing segments: {0}")]
FinalizeSegements(MemoryError),
#[error("finalize_segments called but proof_mode is not enabled")]
FinalizeSegmentsNoProofMode,
#[error("Final stack error")]
FinalStack,
#[error("Invalid stop pointer for {0} ")]
InvalidStopPointer(String),
#[error("Running in proof-mode but no __start__ label found, try compiling with proof-mode")]
NoProgramStart,
#[error("Running in proof-mode but no __end__ label found, try compiling with proof-mode")]
NoProgramEnd,
#[error("Could not convert slice to array")]
SliceToArrayError,
#[error("Missing builtin: {0}")]
MissingBuiltin(String),
#[error("Cannot add the return values to the public memory after segment finalization.")]
FailedAddingReturnValues,
#[error("Missing execution public memory")]
NoExecPublicMemory,
#[error("Coulnd't parse prime from felt lib")]
CouldntParsePrime,
#[error("Could not convert vec with Maybe Relocatables into u64 array")]
MaybeRelocVecToU64ArrayError,
#[error("Expected Maybe Relocatable with Int value but get one with Relocatable")]
FoundNonInt,
#[error("{0} is not divisible by {1}")]
SafeDivFailUsize(usize, usize),
#[error(transparent)]
MemoryError(#[from] MemoryError),
}