From 298455c2dccfe0bcec7139c05e2f47e094ccfeb7 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Fri, 28 Feb 2025 12:01:04 +0200 Subject: feat(guest): Add zk_dungeon program Ported from https://github.com/blocksense-network/noir/tree/6a4f172c0cbee1e2baea7d4c0684121d5921c09a/test_programs/plonky2_prove_success/zk_dungeon Co-authored-by: Stan Manilov --- guests/zk_dungeon/src/lib.rs | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 guests/zk_dungeon/src/lib.rs (limited to 'guests/zk_dungeon/src/lib.rs') diff --git a/guests/zk_dungeon/src/lib.rs b/guests/zk_dungeon/src/lib.rs new file mode 100644 index 0000000..b79167a --- /dev/null +++ b/guests/zk_dungeon/src/lib.rs @@ -0,0 +1,10 @@ +#![cfg_attr(feature = "no_std", no_std)] + +mod dungeon; + +#[guests_macro::proving_entrypoint] +pub fn main(watcher_map: [[bool; 8]; 8], dagger: (u8, u8), path: [(u8, u8); 8]) { + let path = dungeon::Square::from_array(path); + dungeon::is_valid_path(path, dagger.into()); + dungeon::is_safe_path(path, watcher_map); +} -- cgit v1.2.3