From 165fd3e783c244f2c03cc774d6fe55bd35fc3851 Mon Sep 17 00:00:00 2001
From: Mikhail Volkhov <volhovm.cs@gmail.com>
Date: Thu, 27 Jun 2024 18:21:00 +0100
Subject: [PATCH] [#2313] Remove double column writing for ECAdd

---
 ivc/src/ivc/interpreter.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/ivc/src/ivc/interpreter.rs b/ivc/src/ivc/interpreter.rs
index f25ee51764..8e8875ed7c 100644
--- a/ivc/src/ivc/interpreter.rs
+++ b/ivc/src/ivc/interpreter.rs
@@ -666,10 +666,6 @@ pub fn process_ecadds<F, Ff, Env, const N_COL_TOTAL: usize, const N_CHALS: usize
         };
 
         env.write_column(IVCColumn::Block4Coeff, &Env::constant(coeff));
-        write_column_array_const(env, &xp_limbs, IVCColumn::Block4Input1);
-        write_column_array_const(env, &yp_limbs, |i| IVCColumn::Block4Input1(i + 4));
-        write_column_array_const(env, &xq_limbs, IVCColumn::Block4Input2);
-        write_column_array_const(env, &yq_limbs, |i| IVCColumn::Block4Input2(i + 4));
 
         // TODO These two should be used when RAMLookups are enabled.
         env.write_column(IVCColumn::Block4Input2AccessTime, &Env::constant(F::zero()));