Support for all_cairo layout

README.md

@@ -84,7 +84,7 @@ By default, the verifier is configured for monolith version, recursive layout an
 scarb build --no-default-features --features small,blake2s,monolith
 ```
 
-`layout`: [`dex`, `recursive`, `recursive_with_poseidon`, `small`, `starknet`, `starknet_with_keccak`]<br />
+`layout`: [`all_cairo`, `dex`, `recursive`, `recursive_with_poseidon`, `small`, `starknet`, `starknet_with_keccak`]<br />
 hash functions: [`keccak`, `blake2s`]<br />
 verifier types: [`monolith`, `split`]
 

Scarb.toml

@@ -19,9 +19,10 @@ casm = false
 
 [features]
 
+all_cairo = []
+dex = []
 recursive = []
 recursive_with_poseidon = []
-dex = []
 small = []
 starknet = []
 starknet_with_keccak = []

deployment/verifiers/all_cairo/blake2s/deploy.toml

@@ -0,0 +1,41 @@
+[[call]]
+call_type = "deploy"
+class_hash = "0x6d577da12889a8170baf015da1cdf2117d9d9a21367fa5826adb9f57d04efa7"
+inputs = []
+id = "contract_composition_1"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x55bb68f207fe1bd447496e89d7d905a241c629aa6eade45a7ed1f54df21fae4"
+inputs = []
+id = "contract_composition_2"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x7b1ebd1e1686349bab1b5fcd24308780231574b26ee9df42848f7d9ec64969d"
+inputs = []
+id = "contract_composition_3"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x410351759538a3fb981d0dd08117a38a9bf67eae19a30b8c1e2d0af3cadf9d1"
+inputs = ["contract_composition_1", "contract_composition_2", "contract_composition_3"]
+id = "contract_composition_master"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x7353fcc55f6132020f0d45dccca5428ca8d22d98487b9f5016a83c6c1c70600"
+inputs = []
+id = "contract_oods"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x3776df180174d78feb6e79280137d1bbd994e489e597ba8edc842ca623ce02b"
+inputs = ["contract_composition_master", "contract_oods"]
+id = "cairo_verifier"
+unique = false

deployment/verifiers/all_cairo/blake2s/register.sh

@@ -0,0 +1,12 @@
+echo -n "FactRegistry address: "
+read FACT_REGISTRY
+
+echo -n "Verifier address: "
+read VERIFIER
+
+sncast \
+    invoke \
+    --fee-token eth \
+    --contract-address $FACT_REGISTRY \
+    --function "register_verifier" \
+    --calldata "0x616c6c5f636169726f 0x626c616b653273 $VERIFIER"

deployment/verifiers/all_cairo/keccak/deploy.toml

@@ -0,0 +1,41 @@
+[[call]]
+call_type = "deploy"
+class_hash = "0x6d577da12889a8170baf015da1cdf2117d9d9a21367fa5826adb9f57d04efa7"
+inputs = []
+id = "contract_composition_1"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x55bb68f207fe1bd447496e89d7d905a241c629aa6eade45a7ed1f54df21fae4"
+inputs = []
+id = "contract_composition_2"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x7b1ebd1e1686349bab1b5fcd24308780231574b26ee9df42848f7d9ec64969d"
+inputs = []
+id = "contract_composition_3"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x410351759538a3fb981d0dd08117a38a9bf67eae19a30b8c1e2d0af3cadf9d1"
+inputs = ["contract_composition_1", "contract_composition_2", "contract_composition_3"]
+id = "contract_composition_master"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x7353fcc55f6132020f0d45dccca5428ca8d22d98487b9f5016a83c6c1c70600"
+inputs = []
+id = "contract_oods"
+unique = false
+
+[[call]]
+call_type = "deploy"
+class_hash = "0x646bac0dcfeaf1610e9ab9a01da82253d9b38277a192e2c81ae9f4839445294"
+inputs = ["contract_composition_master", "contract_oods"]
+id = "cairo_verifier"
+unique = false

deployment/verifiers/all_cairo/keccak/register.sh

@@ -0,0 +1,12 @@
+echo -n "FactRegistry address: "
+read FACT_REGISTRY
+
+echo -n "Verifier address: "
+read VERIFIER
+
+sncast \
+    invoke \
+    --fee-token eth \
+    --contract-address $FACT_REGISTRY \
+    --function "register_verifier" \
+    --calldata "0x616c6c5f636169726f 0x6b656363616b $VERIFIER"

src/air/layouts.cairo

@@ -1,3 +1,5 @@
+#[cfg(feature: 'all_cairo')]
+mod all_cairo;
 #[cfg(feature: 'dex')]
 mod dex;
 #[cfg(feature: 'recursive')]

src/air/layouts/_generator/main.py

@@ -481,6 +481,13 @@ def handle_github_file(url, output_file, layout, settings={}):
 def main():
     # layouts = ('recursive', 'recursive_with_poseidon', 'small', 'dex', 'starknet', 'starknet_with_keccak')
     layout_settings = {
+        'all_cairo': {
+            'eval_oods_polynomial': { 'value_opt_level': OptLevel.POW_ARRAY },
+            'eval_composition_polynomial': {
+                'split': [219, 69, 132],
+                'value_opt_level': OptLevel.VALUE_ARRAY,
+            },
+        },
         'recursive': {
             'eval_oods_polynomial': { 'value_opt_level': OptLevel.VALUE_ARRAY },
             'eval_composition_polynomial': { 'value_opt_level': OptLevel.VALUE_ARRAY },