From 89c6a6b4e61d09d3d613b404dca58f3ff51ece2a Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Tue, 15 Jun 2021 17:34:37 +0200
Subject: [PATCH] Use `repeated_frobenius` in `ExtensionTarget::frobenius`.

---
 src/field/extension_field/target.rs | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/src/field/extension_field/target.rs b/src/field/extension_field/target.rs
index 0f9a7e24..e4c2320e 100644
--- a/src/field/extension_field/target.rs
+++ b/src/field/extension_field/target.rs
@@ -18,18 +18,7 @@ impl<const D: usize> ExtensionTarget<D> {
     }
 
     pub fn frobenius<F: Extendable<D>>(&self, builder: &mut CircuitBuilder<F, D>) -> Self {
-        let arr = self.to_target_array();
-        let k = (F::ORDER - 1) / (D as u64);
-        let zs = (0..D as u64)
-            .map(|i| builder.constant(F::Extension::W.exp(k * i)))
-            .collect::<Vec<_>>();
-
-        let mut res = Vec::with_capacity(D);
-        for (z, a) in zs.into_iter().zip(arr) {
-            res.push(builder.mul(z, a));
-        }
-
-        res.try_into().unwrap()
+        self.repeated_frobenius(1, builder)
     }
 
     pub fn repeated_frobenius<F: Extendable<D>>(