This is great. Have to say, after reading several tutorials on different languages that allow you to build zk proof circuits, it still seems very difficult to

This is great. Have to say, after reading several tutorials on different languages that allow you to build zk proof circuits, it still seems very difficult to encode the problem a priori into them such that the result is useful. For example, using them in cryptocurrency seems tricky because you often have to encode the actors involved (by way of their addresses) in advance when you put the zkSNARK on the chain, which makes that less useful. I really enjoyed Cairo tutorials which have similar concepts. https://www.cairo-lang.org/docs/hello_cairo/puzzle.html https://www.cairo-lang.org/docs/hello_cairo/puzzle.html