Updating Tap to be compatible with NIZKs.