Multiple NonInteractive Zero Knowledge Proofs Under General Assumptions | Synapse