Trustless, ZK-proof based Total Value Locked oracle