docs: Update version_notes.adoc with 0.13.1 release notes

components/Starknet/modules/starknet_versions/nav.adoc

@@ -1,4 +1,3 @@
-* Versions
-** xref:version_notes.adoc[Starknet release notes]
-// ** xref:upcoming_versions.adoc[Upcoming Starknet versions]
+* Release information
+** xref:version_notes.adoc[Release notes]
 ** xref:deprecated.adoc[Deprecated, unsupported, and removed features]

components/Starknet/modules/starknet_versions/pages/version_notes.adoc

@@ -5,7 +5,7 @@ The following release notes cover the ongoing version changes to Starknet. You c
 
 == Starknet environments
 
-Within Starknet's deployment pipeline there are separate and distinct networks that operate independently of each other for testing before deployment.
+Within Starknet's deployment pipeline, there are separate and distinct networks that operate independently of each other for testing before deployment.
 
 
 include::ROOT:partial$snippet_important_goerli2_removed.adoc[]
@@ -16,13 +16,44 @@ include::ROOT:partial$snippet_important_goerli2_removed.adoc[]
 |Environment |Starknet version|Sierra version|Cairo version
 
 |Mainnet|0.13.0|1.4.0|2.0.0 - 2.5.4
-
-|Sepolia Testnet|0.13.0|1.4.0|2.0.0 - 2.5.4
+|Sepolia Testnet|0.13.1|1.5.0|2.0.0 - 2.6
 |Goerli Testnet (deprecated)|0.13.0|1.4.0|2.0.0 - 2.5.4
 |===
 
+[id="version0.13.1"]
+== Starknet v0.13.1
+
+[discrete]
+=== New features and enhancements
+
+* *Cheaper data availability:* Starknet uses link:https://eips.ethereum.org/EIPS/eip-4844[EIP-4844].
+* Time-related syscalls when called from an account contract's `+__validate__+` function:
+** `timestamp` returns the hour, rounded down.
+** `block_number` returns the block number, rounded down to the nearest multiple of 100.
+* *Optimization:* Load into memory only the functions in a contract that are actually used when generating the proof.
+* Add `starknet-compiled-class-hash` command.
+
+[discrete]
+=== API changes:
+
+Starknet block:
+
+* New field `l1_da_mode`, which indicates whether EIP-4844 was used in the block.
+* `eth_l1_gas_price` and `strk_l1_gas_price` were replaced, and the information now contains the data gas price (EIP-4844) in addition to the regular gas price
+* `execution_resources` in the transaction receipt now contains:
+** data availability resources
+** syscall resources, which contribute to the transaction fee but were not included in the receipt before this version.
+* `transaction_commitment` and `event_commitment` are added to the block (zero is returned for old blocks)
+
+[discrete]
+=== Technical changes:
+
+Starknet now supports multiple L1 providers.
+
+For more details see the link:https://community.starknet.io/t/starknet-v0-13-1-pre-release-notes/113664[community forum post].
+
 [id="version0.13.0"]
-== Starknet v0.13.0
+== Starknet v0.13.0 (Jan 10, 23)
 
 Starknet v0.13.0 is live on Mainnet.
 
@@ -38,7 +69,7 @@ Starknet 0.13.0 includes the following changes:
 
 
 [id="version0.12.3"]
-== Starknet v0.12.3 (November 19th 23)
+== Starknet v0.12.3 (Nov 19, 23)
 
 Starknet v0.12.3 is live on Mainnet.
 
@@ -63,7 +94,7 @@ Move structs that are common to `secp256k1` and `secp256r1` to a separate file.
 
 
 [id="version0.12.2"]
-== Starknet v0.12.2 (September 4th 23)
+== Starknet v0.12.2 (Sep 04, 23)
 
 Starknet v0.12.2 is live on Mainnet.
 
@@ -74,7 +105,7 @@ This version includes the following changes:
 * Increased maximum Cairo steps per transaction from 1 million to 3 million.
 
 [id="version0.12.1"]
-== Starknet v0.12.1 (August 21st 23)
+== Starknet v0.12.1 (Aug 21, 23)
 
 Starknet v0.12.1 is live on Mainnet.
 
@@ -85,7 +116,7 @@ This version includes the following changes:
 * Keccak builtin.
 
 [id="version0.12.0"]
-== Starknet v0.12.0 (July 12th, 23)
+== Starknet v0.12.0 (July 12, 23)
 
 Starknet v0.12.0 is live on Mainnet.
 
@@ -265,7 +296,6 @@ Technical changes:
 
 [id="version0.9.1"]
 == Starknet v0.9.1 (July 20, 22)
-
 This version contains the following changes:
 
 Starknet: