From a7ae04dd4d89d892e441d653d8fbec007c9dafbc Mon Sep 17 00:00:00 2001
From: "sm.wu" <hero78119@gmail.com>
Date: Sun, 2 Nov 2025 22:56:36 +0800
Subject: [PATCH] support instance scalar

---
 crates/multilinear_extensions/src/expression.rs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/crates/multilinear_extensions/src/expression.rs b/crates/multilinear_extensions/src/expression.rs
index e5c4c45..61027fe 100644
--- a/crates/multilinear_extensions/src/expression.rs
+++ b/crates/multilinear_extensions/src/expression.rs
@@ -465,7 +465,8 @@ impl<E: ExtensionField> Neg for Expression<E> {
             Expression::Fixed(_)
             | Expression::WitIn(_)
             | Expression::StructuralWitIn(..)
-            | Expression::Instance(_) => Expression::ScaledSum(
+            | Expression::Instance(_)
+            | Expression::InstanceScalar(_) => Expression::ScaledSum(
                 Box::new(self),
                 Box::new(Expression::Constant(Either::Left(-E::BaseField::ONE))),
                 Box::new(Expression::Constant(Either::Left(E::BaseField::ZERO))),
@@ -478,9 +479,6 @@ impl<E: ExtensionField> Neg for Expression<E> {
             Expression::Challenge(challenge_id, pow, scalar, offset) => {
                 Expression::Challenge(challenge_id, pow, scalar.neg(), offset.neg())
             }
-            Expression::InstanceScalar(_) => {
-                unimplemented!("figure out how to support InstanceScalar")
-            }
         }
     }
 }