Remove array_windows feature to be closer to stable rust (#606)

Co-authored-by: Preston Evans <[email protected]>
Sovereign-Labs · Sep 14, 2023 · 785c0e5 · 785c0e5
1 parent b161269
commit 785c0e5
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/adapters/celestia/src/lib.rs b/adapters/celestia/src/lib.rs
@@ -1,4 +1,3 @@
-#![feature(array_windows)]
 pub mod celestia;
 pub mod shares;
 pub use celestia::*;

diff --git a/adapters/celestia/src/verifier/mod.rs b/adapters/celestia/src/verifier/mod.rs
@@ -174,8 +174,10 @@ impl da::DaVerifier for CelestiaVerifier {
 
             // Verify each sub-proof and flatten the shares back into a sequential array
             // First, enforce that the sub-proofs cover a contiguous range of shares
-            for [l, r] in tx_proof.proof.array_windows::<2>() {
-                assert_eq!(l.start_share_idx + l.shares.len(), r.start_share_idx)
+            for i in 1..tx_proof.proof.len() {
+                let l = &tx_proof.proof[i - 1];
+                let r = &tx_proof.proof[i];
+                assert_eq!(l.start_share_idx + l.shares.len(), r.start_share_idx);
             }
             let mut tx_shares = Vec::new();
             // Then, verify the sub proofs