BIS Working Paper: Towards Verifiability of TVL in DeFi • Libertify