cairo0 new syscall pass

HerodotusDev · Feb 6, 2025 · 2b0a4c6 · 2b0a4c6
1 parent 09b6e11
commit 2b0a4c6
Show file tree

Hide file tree

Showing 6 changed files with 13 additions and 8 deletions.
diff --git a/crates/syscall_handler/src/call_contract/arbitrary_type/mod.rs b/crates/syscall_handler/src/call_contract/arbitrary_type/mod.rs
@@ -9,7 +9,7 @@ use types::cairo::{
 
 use crate::{traits, SyscallResult, WriteResponseResult};
 
-pub const CONTRACT_ADDRESS: Felt252 = Felt252::from_hex_unchecked("0x616e795f74797065"); // 'any_type' in hex
+pub const CONTRACT_ADDRESS: Felt252 = Felt252::from_hex_unchecked("0x6172626974726172795F74797065"); // 'arbitrary_type' in hex
 
 #[derive(Debug, Default, Serialize, Deserialize, Clone)]
 pub struct ArbitraryTypeCallContractHandler;

diff --git a/examples/hdp_input.json b/examples/hdp_input.json
@@ -506,7 +506,7 @@
       "0x20680017fff7ffd",
       "0x7d",
       "0x480680017fff8000",
-      "0x616e795f74797065",
+      "0x6172626974726172795f74797065",
       "0xa0680017fff8004",
       "0xe",
       "0x4824800180047ffe",

diff --git a/examples/src/lib.cairo b/examples/src/lib.cairo
@@ -1,6 +1,6 @@
 #[starknet::contract]
 mod example {
-    use hdp_cairo::{HDP, evm::storage::{StorageImpl}, any_type::any_type};
+    use hdp_cairo::{HDP, evm::storage::{StorageImpl}, arbitrary_type::arbitrary_type};
     use hdp_cairo::debug::{print_array};
 
     #[storage]
@@ -27,7 +27,7 @@ mod example {
         s.serialize(ref s_obj_serialized);
         print_array(s_obj_serialized);
 
-        let d: AnyTypeOutput = any_type(s);
+        let d: AnyTypeOutput = arbitrary_type(s);
 
         let mut d_obj_serialized = array![];
         d.serialize(ref d_obj_serialized);

diff --git a/hdp_cairo/src/any_type.cairo → hdp_cairo/src/arbitrary_type.cairo b/hdp_cairo/src/any_type.cairo → hdp_cairo/src/arbitrary_type.cairo
@@ -1,14 +1,14 @@
 use starknet::syscalls::call_contract_syscall;
 use starknet::SyscallResultTrait;
 
-const ANY_TYPE_CONTRACT_ADDRESS: felt252 = 'any_type';
+const ARBITRARY_TYPE_CONTRACT_ADDRESS: felt252 = 'arbitrary_type';
 
-pub fn any_type<S, +core::serde::Serde<S>, +Drop<S>, D, +core::serde::Serde<D>>(obj: S) -> D {
+pub fn arbitrary_type<S, +core::serde::Serde<S>, +Drop<S>, D, +core::serde::Serde<D>>(obj: S) -> D {
     let mut obj_serialized = array![];
     obj.serialize(ref obj_serialized);
 
     let mut ret = call_contract_syscall(
-        ANY_TYPE_CONTRACT_ADDRESS.try_into().unwrap(), 0, obj_serialized.span(),
+        ARBITRARY_TYPE_CONTRACT_ADDRESS.try_into().unwrap(), 0, obj_serialized.span(),
     )
         .unwrap_syscall();
 

diff --git a/hdp_cairo/src/lib.cairo b/hdp_cairo/src/lib.cairo
@@ -1,4 +1,4 @@
-pub mod any_type;
+pub mod arbitrary_type;
 pub mod debug;
 pub mod evm;
 pub mod starknet;

diff --git a/src/contract_bootloader/execute_syscalls.cairo b/src/contract_bootloader/execute_syscalls.cairo
@@ -131,6 +131,11 @@ func execute_call_contract{
         return ();
     }
 
+    // arbitrary_type Contract does not need to be executed
+    if (request.contract_address == 'arbitrary_type') {
+        return ();
+    }
+
     let layout = chain_id_to_layout(request.calldata_start[2]);
     let output_ptr = response.retdata_start;