update to main

succinctlabs · Feb 8, 2024 · c8b04bf · c8b04bf
2 parents 235afd8 + 86d13dd
commit c8b04bf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/air/src/air.rs b/air/src/air.rs
@@ -22,7 +22,7 @@ pub trait Air<AB: AirBuilder>: BaseAir<AB::F> {
 pub trait AirBuilder: Sized {
     type F: Field;
 
-    type Expr: AbstractField<F = Self::F>
+    type Expr: AbstractField
         + From<Self::F>
         + Add<Self::Var, Output = Self::Expr>
         + Add<Self::F, Output = Self::Expr>

diff --git a/field/src/field.rs b/field/src/field.rs
@@ -242,6 +242,7 @@ pub trait PrimeField32: PrimeField64 {
 
 pub trait AbstractExtensionField<Base: AbstractField>:
     AbstractField
+    + From<Base>
     + Add<Base, Output = Self>
     + AddAssign<Base>
     + Sub<Base, Output = Self>