uncomment main

HerodotusDev · Jan 12, 2024 · 62b471e · 62b471e
1 parent 72a3538
commit 62b471e
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/lib.cairo b/src/lib.cairo
@@ -16,9 +16,9 @@ use cairo_verifier::{
 };
 
 fn main(x: Array<felt252>) {
-    // let mut x_span = x.span();
-    // let stark_proof: StarkProof = Serde::<StarkProofWithSerde>::deserialize(ref x_span)
-    //     .unwrap()
-    //     .into();
-    // stark_proof.verify();
+    let mut x_span = x.span();
+    let stark_proof: StarkProof = Serde::<StarkProofWithSerde>::deserialize(ref x_span)
+        .unwrap()
+        .into();
+    stark_proof.verify();
 }