v0.13.6 (#1647)

* init&finish

* typo fix

* codereview

* updated builtin limits

* Update version-notes.adoc

Author: LandauRaz

components/Starknet/modules/resources/pages/chain-info.adoc

@@ -31,23 +31,24 @@ Starting from v0.13.0, blockifier-related constants and limits are defined for e
 Starting from v0.13.5, resources are denominated in units of L2 gas, L1 gas, and L1 data gas.
 ====
 
-[cols="1,2,1,1"]
+
+[cols="1,2,1"]
 |===
-| Entity | Description | Sepolia | Mainnet
+| Entity | Description | Limit
 
 | Block time
 | The maximum amount of time within which a pending block is closed, if no other limit is met
 | 30 seconds
-| 30 seconds
 
 | Max L2 gas per block
 a| The maximum amount of L2 gas that a block can contain
 [NOTE]
 ====
 This limit ensures block production times remains consistent and predictable.
 ====
-| 5 * 10^9^ 
-| 5 * 10^9^ 
+| Mainnet: 5 * 10^9^
+
+Sepolia: 4 * 10^9^ on 
 
 | Max L2 gas per transaction
 a| The maximum number of computational steps, measured in L2 gas, that a transaction can contain when processed on the Starknet network
@@ -56,7 +57,6 @@ a| The maximum number of computational steps, measured in L2 gas, that a transac
 This limit is important for ensuring the efficient execution of transactions and preventing potential congestion.
 ====
 | 10^9^ 
-| 10^9^
 
 | Max state updates per transaction
 a| The maximum number of storage updates that a single transaction can generate
@@ -65,32 +65,26 @@ a| The maximum number of storage updates that a single transaction can generate
 This limit helps maintain network stability and predictable performance.
 ====
 | 2,000
-| 2,000
 
 | Max number of events per transaction
 | The maximum number of events that a transaction can emit during its execution
 | 1,000
-| 1,000
 
 | Max number of data felts per event
 | The maximum number of felts that an event can contain in its `data` array
 | 300
-| 300
 
 | Max number of key felts per event
 | The maximum number of felts that an event can contain in its `keys` array
 | 50
-| 50
 
 | Max L2 gas for `validate`
 | The maximum number of computational steps, measured in Cairo steps, for a `validate` function
 | 10^8^
-| 10^8^
 
 | Max contract bytecode size
 | The maximum size of the bytecode or program that a smart contract can have on Starknet
 | 81,920 felts
-| 81,920 felts
 
 | Max contract class size
 a| The maximum size for the Sierra file of a contract class within Starknet
@@ -99,24 +93,63 @@ a| The maximum size for the Sierra file of a contract class within Starknet
 This limit is important for ensuring the network's scalability and security.
 ====
 | 4,089,446 bytes
-| 4,089,446 bytes
 
 | IP address limits
 | The amount of contract reads and writes that a single IP address can make (in order to reduce network spam)
 | 200 per min per IP address
-| 200 per min per IP address
 
 | Signature length
 | The maximum length of a signature
 | 4,000 felts
-| 4,000 felts
 
 | Calldata length
 | The maximum length of a transaction calldata
 | 5,000 felts
-| 5,000 felts
 |===
 
+=== Block builtin limits
+
+[IMPORTANT]
+====
+Currently, block builtin limits apply only for Sepolia.
+
+For more information, see xref:version-notes.adoc#starknet_v0_13_6_8_jul_25[the release notes for Starknet version 0.13.6].
+====
+
+[%autowidth]
+|===
+| Builtin | Limit
+
+| Range Check
+| 57,142,857
+
+| ECDSA
+| 3,000
+
+| Poseidon
+| 479,961
+
+| Pedersen
+| 493,827
+
+| Bitwise
+| 6,861,063
+
+| EC OP
+| 6,994
+
+| Keccak
+| 9,790
+
+| Range Check 96
+| 71,428,571
+
+| Add Mod
+| 16,000,000
+
+| Mul Mod
+| 6,622,516
+|===
 
 == Deprecated features
 

components/Starknet/modules/resources/pages/version-notes.adoc

@@ -5,11 +5,29 @@
 You can get the latest updates delivered to your inbox by subscribing to the https://www.starknet.io/starknet-devs-newsletter/[Starknet Devs Newsletter^].
 ====
 
+== Starknet v0.13.6 (8 Jul, '25)
+
+Starknet v0.13.6 is live on Testnet and scheduled be live on Mainnet on July 8th.
+
+Starknet v0.13.6 is a configuration change done to support integration by the https://docs.starknet.io/stwo-book/[S-Two prover^], including:
+
+* Introducing builtin tracking and temporarily disabling Cairo Native: The xref:architecture:os.adoc[Starknet OS] now tracks individual builtins usages, xref:chain-info.adoc#block_builtin_limits[capping the number of builtins that may fit inside each block]. Since https://github.com/lambdaclass/cairo_native[Cairo Native^] does currently not support this kind of tracking, its usage is temporarily disabled and will be enabled again once this capability is supported.
++
+[NOTE]
+====
+Cairo Native hasn't yet been enabled on Mainnet, and disabling it only affects Sepolia. 
+====
+* Reducing maximum block size: The amount of L2 gas that a block can contain is xref:chain-info.adoc#current_limits[decreased from 5B to 4B L2 gas].
+
+.Additional resources
+* https://community.starknet.io/t/sn-v0-13-6-pre-release-notes/115680[_SN v0.13.6 pre-release notes_ on Starknet's community forum]
+* https://community.starknet.io/t/introducing-sn-0-13-6/115678[_Introducing SN 0.13.6_ on Starknet's community forum]
+
 == Starknet v0.13.4 and v0.13.5 (Mar 24, '25)
 
 Starknet v0.13.4 and v0.13.5 are live on Mainnet. All the big improvements came in v0.13.4, and the v0.13.5 upgrade rolled out immediately after, bringing minor adjustments to help the ecosystem gear up for Starknet's next upgrade.
 
-Starknet 0.13.4 includes the following changes:
+Starknet v0.13.4 includes the following changes:
 
 * *Cairo Native Execution*: Contracts compiled with Sierra ≥ 1.7.0 can run faster by being executed natively (without the Cairo VM)