fix: typos in documentation files

docs/openzl/proposal.md

@@ -139,7 +139,7 @@ We will provide `substrate`-specific tutorials to show case how to code an end-t
    * End-to-end example and test using `groth16` backend
 * Milestone 2 (Feature Complete): Sep, 2022
    * Code complete (experimental) for `plonk` backend
-   * Code complete (experiemental) for `nova` backend
+   * Code complete (experimental) for `nova` backend
    * Spec complete for security audit
 * Milestone 3 (Audit): Nov. 2022
   Potential auditors: ABDK, Least Authority, Trail of Bits

docs/zkSBT/zkSBT Asset.md

@@ -40,7 +40,7 @@ An unique Position, who also bind to a certain sbt, is defined by several parame
 -   asset attribute : pomp range(100~1000, >10000, 1% whale).
 -   position timestamp : "Before Jun-21-2023 03:58:11, After Jun-20-2023 03:58:11"
 
-It would be more efficient and flexalbe to make the merkle tree per asset type/range, while postion timestamp and sbt id shoule be bind to semaphore identity.
+It would be more efficient and flexalbe to make the merkle tree per asset type/range, while position timestamp and sbt id shoule be bind to semaphore identity.
 
 Thus, we will make minor changes on semaphore protocol, the change is aim to resue semaphore libaries as much as possible.
 

docs/zkShuffle/Circuits/01-ContractInterface.md

@@ -139,14 +139,14 @@ Specifies a set of cards to be dealt to a player, which can only be called by ga
 
 ### openCards
 
-```function openCards(uint256 gameId, uint256 playerId, uint8 openningNum, bytes calldata next) external```[[src]](https://github.com/manta-network/zkShuffle/blob/main/packages/contracts/contracts/shuffle/ShuffleManager.sol#L477-L482)
+```function openCards(uint256 gameId, uint256 playerId, uint8 openingNum, bytes calldata next) external```[[src]](https://github.com/manta-network/zkShuffle/blob/main/packages/contracts/contracts/shuffle/ShuffleManager.sol#L477-L482)
 
 Specifies a player to open a number of cards, which can only be called by game contract.
 
 **Parameters:**
 - ```gameId```: The created shuffle game ID.
 - ```playerId```: The player index in the shuffle game.
-- ```openningNum```: The number of cards that the player wants to open.
+- ```openingNum```: The number of cards that the player wants to open.
 - ```next```: The calldata that will be executed in the next invocation.
 
 ```register``` ```shuffle``` ```dealCardsTo``` ```openCards```, these four functions all specify ```next``` as the next operation to be executed, but their execution timing is different.
@@ -279,4 +279,4 @@ contract Game is IBaseGame {
     }
     ...
 }
-```
+```