Skip to content

starknet_os: os resources test - declare tx #14147

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
dorimedini-starkware wants to merge 1 commit into
base: 05-24-starknet_os_os_resources_test_-_invoke_tx_constant_factor
Choose a base branch
from
Open

starknet_os: os resources test - declare tx #14147

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions crates/blockifier/resources/blockifier_versioned_constants_0_14_4.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -493,10 +493,10 @@
},
"execute_txs_inner": {
"Declare": {
"n_steps": 3523,
"n_steps": 3938,
"n_memory_holes": 0,
"builtin_instance_counter": {
"range_check_builtin": 72,
"range_check_builtin": 92,
"pedersen_builtin": 4,
"poseidon_builtin": 15
}
Expand Down
38 changes: 16 additions & 22 deletions ...blockifier_test_utils/resources/feature_contracts/cairo1/os_resources_test_contract.cairo
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,18 +7,12 @@ mod OsResourcesTestContract {
use starknet::info::SyscallResultTrait;
use starknet::secp256_trait::Secp256Trait;
use starknet::secp256k1::{
secp256k1_add_syscall,
secp256k1_get_point_from_x_syscall,
secp256k1_get_xy_syscall,
secp256k1_mul_syscall,
secp256k1_new_syscall,
secp256k1_add_syscall, secp256k1_get_point_from_x_syscall, secp256k1_get_xy_syscall,
secp256k1_mul_syscall, secp256k1_new_syscall,
};
use starknet::secp256r1::{
secp256r1_add_syscall,
secp256r1_get_point_from_x_syscall,
secp256r1_get_xy_syscall,
secp256r1_mul_syscall,
secp256r1_new_syscall,
secp256r1_add_syscall, secp256r1_get_point_from_x_syscall, secp256r1_get_xy_syscall,
secp256r1_mul_syscall, secp256r1_new_syscall,
};
use starknet::syscalls::{
call_contract_syscall, deploy_syscall, emit_event_syscall, get_execution_info_v2_syscall,
Expand All @@ -31,16 +25,16 @@ mod OsResourcesTestContract {
const EXECUTE_FUNCTION_SELECTOR: felt252 = selector!("__execute__");

// SECP constants.
const MULT_CONSTANT: u256
= 115792089237316195423570985008687907853269984665640564039457584007913129639935;
const X_FOR_K: u256
= 111793196543967404139194827996419963236210979610743141064269745943111491389389;
const Y_FOR_K: u256
= 64271137072396112709852516195602121116634737731930508083758518861847052748305;
const X_FOR_R: u256
= 36259703446750261746963965979921905598426482711143882545997285073084044643087;
const Y_FOR_R: u256
= 99074502569356486940077471307887399820854676440660107539358273498981469249968;
const MULT_CONSTANT: u256 =
115792089237316195423570985008687907853269984665640564039457584007913129639935;
const X_FOR_K: u256 =
111793196543967404139194827996419963236210979610743141064269745943111491389389;
const Y_FOR_K: u256 =
64271137072396112709852516195602121116634737731930508083758518861847052748305;
const X_FOR_R: u256 =
36259703446750261746963965979921905598426482711143882545997285073084044643087;
const Y_FOR_R: u256 =
99074502569356486940077471307887399820854676440660107539358273498981469249968;

#[storage]
struct Storage {}
Expand Down Expand Up @@ -152,8 +146,8 @@ mod OsResourcesTestContract {
secp256k1_add_syscall(p0, k_p1).unwrap_syscall();

// secp256k1_get_point_from_x syscall.
let x:u256 = X_FOR_K;
let _ = secp256k1_get_point_from_x_syscall(:x, y_parity: true).unwrap_syscall();
let x: u256 = X_FOR_K;
let _ = secp256k1_get_point_from_x_syscall(:x, y_parity: true).unwrap_syscall();

// secp256k1_get_xy syscall.
secp256k1_get_xy_syscall(k_p1).unwrap_syscall();
Expand Down
7 changes: 7 additions & 0 deletions crates/starknet_os_flow_tests/resources/deployable_for_resource_measurement.cairo
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
/// Originally compiled with compiler v2.17.0-rc.4.
#[starknet::contract(account)]
mod DeployableForResourceMeasurement {
use starknet::ClassHash;

#[storage]
struct Storage {}

Expand All @@ -20,6 +22,11 @@ mod DeployableForResourceMeasurement {
starknet::VALIDATED
}

#[external(v0)]
fn __validate_declare__(self: @ContractState, class_hash: ClassHash) -> felt252 {
starknet::VALIDATED
}

/// Main execute entry point should have variable input length to measure meta-tx linear factor.
#[external(v0)]
fn __execute__(ref self: ContractState, some_args: Span<felt252>) {}
Expand Down
Loading
Loading