Format

HerodotusDev · Oct 24, 2024 · 19c7e80 · 19c7e80
1 parent e341830
commit 19c7e80
Show file tree

Hide file tree

Showing 5 changed files with 21 additions and 16 deletions.
diff --git a/src/contracts.cairo b/src/contracts.cairo
@@ -5,4 +5,4 @@ mod proxy;
 #[cfg(feature: 'feature_change_my_name')]
 mod verifier;
 #[cfg(feature: 'feature_change_my_name')]
-mod fact_registry;
+mod fact_registry;
diff --git a/src/contracts/fact_registry.cairo b/src/contracts/fact_registry.cairo
@@ -2,8 +2,7 @@ use cairo_verifier::{
     StarkProofWithSerde,
     fri::fri::{FriLayerWitness, FriVerificationStateConstant, FriVerificationStateVariable},
     contracts::{
-        fact_registry_interface::{VerificationListElement, Verification},
-        verifier::InitResult,
+        fact_registry_interface::{VerificationListElement, Verification}, verifier::InitResult,
     },
     settings::{
         VerifierSettings, VerificationHash, HasherBitLength, StoneVersion, CairoVersion,
@@ -13,7 +12,6 @@ use cairo_verifier::{
 use starknet::ContractAddress;
 
 
-
 #[derive(Drop, Copy, Serde, starknet::Event)]
 struct FactRegistered {
     #[key]
@@ -77,7 +75,9 @@ mod FactRegistry {
             VerificationHash, PresetHash, SecurityBits,
         },
         contracts::{
-            fact_registry::{VerificationListElement, Verification, IFactRegistryExternal, FactRegistered},
+            fact_registry::{
+                VerificationListElement, Verification, IFactRegistryExternal, FactRegistered
+            },
             fact_registry_interface::IFactRegistry,
         }
     };

diff --git a/src/contracts/fact_registry_interface.cairo b/src/contracts/fact_registry_interface.cairo
@@ -1,7 +1,5 @@
 use cairo_verifier::{
-    settings::{
-        FactHash, VerifierPreset, VerificationHash, SecurityBits, VerifierConfiguration,
-    },
+    settings::{FactHash, VerifierPreset, VerificationHash, SecurityBits, VerifierConfiguration,},
 };
 use starknet::ContractAddress;
 
@@ -30,4 +28,4 @@ trait IFactRegistry<TContractState> {
     ) -> Option<Verification>;
 
     fn get_verifier_address(self: @TContractState, preset: VerifierPreset) -> ContractAddress;
-}
+}
diff --git a/src/contracts/proxy.cairo b/src/contracts/proxy.cairo
@@ -71,9 +71,7 @@ mod Proxy {
                 VerifierConfiguration, FactRegistered, VerificationListElement, Verification,
                 VerifierPreset
             },
-            fact_registry_interface::{
-                IFactRegistryDispatcher, IFactRegistryDispatcherTrait,
-            }
+            fact_registry_interface::{IFactRegistryDispatcher, IFactRegistryDispatcherTrait,}
         },
         StarkProofWithSerde, StarkProof, CairoVersion,
         fri::fri::{FriLayerWitness, FriVerificationStateConstant, FriVerificationStateVariable},
@@ -112,7 +110,9 @@ mod Proxy {
             verifier_config: VerifierConfiguration,
             stark_proof: StarkProofWithSerde,
         ) -> FactRegistered {
-            let fact = IFactRegistryExternalDispatcher { contract_address: self.fact_registry.read() }
+            let fact = IFactRegistryExternalDispatcher {
+                contract_address: self.fact_registry.read()
+            }
                 .verify_proof_full_and_register_fact(verifier_config, stark_proof);
 
             self.emit(fact);
@@ -147,7 +147,9 @@ mod Proxy {
             state_variable: FriVerificationStateVariable,
             last_layer_coefficients: Span<felt252>,
         ) -> FactRegistered {
-            let fact = IFactRegistryExternalDispatcher { contract_address: self.fact_registry.read() }
+            let fact = IFactRegistryExternalDispatcher {
+                contract_address: self.fact_registry.read()
+            }
                 .verify_proof_final_and_register_fact(
                     job_id, state_constant, state_variable, last_layer_coefficients
                 );

diff --git a/src/lib.cairo b/src/lib.cairo
@@ -40,8 +40,13 @@ 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},
+    contracts::fact_registry_interface::{
+        IFactRegistry, IFactRegistryDispatcher, IFactRegistryDispatcherTrait
+    },
+    settings::{
+        FactHash, VerificationHash, PresetHash, SecurityBits, JobId, CairoVersion, HasherBitLength,
+        StoneVersion, VerifierSettings, VerifierPreset, VerifierConfiguration, split_settings
+    },
 };
 
 #[cfg(feature: 'dex')]