Merge pull request 0xPolygon#176 from 0xPolygon/EmpieichO-patch-1

Update agglayer.md - fixing minor typos

Author: 0xgraciegrace

docs/learn/agglayer.md

@@ -22,7 +22,7 @@ Reliance on bridging in order to connect what are essentially isolated networks,
 
 Let's take a deeper look at cross-chain transfers.
 
-First of all, we understand execution of atomic cross-chain transactions to mean that, with every set of transactions a user submits to multiple chains, the user has the guarantee that either all transactions are execute successfully or none of them is included in any chain.[^1]
+First of all, we understand execution of atomic cross-chain transactions to mean that, with every set of transactions a user submits to multiple chains, the user has the guarantee that either all transactions are executed successfully or none of them is included in any chain.[^1]
 
 Consider the following example as a typical cross-chain transfer.
 
@@ -97,7 +97,7 @@ There's a subtle detail about validiums that needs to be noted.
 
 For all rollup chains, we have all data necessary to retrieve the proof of inclusion for a particular message in some list $M_i$.
 
-But this is not so validium chains. For instance, there could be a 'data withholding' attack.
+But this is not so with validium chains. For instance, there could be a 'data withholding' attack.
 
 So we need to ensure that 'data withholding' attacks do no affect validium users' ability to process an exit or message from a rollup.
 
@@ -106,7 +106,7 @@ The solution that enables validium users to circumvent 'data withholding' attack
 
 #### Proof aggregation interface
 
-The `submitBatch` data interface used to transmit proofs between chains and the AggLayer, involves the following data elements. The below table records the interface data elements, their types and brief descriptions.
+The `submitBatch` data interface is used to transmit proofs between chains and the AggLayer, involves the following data elements. The below table records the interface data elements, their types and brief descriptions.
 
 |          Field           |      Type       | Description                                                               |
 | :----------------------: | :-------------: | ------------------------------------------------------------------------- |