auditable byzantine-failures cryptography forensics history-tree latin lsm-tree merkle-tree quod-erat-demonstrandum scalability sparse-merkle-tree tamper-evident verifiable-data-structures verify