temp: v panic

sp1-patches · Jan 14, 2025 · ecaee26 · ecaee26
1 parent 7769ee9
commit ecaee26
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,3 @@
+{
+  "rust-analyzer.cargo.features": "all",
+}
diff --git a/src/fp.rs b/src/fp.rs
@@ -444,6 +444,10 @@ impl Fp {
                 return CtOption::new(Self::zero(), Choice::from(0u8));
             }
 
+            if self == Fp::one() {
+                return CtOption::new(Fp::one(), Choice::from(1u8));
+            }
+
             unconstrained! {
                 sp1_lib::io::write(sp1_lib::io::FD_BLS12_381_INVERSE, &self.to_bytes()); 
             }
@@ -452,7 +456,7 @@ impl Fp {
 
             let inv = Fp::from_bytes(&byte_vec).unwrap();
 
-            assert!(self * &inv == Fp::one(), "Invalid hint: Fp invert");
+            assert!(self * &inv == Fp::one(), "Invalid hint: Fp invert, self = {:?}, self * inv = {:?}, inv = {:?}, one = {:?}", self, self * &inv, inv, Fp::one());
 
             CtOption::new(inv, Choice::from(1u8))
         }