Cryptographic approaches to authenticating synthetic DNA sequences | Synapse