Signing-Enhanced Forward-Secure Signatures by Leveraging SNARKs | Synapse