Comment by miketery

This was great. Now is there something like this for zk proofs?