aboutsummaryrefslogtreecommitdiff
path: root/guests/fibonacci_matrix/src/lib.rs
diff options
context:
space:
mode:
Diffstat (limited to 'guests/fibonacci_matrix/src/lib.rs')
-rw-r--r--guests/fibonacci_matrix/src/lib.rs10
1 files changed, 10 insertions, 0 deletions
diff --git a/guests/fibonacci_matrix/src/lib.rs b/guests/fibonacci_matrix/src/lib.rs
new file mode 100644
index 0000000..bc20dd2
--- /dev/null
+++ b/guests/fibonacci_matrix/src/lib.rs
@@ -0,0 +1,10 @@
+#![cfg_attr(feature = "no_std", no_std)]
+
+use nalgebra::Matrix2;
+
+#[guests_macro::proving_entrypoint]
+pub fn main(n: u8, fN: u64) -> bool {
+ let r = Matrix2::new(1, 1, 1, 0).pow((n - 1).into())[(0, 0)];
+
+ r == fN
+}