From b3b885b14bd243861d868f01804d885daceaddf0 Mon Sep 17 00:00:00 2001
From: Bartosz Nowak <bartekn337@gmail.com>
Date: Fri, 12 Jul 2024 17:44:55 +0200
Subject: [PATCH] public input hash test

---
 src/air/public_input.cairo | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/src/air/public_input.cairo b/src/air/public_input.cairo
index 498eaf212..b89b475b9 100644
--- a/src/air/public_input.cairo
+++ b/src/air/public_input.cairo
@@ -183,3 +183,20 @@ fn verify_cairo1_public_input(public_input: @PublicInput) -> (felt252, felt252)
     let output_hash = poseidon_hash_span(output);
     (program_hash, output_hash)
 }
+
+#[cfg(test)]
+mod tests {
+    use super::get_public_input_hash;
+    use cairo_verifier::tests::stone_proof_fibonacci_keccak::public_input::get;
+    // test data from cairo0-verifier run on stone-prover generated proof
+    #[test]
+    #[available_gas(9999999999)]
+    fn test_get_public_input_hash() {
+        let public_input = get();
+        let hash = get_public_input_hash(@public_input);
+
+        assert(
+            hash == 0xaf91f2c71f4a594b1575d258ce82464475c82d8fb244142d0db450491c1b52, 'Hash invalid'
+        )
+    }
+}