Fmt

HerodotusDev · Nov 8, 2024 · 4e36286 · 4e36286
1 parent 00cee89
commit 4e36286
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/src/contracts/verifier.cairo b/src/contracts/verifier.cairo
@@ -66,7 +66,8 @@ mod CairoVerifier {
         storage::{StoragePointerReadAccess, StoragePointerWriteAccess, StoragePathEntry, Map},
     };
     use integrity::{
-        MemoryVerification, PublicInputImpl, StarkProofWithSerde, stark::{StarkProof, StarkProofImpl},
+        MemoryVerification, PublicInputImpl, StarkProofWithSerde,
+        stark::{StarkProof, StarkProofImpl},
         fri::fri::{
             FriLayerWitness, FriVerificationStateConstant, FriVerificationStateVariable,
             hash_constant, hash_variable

diff --git a/src/lib.cairo b/src/lib.cairo
@@ -42,8 +42,9 @@ use integrity::{
         IFactRegistry, IFactRegistryDispatcher, IFactRegistryDispatcherTrait
     },
     settings::{
-        FactHash, VerificationHash, PresetHash, SecurityBits, JobId, MemoryVerification, HasherBitLength,
-        StoneVersion, VerifierSettings, VerifierPreset, VerifierConfiguration, split_settings
+        FactHash, VerificationHash, PresetHash, SecurityBits, JobId, MemoryVerification,
+        HasherBitLength, StoneVersion, VerifierSettings, VerifierPreset, VerifierConfiguration,
+        split_settings
     },
 };