For addition comments and information on Fedi, see this post:
Fedi — first wallet of federated e-cash protocol Fedimint protocol #46884 https://www.fedi.xyz