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

use thiserror_no_std::Error;

use crate::types::builtin_name::BuiltinName;

#[derive(Eq, Hash, PartialEq, Debug, Error)]
pub enum CairoPieValidationError {
    #[error("Invalid main() address.")]
    InvalidMainAddress,
    #[error("Program length does not match the program segment size.")]
    ProgramLenVsSegmentSizeMismatch,
    #[error("Builtin list mismatch in builtin_segments.")]
    BuiltinListVsSegmentsMismatch,
    #[error("Invalid segment size for ret_fp. Must be 0.")]
    InvalidRetFpSegmentSize,
    #[error("Invalid segment size for ret_pc. Must be 0.")]
    InvalidRetPcSegmentSize,
    #[error("Invalid segment index for program_segment.")]
    InvalidProgramSegmentIndex,
    #[error("Invalid segment index for execution_segment.")]
    InvalidExecutionSegmentIndex,
    #[error("Invalid segment index for {0}.")]
    InvalidBuiltinSegmentIndex(BuiltinName),
    #[error("Invalid segment index for ret_fp_segment.")]
    InvalidRetFpSegmentIndex,
    #[error("Invalid segment index for ret_pc_segment.")]
    InvalidRetPcSegmentIndex,
    #[error("Invalid segment indices for extra_segments.")]
    InvalidExtraSegmentIndex,
    #[error("Invalid address")]
    InvalidAddress,
    #[error("Cairo PIE diff: metadata mismatch")]
    DiffMetadata,
    #[error("Cairo PIE diff: memory mismatch")]
    DiffMemory,
    #[error("Cairo PIE diff: execution_resources mismatch")]
    DiffExecutionResources,
    #[error("Cairo PIE diff: additional_data mismatch")]
    DiffAdditionalData,
    #[error("Cairo PIE diff: additional_data[{0}] mismatch")]
    DiffAdditionalDataForBuiltin(BuiltinName),
}