o1-labs/o1js

Recursive Merkle update actions reducer

mitschabaude opened this issue · 1 comments

mitschabaude commented

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

released with #1652

didn't do any of the adjacent stuff