Text this: NIZK from SNARGs.