aff=NIZK3P