updates before sme review

Author: kmurphypolygon

docs/zkEVM/architecture/high-level/smart-contracts/addresses.md

@@ -0,0 +1,30 @@
+## Mainnet contracts
+
+| Contract name                | Address                                                                                                               |
+| ---------------------------- | --------------------------------------------------------------------------------------------------------------------- |
+| PolygonRollupManager         | [0x5132A183E9F3CB7C848b0AAC5Ae0c4f0491B7aB2](https://etherscan.io/address/0x5132A183E9F3CB7C848b0AAC5Ae0c4f0491B7aB2) |
+| PolygonZkEVMBridgeV2         | [0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe) |
+| PolygonZkEVMGlobalExitRootV2 | [0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb) |
+| FflonkVerifier               | [0x4F9A0e7FD2Bf6067db6994CF12E4495Df938E6e9](https://etherscan.io/address/0x4F9A0e7FD2Bf6067db6994CF12E4495Df938E6e9) |
+| PolygonZkEVMDeployer         | [0xCB19eDdE626906eB1EE52357a27F62dd519608C2](https://etherscan.io/address/0xCB19eDdE626906eB1EE52357a27F62dd519608C2) |
+| PolygonZkEVMTimelock         | [0xEf1462451C30Ea7aD8555386226059Fe837CA4EF](https://etherscan.io/address/0xEf1462451C30Ea7aD8555386226059Fe837CA4EF) |
+
+## zkEVM contracts
+
+| Contract name        | Address                                                                                                                        |
+| -------------------- | ------------------------------------------------------------------------------------------------------------------------------ |
+| PolygonZkEVMBridgeV2 | [0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe](https://zkevm.polygonscan.com/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe) |
+| PolygonZkEVMTimelock | [0xBBa0935Fa93Eb23de7990b47F0D96a8f75766d13](https://zkevm.polygonscan.com/address/0xBBa0935Fa93Eb23de7990b47F0D96a8f75766d13) |
+
+
+## CDK contracts 
+
+!!! warning
+    TODO:
+    
+## Test private keys
+
+| Private key       | Address                                                                                                                        |
+| -------------------- | ------------------------------------------------------------------------------------------------------------------------------ |
+| `0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80` | `0xf39fd6e51aad88f6f4ce6ab8827279cfffb92266` |
+| `0xdfd01798f92667dbf91df722434e8fbe96af0211d4d1b82bbbbc8f1def7a814f` | `0xc949254d682d8c9ad5682521675b8f43b102aec4`|

docs/zkEVM/architecture/high-level/smart-contracts/api.md

@@ -0,0 +1,75 @@
+
+
+
+## Functions
+### initialize
+```solidity
+  function initialize(
+  ) external
+```
+
+
+
+
+### setupCommittee
+```solidity
+  function setupCommittee(
+    uint256 _requiredAmountOfSignatures,
+    string[] urls,
+    bytes addrsBytes
+  ) external
+```
+Allows the admin to setup the members of the committee. Note that:
+The system will require N / M signatures where N => _requiredAmountOfSignatures and M => urls.length
+There must be the same amount of urls than addressess encoded in the addrsBytes
+A member is represented by the url and the address contained in urls[i] and addrsBytes[i*_ADDR_SIZE : i*_ADDR_SIZE + _ADDR_SIZE]
+
+
+#### Parameters:
+| Name | Type | Description                                                          |
+| :--- | :--- | :------------------------------------------------------------------- |
+|`_requiredAmountOfSignatures` | uint256 | Required amount of signatures
+|`urls` | string[] | List of urls of the members of the committee
+|`addrsBytes` | bytes | Byte array that contains the addressess of the members of the committee
+
+### getAmountOfMembers
+```solidity
+  function getAmountOfMembers(
+  ) public returns (uint256)
+```
+
+
+
+
+### verifySignatures
+```solidity
+  function verifySignatures(
+    bytes32 signedHash,
+    bytes signaturesAndAddrs
+  ) external
+```
+Verifies that the given signedHash has been signed by requiredAmountOfSignatures committee members
+
+
+#### Parameters:
+| Name | Type | Description                                                          |
+| :--- | :--- | :------------------------------------------------------------------- |
+|`signedHash` | bytes32 | Hash that must have been signed by requiredAmountOfSignatures of committee members
+|`signaturesAndAddrs` | bytes | Byte array containing the signatures and all the addresses of the committee in ascending order
+[signature 0, ..., signature requiredAmountOfSignatures -1, address 0, ... address N]
+note that each ECDSA signatures are used, therefore each one must be 65 bytes
+
+## Events
+### CommitteeUpdated
+```solidity
+  event CommitteeUpdated(
+    bytes32 committeeHash
+  )
+```
+
+Emitted when the committee is updated
+
+#### Parameters:
+| Name                           | Type          | Description                                    |
+| :----------------------------- | :------------ | :--------------------------------------------- |
+|`committeeHash`| bytes32 | hash of the addresses of the committee members