walkthrough.md

SNOS

Data Structures

OsHints

• OsHints
• StarknetOsInput
• CommitmentInfo
• OsExecutionHelper
• OsSingleStarknetStorage
• TransactionExecutionInfo
• CallInfo

State Changes

• initialize_state_changes

Code Walkthrough

• main

Transaction Reexecution

• execute_transactions
  • execute_transactions_inner
  • execute_invoke_function_transaction
• select_execute_entry_point_func
  • deprecated_execute_entry_point - contract call
    • call contract
      • syscalls - call contract
        • deprecated_syscall_handler - call contract
    • storage read
      • syscalls - storage_read
        • _storage_read
  • back to deprecated_execute_entry_point
  • execute_deprecated_syscalls
    • call contract
      • execute_deprecated_syscalls - call contract
      • contract_call_helper
    • storage read
      • execute_deprecated_syscalls - read storage
      • execute_storage_read

State Update

• state_update
  • interesting hints:
    • compute_storage_commitments
      • compute_commitment
        • update_tree
  • contract_state_update
    • hash_state_changes
      • patricia_update_using_update_constants
        • interesting hints:
          • build modifications list
          • build_update_tree
          • patricia_guess_descents
          • get_descents
        • traverse_node
          • traverse_edge
          • traverse_binary_of_leaf
          • open_edge

Output

• os_output_serialize