chore: fix minor typo (matter-labs#518)

## What ❔ fix minor typo ## Why ❔ minor typo succesfully---->successfully were----->where occurence---->occurrence separte---->separate constrain system---->constraint system constraing system---->constraint system Co-authored-by: Igor Aleksanov <[email protected]>
MoneyBund · Nov 30, 2023 · dddb797 · dddb797
1 parent 4b00ee0
commit dddb797
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/docs/advanced/03_withdrawals.md b/docs/advanced/03_withdrawals.md
@@ -81,7 +81,7 @@ This is a good opportunity to talk about system contracts that are automatically
 list here
 [in github](https://github.com/matter-labs/era-system-contracts/blob/436d57da2fb35c40e38bcb6637c3a090ddf60701/scripts/constants.ts#L29)
 
-This is the place were we specify that `bootloader` is at address 0x8001, `NonceHolder` at 0x8003 etc.
+This is the place where we specify that `bootloader` is at address 0x8001, `NonceHolder` at 0x8003 etc.
 
 This brings us to
 [L2EthToken.sol](https://github.com/matter-labs/era-system-contracts/blob/main/contracts/L2EthToken.sol) that has the

diff --git a/docs/advanced/contracts.md b/docs/advanced/contracts.md
@@ -32,7 +32,7 @@ a bunch of registers. More details on this will be written in the future article
 Having a different VM means that we must have a separate compiler [zk-solc](https://github.com/matter-labs/zksolc-bin) -
 as the bytecode that is produced by this compiler has to use the zkEVM specific opcodes.
 
-While having a separte compiler introduces a bunch of challenges (for example, we need a custom
+While having a separate compiler introduces a bunch of challenges (for example, we need a custom
 [hardhat plugins](https://github.com/matter-labs/hardhat-zksync) ), it brings a bunch of benefits too: for example it
 allows us to move some of the VM logic (like new contract deployment) into System contracts - which allows faster &
 cheaper modifications and increased flexibility.

diff --git a/docs/advanced/prover.md b/docs/advanced/prover.md
@@ -86,7 +86,7 @@ pub fn select<F: SmallField, CS: ConstraintSystem<F>>(
 ```
 
 And then there is a block of code for witness evaluation (let's skip it for now), and the final block that adds the gate
-to the constrain system `cs`:
+to the constraint system `cs`:
 
 ```rust
     if <CS::Config as CSConfig>::SetupConfig::KEEP_SETUP {
@@ -204,7 +204,7 @@ filled with concrete values.
 
 ### CsAllocatable
 
-Implements CsAllocatable - which allows you to directly 'allocate' this struct within constraing system (similarly to
+Implements CsAllocatable - which allows you to directly 'allocate' this struct within constraint system (similarly to
 how we were operating on regular 'Variables' above).
 
 ### CSSelectable