Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures