fix: incomplete SubAssign for SepticExtension (#433)

aso20455 · web-flow · commit be8c717b4581 · 2026-01-22T21:23:14.000+08:00
diff --git a/crates/stark/src/septic_extension.rs b/crates/stark/src/septic_extension.rs
@@ -282,6 +282,12 @@ impl<F: FieldAlgebra> Sub for SepticExtension<F> {
 impl<F: FieldAlgebra> SubAssign for SepticExtension<F> {
     fn sub_assign(&mut self, rhs: Self) {
         self.0[0] -= rhs.0[0].clone();
+        self.0[1] -= rhs.0[1].clone();
+        self.0[2] -= rhs.0[2].clone();
+        self.0[3] -= rhs.0[3].clone();
+        self.0[4] -= rhs.0[4].clone();
+        self.0[5] -= rhs.0[5].clone();
+        self.0[6] -= rhs.0[6].clone();
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -282,6 +282,12 @@ impl<F: FieldAlgebra> Sub for SepticExtension<F> {`
`282`	`282`	`impl<F: FieldAlgebra> SubAssign for SepticExtension<F> {`
`283`	`283`	`fn sub_assign(&mut self, rhs: Self) {`
`284`	`284`	`self.0[0] -= rhs.0[0].clone();`
	`285`	`+ self.0[1] -= rhs.0[1].clone();`
	`286`	`+ self.0[2] -= rhs.0[2].clone();`
	`287`	`+ self.0[3] -= rhs.0[3].clone();`
	`288`	`+ self.0[4] -= rhs.0[4].clone();`
	`289`	`+ self.0[5] -= rhs.0[5].clone();`
	`290`	`+ self.0[6] -= rhs.0[6].clone();`
`285`	`291`	`}`
`286`	`292`	`}`
`287`	`293`