commit

workingdoge · Nov 12, 2023 · 5caa08b · 5caa08b
1 parent a3fb04a
commit 5caa08b
Show file tree

Hide file tree

Showing 9 changed files with 375 additions and 217 deletions.
diff --git a/README.md b/README.md
@@ -1,26 +1,26 @@
-# Mina zkApp: Index Merkle Tree
 
-This template uses TypeScript.
 
-## How to build
+- more efficient proofs
 
-```sh
-npm run build
-```
+- two tree model -> one tree for storing (commitments to) data 
+                 -> another tree for signalling if data is stale (nullifier tree)
+      - consuming data emits a nullifier
+      - nullifier has a deterministic derivation from original state
 
-## How to run tests
+- legacy approach: sparse merkle trees
+  - updatable merkle tree with as many leaves as values
+  - membership proofs for null values
+  - tree blows up in size (2**254) (lots of hashing)
 
-```sh
-npm run test
-npm run testw # watch mode
-```
+-  use a linked list of nodes to prove what is missing
 
-## How to run coverage
+Node 1 -- next higher value --> Node 2
+1 -> 10 (then 2-9 doesn't exist)
 
-```sh
-npm run coverage
-```
-
-## License
-
-[Apache-2.0](LICENSE)
+- we extend append only trees
+  - at each leaf we store 3 values
+  - Val
+  - Next index
+  - Next Value
+- Val -> nextVal will have nothing in it
+- we have a proof of non-inclusion of a value $x$ by a proof of inclusion of a node where val < $x$ < nextVal
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,5 +1,5 @@
 {
-  "name": "index-merkle-tree",
+  "name": "nullifier-tree",
   "version": "0.1.0",
   "description": "",
   "author": "",

diff --git a/src/Add.test.ts b/src/Add.test.ts
diff --git a/src/Add.ts b/src/Add.ts
diff --git a/src/index.ts b/src/index.ts
diff --git a/src/interact.ts b/src/interact.ts