rotortree
n-ary lean incremental merkle tree
benchmarks
model
viz
lean imt was pioneered by
cedoor & vivian