alias fix

configure.py

@@ -12,7 +12,7 @@ def select_types() -> str:
     """Prompts the user to select a type."""
     questions = [
         inquirer.List("layout_type", message="Select layout", choices=LAYOUT_TYPES),
-        inquirer.List("hash_type", message="Select hash", choices=HASH_TYPES)
+        inquirer.List("hash_type", message="Select hash", choices=HASH_TYPES),
     ]
     answers = inquirer.prompt(questions)
     return (answers["layout_type"], answers["hash_type"])
@@ -32,7 +32,7 @@ def main(layout_type=None, hash_type=None):
         sys.exit(1)
 
     current_directory = Path("src")
-    for file_path in current_directory.rglob("*"):
+    for file_path in current_directory.rglob("*.cairo"):
         if file_path.is_file():
             process_file(file_path, [layout_type, hash_type])
 

fact_registry/src/verifier.cairo

@@ -7,10 +7,7 @@ trait ICairoVerifier<TContractState> {
 
 #[starknet::component]
 mod CairoVerifier {
-    use cairo_verifier::{
-        stark::{StarkProof, StarkProofImpl},
-        air::layouts::recursive::public_input::RecursivePublicInputImpl,
-    };
+    use cairo_verifier::{PublicInputImpl, stark::{StarkProof, StarkProofImpl}};
 
     #[storage]
     struct Storage {}

src/lib.cairo

@@ -21,19 +21,19 @@ mod tests;
 use cairo_verifier::{
     deserialization::stark::StarkProofWithSerde, stark::{StarkProof, StarkProofImpl},
     // === DEX BEGIN ===
-    // air::layouts::dex::public_input::DexPublicInputImpl,
+    // air::layouts::dex::public_input::DexPublicInputImpl as PublicInputImpl,
     // === DEX END ===
     // === RECURSIVE BEGIN ===
-    air::layouts::recursive::public_input::RecursivePublicInputImpl,
+    air::layouts::recursive::public_input::RecursivePublicInputImpl as PublicInputImpl,
 // === RECURSIVE END ===
 // === RECURSIVE_WITH_POSEIDON BEGIN ===
-// air::layouts::recursive_with_poseidon::public_input::RecursiveWithPoseidonPublicInputImpl,
+// air::layouts::recursive_with_poseidon::public_input::RecursiveWithPoseidonPublicInputImpl as PublicInputImpl,
 // === RECURSIVE_WITH_POSEIDON END ===
 // === SMALL BEGIN ===
-// air::layouts::small::public_input::SmallPublicInputImpl,
+// air::layouts::small::public_input::SmallPublicInputImpl as PublicInputImpl,
 // === SMALL END ===
 // === STARKNET BEGIN ===
-// air::layouts::starknet::public_input::StarknetPublicInputImpl,
+// air::layouts::starknet::public_input::StarknetPublicInputImpl as PublicInputImpl,
 // === STARKNET END ===
 };