TY - RPRT TI - Towards Verifiability of Total Value Locked (TVL) in Decentralized Finance AU - Pietro Saggese AU - Michael Fröwis AU - Stefan Kitzler AU - Bernhard Haslhofer AU - Raphael Auer PY - 2025 UR - https://arxiv.org/abs/2505.14565 ID - 2505.14565 ER -