Add proof of location example (#201)

* feat: Add proof of location example * Use dynamic number of iterations for square root This increases the precision for small distances. * feat: Add end to end test and fix scale * fix: i64 neg implementation * fix: Add better comments * feat: Add convenience wrappers for i64_{add,sub}
0xPolygonMiden · Sep 26, 2024 · 5432207 · 5432207
1 parent bd4b5c0
commit 5432207
Show file tree

Hide file tree

Showing 2 changed files with 778 additions and 0 deletions.
diff --git a/examples/proof_of_location.inputs b/examples/proof_of_location.inputs
@@ -0,0 +1,4 @@
+{
+        "operand_stack": ["0","91657978","0","23348512"],
+        "advice_stack": ["0","91586434","0","23392655"]
+}