From 9c131d26c07ef12e56669fde98915485d610b85c Mon Sep 17 00:00:00 2001 From: Filip Krawczyk Date: Thu, 24 Oct 2024 17:21:41 +0200 Subject: [PATCH] Re-export some types --- src/lib.cairo | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/lib.cairo b/src/lib.cairo index 5f630e7d..95522c10 100644 --- a/src/lib.cairo +++ b/src/lib.cairo @@ -34,10 +34,16 @@ mod tests; #[cfg(feature: 'feature_change_my_name')] use cairo_verifier::{ deserialization::stark::StarkProofWithSerde, stark::{StarkProof, StarkProofImpl}, - settings::{VerifierSettings, CairoVersion}, }; +#[cfg(feature: 'feature_change_my_name')] use starknet::contract_address::ContractAddressZero; +// re-export +use cairo_verifier::{ + contracts::fact_registry_interface::{IFactRegistry, IFactRegistryDispatcher, IFactRegistryDispatcherTrait}, + settings::{FactHash, VerificationHash, PresetHash, SecurityBits, JobId, CairoVersion, HasherBitLength, StoneVersion, VerifierSettings, VerifierPreset, VerifierConfiguration, split_settings}, +}; + #[cfg(feature: 'dex')] use cairo_verifier::air::layouts::dex::public_input::DexPublicInputImpl as PublicInputImpl; #[cfg(feature: 'recursive')] @@ -52,6 +58,7 @@ use cairo_verifier::air::layouts::starknet::public_input::StarknetPublicInputImp use cairo_verifier::air::layouts::starknet_with_keccak::public_input::StarknetWithKeccakPublicInputImpl as PublicInputImpl; +#[cfg(feature: 'feature_change_my_name')] const SECURITY_BITS: u32 = 50; #[cfg(feature: 'feature_change_my_name')]