Fix errors

HerodotusDev · Aug 13, 2024 · e7319b9 · e7319b9
1 parent 2a479eb
commit e7319b9
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 156 deletions.
diff --git a/src/facts_registry.cairo b/src/facts_registry.cairo
diff --git a/src/lib.cairo b/src/lib.cairo
@@ -18,9 +18,6 @@ mod vector_commitment;
 mod tests;
 // === RECURSIVE END ===
 
-mod facts_registry;
-mod verifier;
-
 use cairo_verifier::{
     air::public_input::CairoVersion, deserialization::stark::StarkProofWithSerde,
     stark::{StarkProof, StarkProofImpl},

diff --git a/src/stark.cairo b/src/stark.cairo
@@ -79,7 +79,7 @@ struct StarkProof {
 
 #[generate_trait]
 impl StarkProofImpl of StarkProofTrait {
-    fn verify(self: @StarkProof, security_bits: felt252, contract_address_1: ContractAddress, contract_address_2: ContractAddress) -> (FriVerificationStateConstant, FriVerificationStateVariable, Span<felt252>) {
+    fn verify_initial(self: @StarkProof, security_bits: felt252, contract_address_1: ContractAddress, contract_address_2: ContractAddress) -> (FriVerificationStateConstant, FriVerificationStateVariable, Span<felt252>) {
         // Validate config.
         self.config.validate(security_bits);
 
@@ -137,8 +137,8 @@ impl StarkProofImpl of StarkProofTrait {
         fri_verify_final(stateConstant, stateVariable, last_layer_coefficients)
     }
 
-    fn verify_full(self: @StarkProof, security_bits: felt252) {
-        let (mut con, mut var, last_layer_coefficients) = self.verify_initial(security_bits);
+    fn verify_full(self: @StarkProof, security_bits: felt252, contract_address_1: ContractAddress, contract_address_2: ContractAddress) {
+        let (mut con, mut var, last_layer_coefficients) = self.verify_initial(security_bits, contract_address_1, contract_address_2);
 
         let n = con.n_layers;
         let mut i = 0;

diff --git a/src/verifier.cairo b/src/verifier.cairo