readme enhancements

HerodotusDev · Mar 21, 2024 · 5a4c09f · 5a4c09f
1 parent f35075d
commit 5a4c09f
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -18,7 +18,7 @@ scarb build
 scarb test
 ```
 
-## Running the Verifier
+## Running the Verifier on Example Proof
 
 ### Local Proof Verification
 
@@ -44,9 +44,11 @@ cargo run --release --bin snfoundry_proof_serializer < examples/proofs/recursive
 
 ```bash
 cd examples/starknet
-./call_contract.sh calldata
+./call_contract.sh 0x069df5a99fa42c37c946c58da0953d721b928078e740fef14da44e0f8c01f0f6 calldata
 ```
 
+[List of deployed Verifier Contracts](deployed_contracts.md)
+
 ## Creating a Proof
 
 To create a proof, perform the following steps:

diff --git a/deployed_contracts.md b/deployed_contracts.md
@@ -0,0 +1,14 @@
+| Contract Address                                                                                    | Network               | Layout                         |
+|-----------------------------------------------------------------------------------------------------|-----------------------|--------------------------------|
+|                                                                                                     | **Mainnet**           | **dex**                        |
+|                                                                                                     | **Mainnet**           | **recursive**                  |
+|                                                                                                     | **Mainnet**           | **recursive_with_poseidon**    |
+|                                                                                                     | **Mainnet**           | **small**                      |
+|                                                                                                     | **Mainnet**           | **starknet**                   |
+|                                                                                                     | **Mainnet**           | **starknet_with_keccak**       |
+|                                                                                                     | **Sepolia Testnet**   | **dex**                        |
+|[0x069df5a99fa42c37c946c58da0953d721b928078e740fef14da44e0f8c01f0f6](https://sepolia.starkscan.co/contract/0x069df5a99fa42c37c946c58da0953d721b928078e740fef14da44e0f8c01f0f6)                                   | **Sepolia Testnet**   | **recursive**                  |
+|                                                                                                     | **Sepolia Testnet**   | **recursive_with_poseidon**    |
+|                                                                                                     | **Sepolia Testnet**   | **small**                      |
+|                                                                                                     | **Sepolia Testnet**   | **starknet**                   |
+|                                                                                                     | **Sepolia Testnet**   | **starknet_with_keccak**       |