aboutsummaryrefslogtreecommitdiff
path: root/guests/fibonacci/src/lib.rs
diff options
context:
space:
mode:
Diffstat (limited to 'guests/fibonacci/src/lib.rs')
-rw-r--r--guests/fibonacci/src/lib.rs15
1 files changed, 15 insertions, 0 deletions
diff --git a/guests/fibonacci/src/lib.rs b/guests/fibonacci/src/lib.rs
new file mode 100644
index 0000000..613a5fb
--- /dev/null
+++ b/guests/fibonacci/src/lib.rs
@@ -0,0 +1,15 @@
+#![cfg_attr(feature = "no_std", no_std)]
+
+#[guests_macro::proving_entrypoint]
+pub fn main(n: u8, fN: u64) -> bool {
+ let mut f0 = 0;
+ let mut f1 = 1;
+
+ for _ in 1..n {
+ let fN = f0 + f1;
+ f0 = f1;
+ f1 = fN;
+ }
+
+ f0 == fN
+}