fix-tob-scroll-16 (scroll-tech#17)

zkmove · Aug 9, 2023 · 1001277 · 1001277
1 parent 12c306e
commit 1001277
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/snark-verifier/src/pcs/ipa/decider.rs b/snark-verifier/src/pcs/ipa/decider.rs
@@ -51,6 +51,7 @@ mod native {
             dk: &Self::DecidingKey,
             accumulators: Vec<IpaAccumulator<C, NativeLoader>>,
         ) -> bool {
+            assert!(!accumulators.is_empty());
             !accumulators
                 .into_iter()
                 .any(|accumulator| !Self::decide(dk, accumulator))

diff --git a/snark-verifier/src/pcs/kzg/decider.rs b/snark-verifier/src/pcs/kzg/decider.rs
@@ -55,15 +55,10 @@ mod native {
             dk: &Self::DecidingKey,
             accumulators: Vec<KzgAccumulator<M::G1Affine, NativeLoader>>,
         ) -> bool {
+            assert!(!accumulators.is_empty());
             !accumulators
                 .into_iter()
-                //.enumerate()
                 .any(|accumulator| {
-                    /*let decide = Self::decide(dk, accumulator);
-                    if !decide {
-                        panic!("{i}");
-                    }
-                    !decide*/
                     !Self::decide(dk, accumulator)
                 })
         }