Double-batched Merkle log accumulator

See code here.