starknet_in_rust 0.4.0

A Rust implementation of Starknet execution logic
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

// *************************
//     Syscall hints
// *************************

pub(crate) const DEPLOY: &str =
    "syscall_handler.deploy(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const EMIT_EVENT_CODE: &str =
    "syscall_handler.emit_event(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const GET_SEQUENCER_ADDRESS: &str =
    "syscall_handler.get_sequencer_address(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const STORAGE_WRITE: &str =
    "syscall_handler.storage_write(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const STORAGE_READ: &str =
    "syscall_handler.storage_read(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const SEND_MESSAGE_TO_L1: &str =
    "syscall_handler.send_message_to_l1(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const LIBRARY_CALL_L1_HANDLER: &str =
    "syscall_handler.library_call_l1_handler(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const LIBRARY_CALL: &str =
    "syscall_handler.library_call(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const CALL_CONTRACT: &str =
    "syscall_handler.call_contract(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const GET_TX_SIGNATURE: &str =
    "syscall_handler.get_tx_signature(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const GET_TX_INFO: &str =
    "syscall_handler.get_tx_info(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const GET_CONTRACT_ADDRESS: &str =
    "syscall_handler.get_contract_address(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const GET_CALLER_ADDRESS: &str =
    "syscall_handler.get_caller_address(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const GET_BLOCK_TIMESTAMP: &str =
    "syscall_handler.get_block_timestamp(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const GET_BLOCK_NUMBER: &str =
    "syscall_handler.get_block_number(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const DELEGATE_CALL: &str =
    "syscall_handler.delegate_call(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const DELEGATE_L1_HANDLER: &str =
    "syscall_handler.delegate_l1_handler(segments=segments, syscall_ptr=ids.syscall_ptr)";

pub(crate) const REPLACE_CLASS: &str =
    "syscall_handler.replace_class(segments=segments, syscall_ptr=ids.syscall_ptr)";

// *************************
//     Normal hints
// *************************

pub(crate) const ADDR_BOUND_PRIME: &str =
    "# Verify the assumptions on the relationship between 2**250, ADDR_BOUND and PRIME.\nADDR_BOUND = ids.ADDR_BOUND % PRIME\nassert (2**250 < ADDR_BOUND <= 2**251) and (2 * 2**250 < PRIME) and (\n        ADDR_BOUND * 2 > PRIME), \\\n    'normalize_address() cannot be used with the current constants.'\nids.is_small = 1 if ids.addr < ADDR_BOUND else 0";
pub(crate) const ADDR_IS_250: &str = "ids.is_250 = 1 if ids.addr < 2**250 else 0";