Rename storage_proofs -> satellite

Author: fmkra

cairo/README.md

@@ -13,7 +13,7 @@ url = "https://starknet-sepolia.g.alchemy.com/starknet/version/rpc/v0_7/*your ap
 Before deploying or upgrading the contract, make sure you have the latest class hash:
 
 ```
-sncast declare --contract-name StorageProofs
+sncast declare --contract-name Satellite
 ```
 
 Then copy the class hash and update it in `deploy.toml:3` and `upgrade.toml:5`

cairo/src/receiver.cairo

@@ -4,7 +4,7 @@ pub trait IReceiver<TContractState> {
 }
 
 #[starknet::contract]
-pub mod StorageProofs {
+pub mod Satellite {
     use openzeppelin::{
         access::ownable::OwnableComponent,
         upgrades::{UpgradeableComponent, interface::IUpgradeable},

cairo/tests/_utils.cairo

@@ -6,12 +6,12 @@ use storage_proofs::{
     mmr_core::{
         mmr_core_component::MmrCoreInternalImpl, RootForHashingFunction, POSEIDON_HASHING_FUNCTION,
     },
-    receiver::StorageProofs,
+    receiver::Satellite,
 };
 use cairo_lib::{hashing::poseidon::hash_words64, data_structures::mmr::utils::compute_root};
 
 pub fn create_mmr_with_block(
-    ref contract: StorageProofs::ContractState, header_rlp: Span<u64>, chain_id: u256, mmr_id: u256,
+    ref contract: Satellite::ContractState, header_rlp: Span<u64>, chain_id: u256, mmr_id: u256,
 ) -> BlockHeaderProof {
     let mmr_size = 1;
     let leaf_hash = hash_words64(header_rlp);

cairo/tests/evm_fact_registry/curtis.cairo

@@ -3,7 +3,7 @@ use storage_proofs::{
         evm_fact_registry_component::{EvmFactRegistryInternalImpl, EvmFactRegistryImpl},
         BlockHeaderField, AccountField,
     },
-    mmr_core::{mmr_core_component::MmrCoreInternalImpl}, receiver::StorageProofs,
+    mmr_core::{mmr_core_component::MmrCoreInternalImpl}, receiver::Satellite,
 };
 use starknet::EthAddress;
 use crate::_utils::create_mmr_with_block;
@@ -257,7 +257,7 @@ fn get_slot_non_inclusion_curtis() -> (Span<Span<u64>>, u256) {
 fn read_header_fields() {
     // https://rs-indexer.api.herodotus.cloud/blocks/?chain_id=33111&from_block_number_inclusive=18179561&to_block_number_inclusive=18179561&hashing_function=keccak
 
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
     let (header_rlp, _) = get_header_curtis();
     let result = contract._readBlockHeaderFields(header_rlp);
 
@@ -285,7 +285,7 @@ fn read_header_fields() {
 
 #[test]
 fn prove_header() {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     let chain_id = 33111;
     let (header_rlp, block_number) = get_header_curtis();
@@ -412,7 +412,7 @@ fn prove_header() {
 
 #[test]
 fn prove_account() {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     let chain_id = 33111;
     let (header_rlp, block_number) = get_header_curtis();
@@ -462,7 +462,7 @@ fn prove_account() {
 
 #[test]
 fn prove_slot_inclusion() {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     let chain_id = 33111;
     let (header_rlp, block_number) = get_header_curtis();
@@ -483,7 +483,7 @@ fn prove_slot_inclusion() {
 
 #[test]
 fn prove_slot_non_inclusion() {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     let chain_id = 33111;
     let (header_rlp, block_number) = get_header_curtis();

cairo/tests/evm_fact_registry/eth_mainnet.cairo

@@ -3,7 +3,7 @@ use storage_proofs::{
         evm_fact_registry_component::{EvmFactRegistryInternalImpl, EvmFactRegistryImpl},
         BlockHeaderField, AccountField,
     },
-    mmr_core::{mmr_core_component::MmrCoreInternalImpl}, receiver::StorageProofs,
+    mmr_core::{mmr_core_component::MmrCoreInternalImpl}, receiver::Satellite,
 };
 use starknet::EthAddress;
 use crate::_utils::create_mmr_with_block;
@@ -215,7 +215,7 @@ fn get_account_mainnet() -> (Span<Span<u64>>, EthAddress) {
 fn read_header_fields() {
     // https://rs-indexer.api.herodotus.cloud/blocks/?chain_id=1&from_block_number_inclusive=22578043&to_block_number_inclusive=22578043&hashing_function=keccak
 
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
     let (header_rlp, _) = get_header_mainnet();
     let result = contract._readBlockHeaderFields(header_rlp);
 
@@ -243,7 +243,7 @@ fn read_header_fields() {
 
 #[test]
 fn prove_header() {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     let chain_id = 1;
     let (header_rlp, block_number) = get_header_mainnet();
@@ -370,7 +370,7 @@ fn prove_header() {
 
 #[test]
 fn prove_account() {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     let chain_id = 1;
     let (header_rlp, block_number) = get_header_mainnet();

cairo/tests/evm_fact_registry/eth_sepolia.cairo

@@ -3,7 +3,7 @@ use storage_proofs::{
         evm_fact_registry_component::{EvmFactRegistryInternalImpl, EvmFactRegistryImpl},
         BlockHeaderField, AccountField,
     },
-    mmr_core::{mmr_core_component::MmrCoreInternalImpl}, receiver::StorageProofs,
+    mmr_core::{mmr_core_component::MmrCoreInternalImpl}, receiver::Satellite,
 };
 use starknet::EthAddress;
 use crate::_utils::create_mmr_with_block;
@@ -189,7 +189,7 @@ fn get_account_sepolia() -> (Span<Span<u64>>, EthAddress) {
 
 #[test]
 fn read_header_fields() {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
     let (header_rlp, _) = get_header_sepolia();
     let result = contract._readBlockHeaderFields(header_rlp);
 
@@ -217,7 +217,7 @@ fn read_header_fields() {
 
 #[test]
 fn prove_header() {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     let chain_id = 11155111;
     let (header_rlp, block_number) = get_header_sepolia();
@@ -344,7 +344,7 @@ fn prove_header() {
 
 #[test]
 fn prove_account() {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     let chain_id = 11155111;
     let (header_rlp, block_number) = get_header_sepolia();

cairo/tests/mmr_core/createMmrFromDomestic.cairo

@@ -6,14 +6,14 @@ use storage_proofs::{
         mmr_core_component::{MmrCoreInternalImpl, MmrCoreExternalImpl}, RootForHashingFunction,
         POSEIDON_HASHING_FUNCTION, KECCAK_HASHING_FUNCTION,
     },
-    receiver::StorageProofs,
+    receiver::Satellite,
 };
 
 
 fn setup_mmr_multiple_hashing_functions() -> (
-    StorageProofs::ContractState, u256, u256, u256, u256, u256,
+    Satellite::ContractState, u256, u256, u256, u256, u256,
 ) {
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     // Set up some MMR for testing
     let chain_id = 11155111;
@@ -57,8 +57,8 @@ fn setup_mmr_multiple_hashing_functions() -> (
 
 fn setup_mmr_single_hashing_functions(
     original_is_offchain_grown: bool,
-) -> (StorageProofs::ContractState, u256, u256, u256, u256) {
-    let mut contract = StorageProofs::contract_state_for_testing();
+) -> (Satellite::ContractState, u256, u256, u256, u256) {
+    let mut contract = Satellite::contract_state_for_testing();
 
     // Set up some MMR for testing
     let chain_id = 11155111;

cairo/tests/translate_parent_hash.cairo

@@ -1,6 +1,6 @@
 use storage_proofs::{
     mmr_core::{ICoreMmrExternal, KECCAK_HASHING_FUNCTION, POSEIDON_HASHING_FUNCTION},
-    receiver::StorageProofs,
+    receiver::Satellite,
 };
 use core::starknet::storage::{
     StoragePointerReadAccess, StoragePointerWriteAccess, StoragePathEntry,
@@ -74,7 +74,7 @@ fn test_translate_parent_hash_1() {
     let chain_id: u256 = 11155111;
     let (header_rlp, block_number, hash_keccak, hash_poseidon) = get_example_1();
 
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     contract
         .state
@@ -101,7 +101,7 @@ fn test_translate_parent_hash_2() {
     let chain_id: u256 = 11155111;
     let (header_rlp, block_number, hash_keccak, hash_poseidon) = get_example_2();
 
-    let mut contract = StorageProofs::contract_state_for_testing();
+    let mut contract = Satellite::contract_state_for_testing();
 
     contract
         .state