From 9bdb331931c0109b8bcbbbefe64607a39e49798d Mon Sep 17 00:00:00 2001
From: Donovan Dall <d@nuff.tech>
Date: Wed, 3 Jul 2024 12:36:58 +0100
Subject: [PATCH] fix: specifically this fixture has 102 signers

---
 bin/operator/tests/succinct.rs |  4 ++--
 nearx/src/hint.rs              | 31 ++++++++++++++++++++-----------
 2 files changed, 22 insertions(+), 13 deletions(-)

diff --git a/bin/operator/tests/succinct.rs b/bin/operator/tests/succinct.rs
index 773a1cd..456e902 100644
--- a/bin/operator/tests/succinct.rs
+++ b/bin/operator/tests/succinct.rs
@@ -1,8 +1,8 @@
 #![allow(dead_code)] // Justification: Until we decide on test feature flags
-use std::str::FromStr;
+
 
 use nearx_operator::{config::Config, succinct::*, BaseConfig};
-use uuid::Uuid;
+
 
 async fn client() -> Client {
     let _ = tracing_subscriber::fmt::try_init();
diff --git a/nearx/src/hint.rs b/nearx/src/hint.rs
index 16587df..2836b90 100644
--- a/nearx/src/hint.rs
+++ b/nearx/src/hint.rs
@@ -302,18 +302,11 @@ mod tests {
         let (main_h, _, main_nb) = test_state();
         let (test_h, _, test_nb) = testnet_state();
 
+        type Mainnet = FixturesConfig<config::Mainnet, 102>;
+
         let define = |b: &mut B| {
-            let header = b.read::<HeaderVariable>();
-            let trusted_header_hash = header.hash(b);
-            let (_header, _bps, next_block) =
-                InputFetcher::<Mainnet>(Default::default()).fetch_sync(b, &trusted_header_hash);
-            b.write::<BlockVariable<{ Mainnet::BPS }>>(next_block);
-
-            let header = b.read::<HeaderVariable>();
-            let trusted_header_hash = header.hash(b);
-            let (_header, _bps, next_block) =
-                InputFetcher::<Testnet>(Default::default()).fetch_sync(b, &trusted_header_hash);
-            b.write::<BlockVariable<{ Testnet::BPS }>>(next_block);
+            test_fetch_data::<Mainnet>(b);
+            test_fetch_data::<Testnet>(b);
         };
 
         let writer = |input: &mut PI| {
@@ -333,6 +326,22 @@ mod tests {
         builder_suite(define, writer, assertions);
     }
 
+    // This is a compiler bug because we use the [();BPS] syntax to constrain the
+    // const generic
+    #[allow(unused)]
+    fn test_fetch_data<C>(b: &mut CircuitBuilder<DefaultParameters, 2>)
+    where
+        C: Config,
+        [(); C::BPS]:,
+    {
+        let header = b.read::<HeaderVariable>();
+        let trusted_header_hash = header.hash(b);
+
+        let (_header, _bps, next_block) =
+            InputFetcher::<C>(Default::default()).fetch_sync(b, &trusted_header_hash);
+        b.write::<BlockVariable<{ C::BPS }>>(next_block);
+    }
+
     // TODO: turns out this resolved itself on live after 2 weeks without doing
     // anything, probably platform issue #[test]
     // fn test_fetch_corner_cases() {