It's likely to be based on GNU Taler, which is a neat and easy to use standard - some photos with the test wallet https://krvtz.net/posts/how-eu-digital-cash-might-look-like.html