From 41049f66835d992984f167a56feda2b399d6d5ed Mon Sep 17 00:00:00 2001
From: Gabriel Barreto <gabriel.aquino.barreto@gmail.com>
Date: Sat, 9 May 2026 14:41:39 -0300
Subject: [PATCH] fixed simple proof

---
 examples/simple_proof.rs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/examples/simple_proof.rs b/examples/simple_proof.rs
index 12d4db1..02973da 100644
--- a/examples/simple_proof.rs
+++ b/examples/simple_proof.rs
@@ -83,11 +83,13 @@ fn main() {
     };
 
     // Prove
-    let no_claims: &[Val] = &[];
-    let proof = system.prove(fri_parameters, &key, no_claims, witness);
+    let no_claims = &[];
+    let proof = system.prove_multiple_claims(fri_parameters, &key, no_claims, witness);
 
     // Verify
-    system.verify(fri_parameters, no_claims, &proof).unwrap();
+    system
+        .verify_multiple_claims(fri_parameters, no_claims, &proof)
+        .unwrap();
     println!("Proof verified successfully!");
 
     // Show proof size