Skip to content

Commit 294ca76

Browse files
EmpieichOhsutaiyu
andauthored
Apply suggestions from code review
Co-authored-by: hsutaiyu <51791408+hsutaiyu@users.noreply.github.com>
1 parent f18b4bd commit 294ca76

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

docs/zkEVM/architecture/proving-system/processing-l2-blocks.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,7 @@ Polygon zkEVM therefore stores the state root after processing each transaction.
8787

8888
In each case the state root is stored in a designated slot: The slot 1 of the `0x5ca1ab1e` smart contract, as illustrated in the figure below.
8989

90-
With this approach, the state root is stored as many times as there are transactions in a batch, resulting in accurate monitoring of the entire batch processing at transaction level.
90+
With this approach, the state root is stored for each transaction within a batch, allowing for precise monitoring of the entire batch processing at the transaction level.
9191

9292
### L2 BLOCKHASH
9393

@@ -167,7 +167,7 @@ In the RPC, the method [`zkevm_getNativeBlockHashesInRange`](https://github.com/
167167

168168
## Etrog upgrade (Fork-ID 6)
169169

170-
In the zkEVM Etrog, similarly to the Ethereum setting though not exactly, more data related to the L2 block processing is secured via the `0x5ca1ab1e` smart contract.
170+
In the zkEVM Etrog, similar to the Ethereum setting but not identical, additional data related to the L2 block processing is secured via the `0x5ca1ab1e` smart contract.
171171

172172
In particular, the L2 system smart contract `0x5ca1ab1e` stores, in:
173173

@@ -201,7 +201,7 @@ $$
201201
\texttt{txData} = \texttt{(nonce,gasPrice, gasLimit, to, value, data, from)}
202202
$$
203203

204-
But each L2 transaction data is stored in terms of its cryptographic representative as follows:
204+
But each L2 transaction's data is stored as its cryptographic representation as follows:
205205

206206
$$
207207
\texttt{transactionHashL2 = LinearPoseidon(txData)}
@@ -346,7 +346,7 @@ Next, the system starts processing a new block, which starts with the `changeL2B
346346

347347
The proving system provides the $\mathtt{oldStateRoot = SR_{k−1}}$, and the initial step of processing a block in the ROM is to record it in the `0x5ca1ab1e` smart contract.
348348

349-
Subsequently, yet in contrast to what happened in Dragonfruit upgrade, every transaction containing the BLOCKHASH opcode now provides the correct state root, $\mathtt{SR_{k−1}}$.
349+
Subsequently, and in contrast to what happened in Dragonfruit upgrade, every transaction containing the BLOCKHASH opcode now provides the correct state root, $\mathtt{SR_{k−1}}$.
350350

351351
As shown in the figure below, while transactions within the block are processed, the zkEVM not only updates the L2 state but also adds the information to the $\mathtt{BlockInfoTree}$.
352352

0 commit comments

Comments
 (0)