layouts optimizations

.github/workflows/proof_verification_tests.yml

@@ -13,7 +13,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet"]
+        layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet", "starknet_with_keccak"]
     steps:
       - name: Checkout repository
         uses: actions/checkout@v3

README.md

@@ -44,7 +44,7 @@ cargo run --release --bin snfoundry_proof_serializer < examples/proofs/recursive
 
 ```bash
 cd examples/starknet
-./1-verify-proof.sh 0x069df5a99fa42c37c946c58da0953d721b928078e740fef14da44e0f8c01f0f6 calldata
+./1-verify-proof.sh 0x487810706cc0dfdba0c82403d98e9d32dc36793ed2b731231e5ea19f00c5861 calldata
 ```
 
 [List of deployed Verifier Contracts](deployed_contracts.md)
@@ -57,7 +57,7 @@ By default, the verifier is configured for recursive layout and keccak hash for
 python configure.py -l recursive -s keccak
 ```
 
-layout types: [dex, recursive, recursive_with_poseidon, small, starknet]
+layout types: [dex, recursive, recursive_with_poseidon, small, starknet, starknet_with_keccak]  
 hash types: [keccak, blake2s]
 
 ## Creating a Proof

deployed_contracts.md

@@ -7,7 +7,7 @@
 |                                                                                                     | **Mainnet**           | **starknet**                   |
 |                                                                                                     | **Mainnet**           | **starknet_with_keccak**       |
 |                                                                                                     | **Sepolia Testnet**   | **dex**                        |
-|[0x069df5a99fa42c37c946c58da0953d721b928078e740fef14da44e0f8c01f0f6](https://sepolia.starkscan.co/contract/0x069df5a99fa42c37c946c58da0953d721b928078e740fef14da44e0f8c01f0f6)                                   | **Sepolia Testnet**   | **recursive**                  |
+|[0x487810706cc0dfdba0c82403d98e9d32dc36793ed2b731231e5ea19f00c5861](https://sepolia.starkscan.co/contract/0x487810706cc0dfdba0c82403d98e9d32dc36793ed2b731231e5ea19f00c5861)                                    | **Sepolia Testnet**   | **recursive**                  |
 |                                                                                                     | **Sepolia Testnet**   | **recursive_with_poseidon**    |
 |                                                                                                     | **Sepolia Testnet**   | **small**                      |
 |                                                                                                     | **Sepolia Testnet**   | **starknet**                   |