A computation device configured to verify that an edit script is for transforming a first string to a second string, wherein the first string and second string are nucleic acid Sequences, the edit script comprising one or more edit operations, the edit operations being selected from a set of allowed edit operations, the set of allowed edit operations comprising match operations and difference operations, the edit script including at least one match operation and at least one difference operation, the computation device comprising: - a memory configured to store a representation of one or more characters of the first string, a representation of one or more characters of the second string, a representation of a current position in the first string, and a representation of a current position in the second string, - a processor configured to obtain a representation of the edit script, store the representation in the memory, and subsequently perform a validation computation, the validation computation comprising, for each edit operation in the edit script: - if the edit operation is a match operation, determining the character at the current position in the first string and the character at the current position in the second string, verifying that they match, incrementing the current position in the first string by one and incrementing the current position in the second string by one, - if the edit operation is a difference operation, incrementing the current position in the first string and/or the current position in the second string by one, and wherein the computation device further comprises a communication interface configured for digital communication with a verification device, the validation computation being performed as a verifiable computation generating a cryptographic verifiable computation proof that the validation computation was performed successfully, the computation device being further configured to provide the cryptographic proof to the verification device. - a memory configured to store a representation of one or more characters of the first string, a representation of one or more characters of the second string, a representation of a current position in the first string, and a representation of a current position in the second string, - a processor configured to obtain a representation of the edit script, store the representation in the memory, and subsequently perform a validation computation, the validation computation comprising, for each edit operation in the edit script: - if the edit operation is a match operation, determining the character at the current position in the first string and the character at the current position in the second string, verifying that they match, incrementing the current position in the first string by one and incrementing the current position in the second string by one, - if the edit operation is a difference operation, incrementing the current position in the first string and/or the current position in the second string by one, and wherein the computation device further comprises a communication interface configured for digital communication with a verification device, the validation computation being performed as a verifiable computation generating a cryptographic verifiable computation proof that the validation computation was performed successfully, the computation device being further configured to provide the cryptographic proof to the verification device. - if the edit operation is a match operation, determining the character at the current position in the first string and the character at the current position in the second string, verifying that they match, incrementing the current position in the first string by one and incrementing the current position in the second string by one, - if the edit operation is a difference operation, incrementing the current position in the first string and/or the current position in the second string by one, and <EOS>