aboutsummaryrefslogtreecommitdiff
path: root/guests/fibonacci/src/lib.rs
diff options
context:
space:
mode:
authorKamen Mladenov <kamen@syndamia.com>2025-01-30 13:09:53 +0200
committerKamen Mladenov <kamen@syndamia.com>2025-01-30 13:09:53 +0200
commit492467015ec8a339eefd816a818e73cbc3fcece8 (patch)
tree6c90ebbf6dd6f2ecdca3b32abecbcfe5188b82fe /guests/fibonacci/src/lib.rs
parentb0fda4ce1557a316e4d4ed1152025d9def753831 (diff)
downloadzkVMs-benchmarks-492467015ec8a339eefd816a818e73cbc3fcece8.tar
zkVMs-benchmarks-492467015ec8a339eefd816a818e73cbc3fcece8.tar.gz
zkVMs-benchmarks-492467015ec8a339eefd816a818e73cbc3fcece8.zip
feat(guests): Add a second example guest
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
+}