_verifier_logic feature rename

Scarb.toml

@@ -18,14 +18,14 @@ casm = false
 
 [features]
 
-feature_change_my_name = []
-
-recursive = ["feature_change_my_name"]
-recursive_with_poseidon = ["feature_change_my_name"]
-dex = ["feature_change_my_name"]
-small = ["feature_change_my_name"]
-starknet = ["feature_change_my_name"]
-starknet_with_keccak = ["feature_change_my_name"]
+_verifier_logic = []
+
+recursive = ["_verifier_logic"]
+recursive_with_poseidon = ["_verifier_logic"]
+dex = ["_verifier_logic"]
+small = ["_verifier_logic"]
+starknet = ["_verifier_logic"]
+starknet_with_keccak = ["_verifier_logic"]
 
 keccak = []
 blake2s = []

serializer/src/main.rs

@@ -22,7 +22,8 @@ fn main() -> anyhow::Result<()> {
         witness.into_iter()
     );
 
-    let calldata_string = proof.into_iter()
+    let calldata_string = proof
+        .into_iter()
         .map(|f| f.to_string())
         .collect::<Vec<String>>()
         .join(" ");

src/contracts.cairo

@@ -1,8 +1,8 @@
 mod fact_registry_interface;
 
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod proxy;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod verifier;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod fact_registry;

src/lib.cairo

@@ -1,26 +1,26 @@
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod air;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod channel;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod common;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod deserialization;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod domains;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod fri;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod oods;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod proof_of_work;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod queries;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod stark;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod table_commitment;
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 mod vector_commitment;
 
 mod settings;
@@ -32,9 +32,9 @@ mod benches;
 #[cfg(feature: 'recursive')]
 mod tests;
 
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 use integrity::{deserialization::stark::StarkProofWithSerde, stark::{StarkProof, StarkProofImpl},};
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 use starknet::contract_address::ContractAddressZero;
 
 // re-export
@@ -68,10 +68,10 @@ use integrity::air::layouts::starknet::public_input::StarknetPublicInputImpl as
 use integrity::air::layouts::starknet_with_keccak::public_input::StarknetWithKeccakPublicInputImpl as PublicInputImpl;
 
 
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 const SECURITY_BITS: u32 = 50;
 
-#[cfg(feature: 'feature_change_my_name')]
+#[cfg(feature: '_verifier_logic')]
 #[cfg(feature: 'monolith')]
 fn main(mut serialized: Span<felt252>, settings: @VerifierSettings) -> (felt252, felt252) {
     let stark_proof_serde = Serde::<StarkProofWithSerde>::deserialize(ref serialized).unwrap();