feat(guests): Add program which test array iteration, modulo arithmetic and early return

This test should be pretty difficult for Noir, but less so for the zkVMs

1 files changed, 16 insertions, 0 deletions

diff --git a/guests/arrays_iter/src/lib.rs b/guests/arrays_iter/src/lib.rs
new file mode 100644
index 0000000..57f21fd
--- /dev/null
+++ b/guests/arrays_iter/src/lib.rs
@@ -0,0 +1,16 @@
+#![cfg_attr(feature = "no_std", no_std)]
+
+#[cfg(feature = "no_std")]
+extern crate alloc;
+#[cfg(feature = "no_std")]
+use alloc::vec::Vec;
+
+#[guests_macro::proving_entrypoint]
+pub fn main(numbers: Vec<i32>, remainder: i32, divisor: i32) -> bool {
+    for n in numbers {
+        if n % divisor != remainder {
+            return false;
+        }
+    }
+    return true;
+}