cairo-program-runner-lib 1.2.2

Library for running Cairo programs on the Cairo VM with hint support
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
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

/// General program input.
pub const PROGRAM_INPUT: &str = "program_input";

/// General program object.
pub const PROGRAM_OBJECT: &str = "program_object";

/// Deserialized bootloader input.
pub const BOOTLOADER_INPUT: &str = "bootloader_input";

/// Saved state of the output builtin.
pub const OUTPUT_BUILTIN_STATE: &str = "output_builtin_state";

/// Saved state of the output builtin for an applicative bootloader run.
pub const APPLICATIVE_OUTPUT_BUILTIN_STATE: &str = "applicative_output_builtin_state";

/// Output builtin segment start.
pub const OUTPUT_START: &str = "output_start";

/// Deserialized simple bootloader input.
pub const SIMPLE_BOOTLOADER_INPUT: &str = "simple_bootloader_input";

/// Deserialized applicative bootloader input.
pub const APPLICATIVE_BOOTLOADER_INPUT: &str = "applicative_bootloader_input";

/// Packed outputs.
pub const PACKED_OUTPUTS: &str = "packed_outputs";

/// Packed output for the current task.
pub const PACKED_OUTPUT: &str = "packed_output";

/// Fact topologies.
pub const FACT_TOPOLOGIES: &str = "fact_topologies";

/// Aggregator fact topologies for an applicative bootloader run.
pub const AGGREGATOR_FACT_TOPOLOGIES: &str = "aggregator_fact_topologies";

/// Simple bootloader tasks.
pub const TASKS: &str = "tasks";

/// Current simple bootloader task.
pub const TASK: &str = "task";

pub const USE_PREV_HASH: &str = "use_prev_hash";
/// Current simple bootloader program_hash_function.
pub const PROGRAM_HASH_FUNCTION: &str = "program_hash_function";

/// Program data segment. Used in `execute_task()`.
pub const PROGRAM_DATA_BASE: &str = "program_data_base";

/// Address of current program.
pub const PROGRAM_ADDRESS: &str = "program_address";

/// Output builtin additional data.
pub const OUTPUT_RUNNER_DATA: &str = "output_runner_data";

/// Number of builtins used by the program.
pub const N_BUILTINS: &str = "n_builtins";

/// Number of selected builtins for the current program.
pub const N_SELECTED_BUILTINS: &str = "n_selected_builtins";

/// "pre_execution_builtin_ptrs"
pub const PRE_EXECUTION_BUILTIN_PTRS: &str = "pre_execution_builtin_ptrs";

// component height const from the py file
pub const COMPONENT_HEIGHT: u64 = 16;

/// Simple output input.
pub const SIMPLE_OUTPUT_INPUT: &str = "simple_output_input";

/// Mock Cairo verifier input.
pub const MOCK_CAIRO_VERIFIER_INPUT: &str = "mock_cairo_verifier_input";

/// Path to dump the output preimage for privacy simple bootloader.
pub const OUTPUT_PREIMAGE_DUMP_PATH: &str = "output_preimage_dump_path";