On QA-NIZK in the BPK Model