Tap now works with NIZKs.