Non-interactive zero-knowledge and its applications | Synapse