ZK-proof Total Value Locked oracle