Support RPC 0.10.0-rc.2

starknet_py/constants.py

@@ -53,7 +53,7 @@ class OutsideExecutionInterfaceID(IntEnum):
     V2 = 0x1D1144BB2138366FF28D8E9AB57456B1D332AC42196230C3A602003C89872
 
 
-EXPECTED_RPC_VERSION = "0.10.0"
+EXPECTED_RPC_VERSION = "0.10.1-rc.2"
 
 ARGENT_V040_CLASS_HASH = (
     0x036078334509B514626504EDC9FB252328D1A240E4E948BEF8D0C08DFF45927F

starknet_py/contract.py

@@ -390,6 +390,8 @@ async def invoke(
         nonce: Optional[int] = None,
         tip: Optional[int] = None,
         auto_estimate_tip: bool = False,
+        proof_facts: Optional[List[int]] = None,
+        proof: Optional[List[int]] = None,
     ) -> InvokeResult:
         """
         Send an Invoke transaction version 3 for the prepared data.
@@ -399,6 +401,8 @@ async def invoke(
         :param nonce: Nonce of the transaction.
         :param tip: The tip amount to be added to the transaction fee.
         :param auto_estimate_tip: Use automatic tip estimation. Using this option may lead to higher costs.
+        :param proof_facts: Optional proof facts for the transaction.
+        :param proof: Optional proof for the transaction.
         :return: InvokeResult.
         """
 
@@ -409,6 +413,8 @@ async def invoke(
             auto_estimate=auto_estimate,
             tip=tip or self.tip,
             auto_estimate_tip=auto_estimate_tip,
+            proof_facts=proof_facts,
+            proof=proof,
         )
 
         return await self._invoke(transaction)
@@ -563,6 +569,8 @@ async def invoke_v3(
         tip: Optional[int] = None,
         auto_estimate_tip: bool = False,
         nonce: Optional[int] = None,
+        proof_facts: Optional[List[int]] = None,
+        proof: Optional[List[int]] = None,
         **kwargs,
     ) -> InvokeResult:
         """
@@ -574,6 +582,8 @@ async def invoke_v3(
         :param tip: The tip amount to be added to the transaction fee.
         :param auto_estimate_tip: Use automatic tip estimation. Using this option may lead to higher costs.
         :param nonce: Nonce of the transaction.
+        :param proof_facts: Optional proof facts for the transaction.
+        :param proof: Optional proof for the transaction.
         :return: InvokeResult.
         """
         prepared_invoke = self.prepare_invoke_v3(*args, **kwargs)
@@ -583,6 +593,8 @@ async def invoke_v3(
             auto_estimate=auto_estimate,
             tip=tip,
             auto_estimate_tip=auto_estimate_tip,
+            proof_facts=proof_facts,
+            proof=proof,
         )
 
     @staticmethod

starknet_py/hash/transaction.py

@@ -182,6 +182,7 @@ def compute_invoke_v3_transaction_hash(
     account_deployment_data: List[int],
     calldata: List[int],
     common_fields: CommonTransactionV3Fields,
+    proof_facts: Optional[List[int]] = None,
 ) -> int:
     """
     Computes hash of an Invoke transaction version 3.
@@ -190,15 +191,18 @@ def compute_invoke_v3_transaction_hash(
         Currently, this value is always empty.
     :param calldata: Calldata of the function.
     :param common_fields: Common fields for V3 transactions.
+    :param proof_facts: Optional proof facts for the transaction.
     :return: Hash of the transaction.
     """
-    return poseidon_hash_many(
-        [
-            *common_fields.compute_common_tx_fields(),
-            poseidon_hash_many(account_deployment_data),
-            poseidon_hash_many(calldata),
-        ]
-    )
+    elements = [
+        *common_fields.compute_common_tx_fields(),
+        poseidon_hash_many(account_deployment_data),
+        poseidon_hash_many(calldata),
+    ]
+    if proof_facts:
+        elements.append(poseidon_hash_many(proof_facts))
+
+    return poseidon_hash_many(elements)
 
 
 def compute_deploy_account_transaction_hash(

starknet_py/net/account/account.py

@@ -185,6 +185,8 @@ async def _prepare_invoke_v3(
         auto_estimate: bool = False,
         tip: Optional[int] = None,
         auto_estimate_tip: bool = False,
+        proof_facts: Optional[List[int]] = None,
+        proof: Optional[List[int]] = None,
     ) -> InvokeV3:
         # pylint: disable=too-many-arguments
         """
@@ -210,6 +212,8 @@ async def _prepare_invoke_v3(
             sender_address=self.address,
             version=3,
             tip=tip,
+            proof_facts=proof_facts or [],
+            proof=proof or [],
         )
 
         resource_bounds = await self._get_resource_bounds(
@@ -399,6 +403,8 @@ async def sign_invoke_v3(
         auto_estimate: bool = False,
         tip: Optional[int] = None,
         auto_estimate_tip: bool = False,
+        proof_facts: Optional[List[int]] = None,
+        proof: Optional[List[int]] = None,
     ) -> InvokeV3:
         # pylint: disable=too-many-arguments
         invoke_tx = await self._prepare_invoke_v3(
@@ -408,6 +414,8 @@ async def sign_invoke_v3(
             auto_estimate=auto_estimate,
             tip=tip,
             auto_estimate_tip=auto_estimate_tip,
+            proof_facts=proof_facts,
+            proof=proof,
         )
         signature = self.signer.sign_transaction(invoke_tx)
         return _add_signature_to_transaction(invoke_tx, signature)
@@ -513,6 +521,8 @@ async def execute_v3(
         auto_estimate: bool = False,
         tip: Optional[int] = None,
         auto_estimate_tip: bool = False,
+        proof_facts: Optional[List[int]] = None,
+        proof: Optional[List[int]] = None,
     ) -> SentTransactionResponse:
         # pylint: disable=too-many-arguments
         execute_transaction = await self.sign_invoke_v3(
@@ -522,6 +532,8 @@ async def execute_v3(
             auto_estimate=auto_estimate,
             tip=tip,
             auto_estimate_tip=auto_estimate_tip,
+            proof_facts=proof_facts,
+            proof=proof,
         )
         return await self._client.send_transaction(execute_transaction)
 

starknet_py/net/account/base_account.py

@@ -167,6 +167,8 @@ async def sign_invoke_v3(
         auto_estimate: bool = False,
         tip: Optional[int] = None,
         auto_estimate_tip: bool = False,
+        proof_facts: Optional[List[int]] = None,
+        proof: Optional[List[int]] = None,
     ) -> InvokeV3:
         # pylint: disable=too-many-arguments
         """
@@ -178,6 +180,8 @@ async def sign_invoke_v3(
         :param auto_estimate: Use automatic fee estimation, not recommend as it may lead to high costs.
         :param tip: The tip amount to be added to the transaction fee.
         :param auto_estimate_tip: Use automatic tip estimation. Using this option may lead to higher costs.
+        :param proof_facts: Optional proof facts for the transaction.
+        :param proof: Optional proof for the transaction.
         :return: Invoke created from the calls.
         """
 
@@ -249,6 +253,8 @@ async def execute_v3(
         auto_estimate: bool = False,
         tip: Optional[int] = None,
         auto_estimate_tip: bool = False,
+        proof_facts: Optional[List[int]] = None,
+        proof: Optional[List[int]] = None,
     ) -> SentTransactionResponse:
         # pylint: disable=too-many-arguments
         """
@@ -260,6 +266,8 @@ async def execute_v3(
         :param auto_estimate: Use automatic fee estimation, not recommend as it may lead to high costs.
         :param tip: The tip amount to be added to the transaction fee.
         :param auto_estimate_tip: Use automatic tip estimation. Using this option may lead to higher costs.
+        :param proof_facts: Optional proof facts for the transaction.
+        :param proof: Optional proof for the transaction.
         :return: SentTransactionResponse.
         """
 

starknet_py/net/client.py

@@ -28,9 +28,11 @@
     StarknetBlockWithTxHashes,
     StorageProofResponse,
     Tag,
+    TraceFlag,
     Transaction,
     TransactionExecutionStatus,
     TransactionReceiptWithBlockInfo,
+    TransactionResponseFlag,
     TransactionStatus,
     TransactionStatusResponse,
 )
@@ -72,12 +74,14 @@ async def get_block_with_txs(
         self,
         block_hash: Optional[Union[Hash, Tag]] = None,
         block_number: Optional[Union[int, Tag]] = None,
+        response_flags: Optional[List[TransactionResponseFlag]] = None,
     ) -> Union[StarknetBlock, PreConfirmedStarknetBlock]:
         """
         Retrieve the block's data by its number or hash.
 
         :param block_hash: Block's hash or literals `"l1_accepted"`, `"pre_confirmed"` or `"latest"`
         :param block_number: Block's number or literals `"l1_accepted"`, `"pre_confirmed"` or `"latest"`
+        :param response_flags: Flags that control what additional fields are included in transaction responses
         :return: StarknetBlock object representing retrieved block with transactions.
         """
 
@@ -86,12 +90,14 @@ async def get_block_with_tx_hashes(
         self,
         block_hash: Optional[Union[Hash, Tag]] = None,
         block_number: Optional[Union[int, Tag]] = None,
+        response_flags: Optional[List[TransactionResponseFlag]] = None,
     ) -> Union[StarknetBlockWithTxHashes, PreConfirmedStarknetBlockWithTxHashes]:
         """
         Retrieve the block's data with a list of contained transaction hashes.
 
         :param block_hash: Block's hash or literals `"l1_accepted"`, `"pre_confirmed"` or `"latest"`
         :param block_number: Block's number or literals `"l1_accepted"`, `"pre_confirmed"` or `"latest"`
+        :param response_flags: Flags that control what additional fields are included in transaction responses
         :return: StarknetBlockWithTxHashes object representing retrieved block with transactions.
         """
 
@@ -100,12 +106,14 @@ async def get_block_with_receipts(
         self,
         block_hash: Optional[Union[Hash, Tag]] = None,
         block_number: Optional[Union[int, Tag]] = None,
+        response_flags: Optional[List[TransactionResponseFlag]] = None,
     ) -> Union[StarknetBlockWithReceipts, PreConfirmedStarknetBlockWithReceipts]:
         """
         Retrieve the block's data with a list of receipts for contained transactions.
 
         :param block_hash: Block's hash or literals `"l1_accepted"`, `"pre_confirmed"` or `"latest"`
         :param block_number: Block's number or literals `"l1_accepted"`, `"pre_confirmed"` or `"latest"`
+        :param response_flags: Flags that control what additional fields are included in transaction responses
         :return: StarknetBlockWithReceipts object representing retrieved block with transactions.
         """
 
@@ -114,12 +122,14 @@ async def trace_block_transactions(
         self,
         block_hash: Optional[Union[Hash, LatestTag]] = None,
         block_number: Optional[Union[int, LatestTag]] = None,
+        trace_flags: Optional[List[TraceFlag]] = None,
     ) -> List[BlockTransactionTrace]:
         """
         Receive the traces of all the transactions within specified block
 
         :param block_hash: Block's hash
         :param block_number: Block's number or "pre_confirmed" for pre_confirmed block
+        :param trace_flags: Flags that indicate when additional information should be included in the trace
         :return: BlockTransactionTraces object representing received traces
         """
 
@@ -178,6 +188,7 @@ async def get_storage_proof(
     async def get_transaction(
         self,
         tx_hash: Hash,
+        response_flags: Optional[List[TransactionResponseFlag]] = None,
     ) -> Transaction:
         """
         Get the details and status of a submitted transaction

starknet_py/net/client_models.py

@@ -292,6 +292,8 @@ class InvokeTransactionV3(TransactionV3):
     sender_address: int
     nonce: int
     account_deployment_data: List[int]
+    proof: Optional[List[int]] = None
+    proof_facts: Optional[List[int]] = None
 
 
 @dataclass
@@ -638,6 +640,10 @@ class StarknetBlockWithTxHashes(BlockHeader):
     transactions: List[int]
 
 
+class TransactionResponseFlag(str, Enum):
+    INCLUDE_PROOF_FACTS = "INCLUDE_PROOF_FACTS"
+
+
 @dataclass
 class StarknetBlockWithReceipts(BlockHeader):
     """
@@ -1052,6 +1058,53 @@ class SimulationFlag(str, Enum):
 
     SKIP_VALIDATE = "SKIP_VALIDATE"
     SKIP_FEE_CHARGE = "SKIP_FEE_CHARGE"
+    RETURN_INITIAL_READS = "RETURN_INITIAL_READS"
+
+
+class TraceFlag(str, Enum):
+    """
+    Enum class representing flags that indicate what additional information should be included in the trace.
+    """
+
+    RETURN_INITIAL_READS = "RETURN_INITIAL_READS"
+
+
+@dataclass
+class StorageInitialRead:
+    contract_address: int
+    key: str
+    value: int
+
+
+@dataclass
+class NonceInitialRead:
+    contract_address: int
+    nonce: int
+
+
+@dataclass
+class ClassHashInitialRead:
+    contract_address: int
+    class_hash: int
+
+
+@dataclass
+class DeclaredContractInitialRead:
+    class_hash: int
+    is_declared: bool
+
+
+@dataclass
+class InitialReads:
+    """
+    Dataclass representing the set of state values fetched from
+    the underlying state reader during execution.
+    """
+
+    storage: Optional[List[StorageInitialRead]] = None
+    nonces: Optional[List[NonceInitialRead]] = None
+    class_hashes: Optional[List[ClassHashInitialRead]] = None
+    declared_contracts: Optional[List[DeclaredContractInitialRead]] = None
 
 
 class EntryPointType(Enum):
@@ -1172,6 +1225,18 @@ class SimulatedTransaction:
     fee_estimation: EstimatedFee
 
 
+@dataclass
+class SimulatedTransactionsWithInitialReads:
+    """
+    Dataclass representing the execution trace and consumed resources
+    of the required transactions, along with initial reads when
+    RETURN_INITIAL_READS is present in simulation_flags.
+    """
+
+    simulated_transactions: List[SimulatedTransaction]
+    initial_reads: InitialReads
+
+
 @dataclass
 class BlockTransactionTrace:
     """
@@ -1182,6 +1247,17 @@ class BlockTransactionTrace:
     trace_root: TransactionTrace
 
 
+@dataclass
+class BlockTransactionTracesWithInitialReads:
+    """
+    Dataclass representing the traces of all transactions in the block, along with the initial reads
+    when RETURN_INITIAL_READS is present in trace_flags.
+    """
+
+    transaction_traces: List[BlockTransactionTrace]
+    initial_reads: InitialReads
+
+
 @dataclass
 class BinaryNode:
     """