Fiddling with NIZKs to try and make them work. It hurts...