From c7b93423d23d291b897d1f83ffc0373f791bc64f Mon Sep 17 00:00:00 2001
From: Arthur Paulino <arthurleonardo.ap@gmail.com>
Date: Mon, 5 Feb 2024 12:05:50 -0300
Subject: [PATCH] chore: migrate from Bn256Engine to Bn256EngineKGZ

---
 src/proof/nova.rs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/proof/nova.rs b/src/proof/nova.rs
index 0e5c887d77..837f61a4e5 100644
--- a/src/proof/nova.rs
+++ b/src/proof/nova.rs
@@ -2,7 +2,7 @@ use bellpepper_core::{num::AllocatedNum, ConstraintSystem};
 use halo2curves::bn256::Fr as Bn256Scalar;
 use nova::{
     errors::NovaError,
-    provider::{Bn256Engine, GrumpkinEngine, PallasEngine, VestaEngine},
+    provider::{Bn256EngineKZG, GrumpkinEngine, PallasEngine, VestaEngine},
     traits::{
         circuit::{StepCircuit, TrivialCircuit},
         evaluation::EvaluationEngineTrait,
@@ -65,10 +65,11 @@ impl CurveCycleEquipped for pallas::Scalar {
 // The impl CurveCycleEquipped for vesta::Scalar is academically possible, but voluntarily omitted to avoid confusion.
 
 impl CurveCycleEquipped for Bn256Scalar {
-    type EE1 = nova::provider::ipa_pc::EvaluationEngine<Self::E1>;
+    type EE1 =
+        nova::provider::hyperkzg::EvaluationEngine<halo2curves::bn256::Bn256, Bn256EngineKZG>;
     type EE2 = nova::provider::ipa_pc::EvaluationEngine<Self::E2>;
 
-    type E1 = Bn256Engine;
+    type E1 = Bn256EngineKZG;
     type E2 = GrumpkinEngine;
 }
 // The impl CurveCycleEquipped for grumpkin::Scalar is academically possible, but voluntarily omitted to avoid confusion.