minor clarifications to state diff commitment in blocks (#1699)

Author: LandauRaz

modules/architecture/pages/blocks.adoc

@@ -122,8 +122,13 @@ h(
 Where:
 
 - `h` is the  Poseidon hash function
+- `s` is the number of deployed contracts
+- `r` is the number of contracts whose class was replaced
+- `d` is the number of declared classes
 - `1` and `0` are placeholders that may be used in the future
-- `c~i~,k~i,1~, v~i,1~, ... , k~i,m^i^~,v~i,m^i^~` are `m^i^` updates `(k~i,1~, v~i,1~), ... ,(k~i,m^i^~, v~i,m^i^~)` to contract addresses `c~i~`
+- `n` is the number of contracts whose storage was updated
+- `c~i~,k~i,1~, v~i,1~, ... , k~i,m^i^~,v~i,m^i^~` are `m^i^` updates `(k~i,1~, v~i,1~), ... ,(k~i,m^i^~, v~i,m^i^~)` to contract address `c~i~` (where `k~i,1~, ... , k~i,m^i^~` are the keys and `v~i,1~, ... , v~i,m^i^~` are the new values)
+- `k` is the number of accounts whose nonce was updated
 
 == Transactions, events, and receipts commitments
 The commitment to transactions, the commitment to events and the commitment to receipts are all roots of height-64 binary Merkle Patricia tries where the leaf at index `i` corresponds to: