feat: Add root rollup circuit#3217

Merged

sirasistant merged 11 commits intomasterfrom

kw/add-root-rollup

Nov 3, 2023

Commits on Nov 3, 2023

add `assert_check_membership` this is check_membership in the cpp code
kevaundray
committed
add hash module for computing hashes that are only relevant to the rollup circuits
kevaundray
committed
add analogous code to "in-memory" merkle tree hashing
kevaundray
committed
add code to `insert_subtree_to_snapshot_tree`
kevaundray
committed
fill in `root_rollup_circuit`
kevaundray
committed
commit cpp test vectors for computing the merkle tree
kevaundray
committed
Update yarn-project/noir-protocol-circuits/src/crates/rollup-lib/src/merkle_tree.nr
kevaundray
authored
Update yarn-project/noir-protocol-circuits/src/crates/rollup-lib/src/merkle_tree.nr
kevaundray
authored
Update yarn-project/noir-protocol-circuits/src/crates/rollup-lib/src/merkle_tree.nr
kevaundray
authored
feat: add generic merkle tree
sirasistant
committed
style: use shorter initialization for arrays
sirasistant
committed