where
- AB: CurtaAirBuilder,
+ AB: SP1AirBuilder,
{
fn eval(&self, builder: &mut AB) {
let main = builder.main();
diff --git a/core/src/operations/field/field_inner_product.rs b/core/src/operations/field/field_inner_product.rs
index e417fb2795..150055e01e 100644
--- a/core/src/operations/field/field_inner_product.rs
+++ b/core/src/operations/field/field_inner_product.rs
@@ -2,15 +2,15 @@ use super::params::Limbs;
use super::params::NUM_WITNESS_LIMBS;
use super::util::{compute_root_quotient_and_shift, split_u16_limbs_to_u8_limbs};
use super::util_air::eval_field_operation;
-use crate::air::CurtaAirBuilder;
use crate::air::Polynomial;
+use crate::air::SP1AirBuilder;
use crate::utils::ec::field::FieldParameters;
use core::borrow::{Borrow, BorrowMut};
use core::mem::size_of;
-use curta_derive::AlignedBorrow;
use num::BigUint;
use num::Zero;
use p3_field::{AbstractField, PrimeField32};
+use sp1_derive::AlignedBorrow;
use std::fmt::Debug;
/// A set of columns to compute `FieldInnerProduct(Vec, Vec)` where a, b are field elements.
@@ -77,7 +77,7 @@ impl
where
- AB: CurtaAirBuilder,
+ AB: SP1AirBuilder,
{
fn eval(&self, builder: &mut AB) {
let main = builder.main();
diff --git a/core/src/operations/field/field_op.rs b/core/src/operations/field/field_op.rs
index 59e4cf5ad2..b1126a43e8 100644
--- a/core/src/operations/field/field_op.rs
+++ b/core/src/operations/field/field_op.rs
@@ -2,15 +2,15 @@ use super::params::Limbs;
use super::params::NUM_WITNESS_LIMBS;
use super::util::{compute_root_quotient_and_shift, split_u16_limbs_to_u8_limbs};
use super::util_air::eval_field_operation;
-use crate::air::CurtaAirBuilder;
use crate::air::Polynomial;
+use crate::air::SP1AirBuilder;
use crate::utils::ec::field::FieldParameters;
use core::borrow::{Borrow, BorrowMut};
use core::mem::size_of;
-use curta_derive::AlignedBorrow;
use num::{BigUint, Zero};
use p3_air::AirBuilder;
use p3_field::PrimeField32;
+use sp1_derive::AlignedBorrow;
use std::fmt::Debug;
#[derive(PartialEq, Copy, Clone, Debug)]
@@ -133,7 +133,7 @@ impl
where
- AB: CurtaAirBuilder,
+ AB: SP1AirBuilder,
{
fn eval(&self, builder: &mut AB) {
let main = builder.main();
diff --git a/core/src/operations/field/field_sqrt.rs b/core/src/operations/field/field_sqrt.rs
index 0bdf933930..21bca7423b 100644
--- a/core/src/operations/field/field_sqrt.rs
+++ b/core/src/operations/field/field_sqrt.rs
@@ -1,12 +1,12 @@
use super::field_op::FieldOpCols;
use super::params::Limbs;
-use crate::air::CurtaAirBuilder;
+use crate::air::SP1AirBuilder;
use crate::utils::ec::field::FieldParameters;
use core::borrow::{Borrow, BorrowMut};
use core::mem::size_of;
-use curta_derive::AlignedBorrow;
use num::BigUint;
use p3_field::PrimeField32;
+use sp1_derive::AlignedBorrow;
use std::fmt::Debug;
/// A set of columns to compute the square root in the ed25519 curve. `T` is the field in which each
@@ -50,7 +50,7 @@ impl
where
- AB: CurtaAirBuilder,
+ AB: SP1AirBuilder,
{
fn eval(&self, builder: &mut AB) {
let main = builder.main();
diff --git a/core/src/operations/field/util_air.rs b/core/src/operations/field/util_air.rs
index 9d64a77c00..f4aea7c5bb 100644
--- a/core/src/operations/field/util_air.rs
+++ b/core/src/operations/field/util_air.rs
@@ -1,9 +1,9 @@
-use crate::air::CurtaAirBuilder;
use crate::air::Polynomial;
+use crate::air::SP1AirBuilder;
use crate::utils::ec::field::FieldParameters;
use p3_field::AbstractField;
-pub fn eval_field_operation