Verification of Token Ownership and Supply of Hedera Token Service using Zokrates Zero Knowledge Proof System