Recursive Merkle update actions reducer

o1-labs / o1js

TypeScript framework for zk-SNARKs and zkApps

Apache License 2.0

475 stars 105 forks source link

Closed mitschabaude closed 1 month ago

mitschabaude commented 1 month ago

Adjacent nice-to-haves:

Merkle tree type which can be easily passed to provable code directly, get rid of MerkleWitness dance
Reverse internal MerkleList representation and make MerkleList implement to/fromValue with a dynamic array of JS values
Ability to prove initial subtree update in dispatch and the rest in reducer

mitschabaude commented 1 month ago

didn't do any of the adjacent stuff