main verification

HerodotusDev · Feb 7, 2024 · dc4acc3 · dc4acc3
1 parent fa31f99
commit dc4acc3
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/lib.cairo b/src/lib.cairo
@@ -15,10 +15,11 @@ mod vector_commitment;
 mod tests;
 
 use cairo_verifier::{
-    deserialization::stark::StarkProofWithSerde, stark::{StarkProof, StarkProofImpl}
+    deserialization::stark::StarkProofWithSerde, stark::{StarkProof, StarkProofImpl},
+    air::public_input::PublicInputTrait
 };
 
-fn main(serialized_proof: Array<felt252>) {
+fn main(serialized_proof: Array<felt252>) -> (felt252, felt252) {
     let mut serialized_proof_span = serialized_proof.span();
     let stark_proof: StarkProof = Serde::<
         StarkProofWithSerde
@@ -27,4 +28,7 @@ fn main(serialized_proof: Array<felt252>) {
         .into();
 
     stark_proof.verify();
+    let (program_hash, output_hash) = stark_proof.public_input.verify();
+
+    (program_hash, output_hash)
 }