SV-Based Taraxa Revolutionizes Legacy Data Auditing With Mathematically Provable Audit Trails