diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-28 12:01:04 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-03-04 18:33:31 +0200 |
| commit | 298455c2dccfe0bcec7139c05e2f47e094ccfeb7 (patch) | |
| tree | 9feeace05d8207ea102cac46ce8b96e79c85f784 /guests/zk_dungeon/src/lib.rs | |
| parent | b2635c1762df5dcd1808b5f1bde8bc6272f9e61c (diff) | |
| download | zkVMs-benchmarks-298455c2dccfe0bcec7139c05e2f47e094ccfeb7.tar zkVMs-benchmarks-298455c2dccfe0bcec7139c05e2f47e094ccfeb7.tar.gz zkVMs-benchmarks-298455c2dccfe0bcec7139c05e2f47e094ccfeb7.zip | |
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 <stanislav.manilov@gmail.com>
Diffstat (limited to 'guests/zk_dungeon/src/lib.rs')
| -rw-r--r-- | guests/zk_dungeon/src/lib.rs | 10 |
1 files changed, 10 insertions, 0 deletions
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); +} |