diff --git a/Scarb.toml b/Scarb.toml index 54ac2175..064dd5aa 100644 --- a/Scarb.toml +++ b/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 = [] diff --git a/serializer/src/main.rs b/serializer/src/main.rs index d7c11b55..b3c82ce6 100644 --- a/serializer/src/main.rs +++ b/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::>() .join(" "); diff --git a/src/contracts.cairo b/src/contracts.cairo index 70f516aa..050fbfc1 100644 --- a/src/contracts.cairo +++ b/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; diff --git a/src/lib.cairo b/src/lib.cairo index 8d42bb6c..c46b9a4d 100644 --- a/src/lib.cairo +++ b/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, settings: @VerifierSettings) -> (felt252, felt252) { let stark_proof_serde = Serde::::deserialize(ref serialized).unwrap();