Privacy-Preserving Payment System With Verifiable Local Differential Privacy This is an implementation of the paper accepted to Advances in Financial Technologies - AFT 2023