Implementing ZK-proofs for privacy-preserving DeFi operations at scale