starknet_in_rust 0.4.0

A Rust implementation of Starknet execution logic
Documentation
use std::{collections::HashMap, path::PathBuf, sync::Arc};

use cairo_vm::felt::{felt_str, Felt252};
use num_traits::Zero;

use starknet_in_rust::{
    definitions::{
        block_context::{BlockContext, StarknetChainId, StarknetOsConfig},
        constants::TRANSACTION_VERSION,
    },
    services::api::contract_classes::{
        compiled_class::CompiledClass, deprecated_contract_class::ContractClass,
    },
    state::in_memory_state_reader::InMemoryStateReader,
    state::{cached_state::CachedState, BlockInfo},
    transaction::InvokeFunction,
    utils::Address,
};

use lazy_static::lazy_static;

#[cfg(feature = "with_mimalloc")]
use mimalloc::MiMalloc;

#[cfg(feature = "with_mimalloc")]
#[global_allocator]
static ALLOC: MiMalloc = MiMalloc;

lazy_static! {
    // include_str! doesn't seem to work in CI
    static ref CONTRACT_CLASS: ContractClass = ContractClass::from_path(
        "starknet_programs/first_contract.json",
    ).unwrap();

    static ref CONTRACT_PATH: PathBuf = PathBuf::from("starknet_programs/first_contract.json");

    static ref CONTRACT_CLASS_HASH: [u8; 32] = [5, 133, 114, 83, 104, 231, 159, 23, 87, 255, 235, 75, 170, 4, 84, 140, 49, 77, 101, 41, 147, 198, 201, 231, 38, 189, 215, 84, 231, 141, 140, 122];

    static ref CONTRACT_ADDRESS: Address = Address(1.into());

    static ref INCREASE_BALANCE_SELECTOR: Felt252 = felt_str!("1530486729947006463063166157847785599120665941190480211966374137237989315360");

    static ref GET_BALANCE_SELECTOR: Felt252 = felt_str!("1636223440827086009537493065587328807418413867743950350615962740049133672085");
}

fn main() {
    const RUNS: usize = 10000;
    let mut cached_state = create_initial_state();

    cached_state
        .cache_mut()
        .nonce_initial_values_mut()
        .insert(CONTRACT_ADDRESS.clone(), Felt252::zero());

    let block_context = new_starknet_block_context_for_testing();

    for i in 0..RUNS {
        InvokeFunction::new(
            CONTRACT_ADDRESS.clone(),
            INCREASE_BALANCE_SELECTOR.clone(),
            2,
            TRANSACTION_VERSION.clone(),
            vec![1000.into()],
            vec![],
            StarknetChainId::TestNet.to_felt(),
            Some(Felt252::from(i * 2)),
        )
        .unwrap()
        .execute(&mut cached_state, &block_context, 0)
        .unwrap();

        let tx_exec_info = InvokeFunction::new(
            CONTRACT_ADDRESS.clone(),
            GET_BALANCE_SELECTOR.clone(),
            2,
            TRANSACTION_VERSION.clone(),
            vec![],
            vec![],
            StarknetChainId::TestNet.to_felt(),
            Some(Felt252::from((i * 2) + 1)),
        )
        .unwrap()
        .execute(&mut cached_state, &block_context, 0)
        .unwrap();

        assert_eq!(
            tx_exec_info.call_info.unwrap().retdata,
            vec![((1000 * i) + 1000).into()]
        );
    }
}

fn create_initial_state() -> CachedState<InMemoryStateReader> {
    let cached_state = CachedState::new(
        {
            let mut state_reader = InMemoryStateReader::default();
            state_reader
                .address_to_class_hash_mut()
                .insert(CONTRACT_ADDRESS.clone(), *CONTRACT_CLASS_HASH);

            state_reader
                .address_to_nonce_mut()
                .insert(CONTRACT_ADDRESS.clone(), Felt252::zero());
            state_reader.class_hash_to_compiled_class_mut().insert(
                *CONTRACT_CLASS_HASH,
                CompiledClass::Deprecated(Arc::new(CONTRACT_CLASS.clone())),
            );

            state_reader
                .address_to_storage_mut()
                .insert((CONTRACT_ADDRESS.clone(), [0; 32]), Felt252::zero());
            Arc::new(state_reader)
        },
        HashMap::new(),
    );

    cached_state
}

pub fn new_starknet_block_context_for_testing() -> BlockContext {
    BlockContext::new(
        StarknetOsConfig::new(
            StarknetChainId::TestNet.to_felt(),
            Address(Felt252::zero()),
            0,
        ),
        0,
        0,
        Default::default(),
        1_000_000,
        0,
        BlockInfo::default(),
        HashMap::default(),
        true,
    )
}