SayIt

So, it’s a pretty interesting kind of use case and application. The wallet that you translated already; do you know what the proof system is that it uses?