From eee117512be74f17178235e1641bcbe9f7a0ff6c Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Fri, 4 Jun 2021 17:12:39 +0200
Subject: [PATCH] Fill `todo!`

---
 src/verifier.rs | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/verifier.rs b/src/verifier.rs
index 0ad7a1a0..98568c13 100644
--- a/src/verifier.rs
+++ b/src/verifier.rs
@@ -31,7 +31,7 @@ pub(crate) fn verify<F: Extendable<D>, const D: usize>(
 
     // TODO: Compute PI(zeta), Z_H(zeta), etc. and check the identity at zeta.
 
-    let evaluations = todo!();
+    let evaluations = proof.openings;
 
     let merkle_roots = &[
         verifier_data.constants_root,
@@ -41,9 +41,13 @@ pub(crate) fn verify<F: Extendable<D>, const D: usize>(
         proof.quotient_polys_root,
     ];
 
-    proof
-        .opening_proof
-        .verify(zeta, evaluations, merkle_roots, &mut challenger, fri_config)?;
+    proof.opening_proof.verify(
+        zeta,
+        &evaluations,
+        merkle_roots,
+        &mut challenger,
+        fri_config,
+    )?;
 
     Ok(())
 }