Skip to main content
Fundamental Research logoLink to Fundamental Research
. 2023 Sep 16;6(1):178–183. doi: 10.1016/j.fmre.2023.06.015

Concept, development and applications of DNA computation

Mingzhi Zhang a, Da Han a,b,
PMCID: PMC12869770  PMID: 41647563

Abstract

As traditional silicon-based chips approach their theoretical limits on computing power, DNA-based computation presents a promising alternative with potential advantages such as reduced size, high storage density, low consumption, long-term stability and the ability to perform in memory-computing. This review provides a summarized overview of DNA computation, covering its history, development and applications. In addition, we also highlight the possible directions to address the challenges that stand in the way of realizing the full potentials of this technology.

Keywords: DNA computation, DNA circuits, Toehold-mediated strand displacement reaction, Diagnostics, DNA storage

1. Introduction

DNA computation is an emerging computing paradigm that employs oligonucleotides instead of traditional silicon chips, while maintaining similar logical architectures to silicon-based computation. It has the ability to perform Boolean logic gates and numeric calculations, but with reduced size and increased gate throughput. As traditional silicon-based computers approach the physical limits of the miniaturization, the development of Moore's law is slowing down and may not be effective anymore [1,2]. In addition, the von Neumann bottleneck has demonstrated that increasing information exchange between the central processing unit and main memory would be another factor that restricts the full release of computation power [3].

Compared to traditional silicon-based systems that use Turing pattern and need data and commands to perform computation (Fig. 1a), DNA-based computation is similar to cellular automata whose states are simultaneously updated by a uniformly applied state-transition rule that refers to the states of their relative elements (neighbors). These features make DNA-based computation particularly well-suited for solving NP-complete tasks where only initial conditions of inputs with defined computing rules are needed (Fig. 1b). Although the limited speed at which a single computing operation occurs in DNA-based computation is primarily influenced by the hybridization and polymerization kinetics of the DNA strands, DNA-based systems have enormous parallel computing potential with the ability to conduct trillions of operations simultaneously in small volume. Additionally, features of the information can be encoded in DNA sequence, allowing each input to contain more patterns than the simple 0–1 state. These distinctive features of DNA-based computation make it a promising tool for researchers and engineers to develop new computing systems.

Fig. 1.

Fig 1 dummy alt text

(a) Silicon-based computing scheme and (b) DNA-based computing scheme. (c) The historic development of DNA-based computation.

Consequently, DNA computation has found its niche in the rapidly expanding market of big data processing and storage, including mathematics [4], [5], [6], [7], [8], [9], [10], electrical engineering [11], [12], [13], artificial intelligence [14], [15], [16], clinical diagnostics [17], [18], [19], [20], [21], and cryptography [22]. This mini-review will retrospectively examine the history of DNA computation (Fig. 1c), outline its longitudinal developmental stages, and summarize the diverse real-world applications as well as the perspective of DNA-based computation.

2. In the beginning: mathematical problems

A conventional computer is comprised of two primary functions: processing and storage. The processing module integrates and transforms information to generate new information, while the storage module is responsible for saving information [23]. Unlike the concept of separated implementation of processing and storage, DNA-based computing with no storage module was first introduced in 1994 when Leonard M. Adleman solved the Hamiltonian Path Problem (HPP) using multiple strands of short DNA oligonucleotides via DNA ligation reaction and polymerase chain reaction (PCR) (Fig. 2), clearly demonstrating the reliability and efficiency of DNA computing [4]. Adleman created DNA molecules encoding possible Hamiltonian paths, and the answers were decoded via hybridized sequences and subsequently amplified by PCR using a specialized primer. He further suggested that the scalability potential and the number of operations per second during the ligation step would ultimately exceed the number of operations in supercomputers by thousand folds. In the same year, Lipton extended the computing strategy to satisfiability of a Boolean formula, opening a new era of DNA-based circuits [5]. This strategy standardized the computing unit into simple Boolean logic that is compatible with electronic engineering design patterns, greatly facilitating further transformation of DNA-based computing.

Fig. 2.

Fig 2 dummy alt text

Hamilton path problem solved by a DNA-base computation scheme[4].

Soon after that, DNA computation displayed its potential for highly parallel searches which can be structured to exploit operations in numerous other mathematical problems such as encompassing three-coloring problems [6], quantified Boolean formulas [7], independent sets [8], knapsack [9], subgraph isomorphism and maximum clique [10]. Notwithstanding its limited operating speed, DNA computing has emerged as a feasible approach to tackling complex problems, particularly those require significant amount of parallel calculations, such as NP-complete problems.

3. Promotion: engineering problems

As the volume of data being processed continues to grow in modern world, there is an increasing demand for factoring large numbers to achieve parallelism of massive computing and storage [22]. In addition, complex data analysis requires multi-modular collaboration. DNA computation has demonstrated its ability to handle heavy computational loads, leading researchers to explore its potential applications in various fields. Scientists have made effort to build an adder [[11], [12], [13],24] or an oscillator [25], [26], [27] in order to verify the possibility to build a “computer” with DNA, and later they have managed to achieve complex computations using cascading DNA-based network [14], [15], [16].

One attempt to implement DNA-based computation involves designing digital Boolean logic gates with thresholding functions using multiple short DNA oligonucleotides [11]. The toehold-mediated strand displacement theory indicates that the reaction rate is dependent on the length of toehold, allowing DNA inputs only pass through the thresholding module first until sufficient amount over the threshold value to trigger the output. This principle enables the implementation of “AND” logic with a threshold equal to twice the amount of two inputs and “OR” logic with a threshold equal to half the amount of two inputs (Fig. 3a). Additionally, various successful designs of full adders have been reported, such as enzyme-triggered sequence elongation or switch-mimicry strategy, which can limit the inter-stranded leakage to a narrow level. In specific, the enzyme-triggered strategy requires two converted signals to work together to implement “AND” and one converted signal with one fuel to implement “OR” (Fig. 3b) [24]. The switch circuit strategy, on the other hand, resembles an electronic circuit with “AND” logic implemented by two DNA switches in series (Fig. 3c) and “OR” logic by two switches in parallel [12].

Fig. 3.

Fig 3 dummy alt text

Engineering problems solving with DNA circuits, included applications like calculator, oscillator and neural network tasks. (a) Boolean logic gates implement by threshold design [11]. Copyright 2011, AAAS Science. (b) Boolean logic gates implement by enzyme-triggered strategy [23]. Copyright 2018, Springer Nature. (c) Boolean logic implements via switching circuit [12]. Copyright 2020, Springer Nature. (d) Enzyme-triggered DNA oscillator [24]. (e) Enzyme-free DNA oscillator [25]. Copyright 2017, AAAS Science. (f) Pattern recognition based on DNA circuits [14]. Copyright 2018, Springer Nature. (g) Nonlinear decision-making with enzymatic networks [27]. Copyright 2022, Springer Nature.

Meanwhile, DNA-based oscillators offer various novel capabilities in DNA computing, such as generating precise timing signals to synchronize different operations and recognizing specific patterns, showing that DNA-based network can handle more complicated functions such as dynamic and continuous signals. Winfree's group has designed synthetic oscillators using transcriptional regulatory elements such as promoters, repressors, and feedback loops (Fig. 3d). These oscillations could be tuned by adjusting the concentrations of regulatory elements, indicating their potential applications in synthetic biology and biotechnology [25]. Inspired by the silicon-based computer, organization of modular parts with different functions can generate more powerful functions for the entire system. A screening strategy for modular elements with standardized performance has recently been discussed, which helps employ modular parts to accurately predict and efficiently assemble complex functional circuits [27]. Soloveichik's group developed an autonomous DNA oscillator that can switch between two states and a DNA-based keypad lock that requires the correct sequence of inputs (Fig. 3e). Since it is difficult to control enzyme behaviors in a cell, the enzyme-free approach is more scalable and easier to apply in a bio-system than that of the previously mentioned enzyme-based systems with its controllable preponderance and broad compatibility in reaction conditions. This work opened a new possibility for developing autonomous molecular machines that can perform complex tasks without enzymes [26].

Researchers have also explored DNA computation's potential in artificial intelligence, such as pattern recognition and complicated decision-making. Neural network computation with DNA strand displacement cascades has been developed, leading to the creation of DNA-based winner-take-all (Fig. 3f) [14] and loser-take-all neural networks for applications such as pattern classification [15]. Recently, a nonlinear decision-making strategy has been introduced by Genot's group, using DNA-encoded enzymatic neurons assembled in multilayer architectures to classify nonlinearly separable regions (Fig. 3g) [28]. The realization of these complex computations with DNA-based circuits shows that DNA computation has the possibility of being used for applications towards higher level artificial intelligence.

Unlike silicon-based computations in which all elements are driven by the same electric signal, DNA-based circuits can be operated by different inputs encoded in orthogonal oligonucleotide sequences. Therefore, Turing machine theory is suitable for traditional silicon-based computing pattern for its one by one searching while cellular automata is more likely to perform in DNA computation because it is easy to set up computing rules in each cellular. This allows for the computing in memory by eliminating the communication delay in traditional von Neumann architecture. Therefore, DNA-based computation shows considerable promise in addressing standard engineering and fundamental problems. In the immediate future, its potential ability to solve problems beyond the capabilities of current computers might position it as a highly promising emerging technology with immense possibilities.

4. Foreground: applications in a real-world scenario

As the further crossing of Information Technology (IT) and Biotechnology (BT), more attempts with DNA computation for real-world settings are emerging, such as DNA computing-based clinical diagnostics and cryptography which both need multiple recognition parameters and complex computation loads. DNA computation is well-suited for such tasks due to the ability to sense and analyze in one pot and has the potential to outperform the traditional analyze-post-sense methods. The integration of DNA computation with diagnostic processes into computing presents an opportunity to lower the technical barriers associated with disease diagnosis. When applied in point-of-care testing (POCT) for clinical diagnosis, this technology can streamline the diagnosis process, making it easier to generalize to the population.

In 2017, Macdonald's group made an attempt by using YES gate with fused complementary sequence to identify and report the diagnosis of rabies and other Lyssavirus types (Fig. 4a) [29]. Based on the idea of linear classification in machine learning, Seeling's group introduced a molecular computation strategy for analyzing complex gene expression signatures without requiring costly instrumentation [17]. Moreover, in 2020, Han's group demonstrated that DNA-based computing circuits, with the aid of in-silico training, could be used to classify healthy and non-small cell lung cancer in clinical samples (NSCLC) (Fig. 4b) [18]. Similarly, in 2022, they successfully classified the etiology of acute respiratory illness (Fig. 4c) [19] and analyzed complex single-nucleotide-polymorphism (SNP) combinations for rapid blood type determination [20]. These studies provide application scenarios for DNA computation in clinical diagnostics, revealing the potential for streamlined, intelligent, and convenient processes.

Fig. 4.

Fig 4 dummy alt text

Applications in clinical diagnostics and cryptography. (a) A prototype molecular automaton able to discriminate between seven different genotypes of Lyssaviruses, including Rabies virus [28]. Copyright 2017, Wiley-VCH. (b) Individual classification of healthy and non-small cell lung cancer (NSCLC) [18]. Copyright 2020, Springer Nature. (c) Etiology of acute respiratory illness classification [19]. (d) DNA origami cryptography (DOC) [29]. Copyright 2019, Springer Nature. (e) A DNA-based two-dimensional molecular data storage system (2DDNA storage system) [30]. Copyright 2022, Springer Nature.

Likewise, cryptography, which involves encoding information to conceal messages, always requires extensive and economic computation power. In specific, additional storage space is typically required for encryption for security reasons. Silicon-based information storage needs a lot of energy to maintain the stability of stored information. Therefore, high information density and low power consumption are important goals for cryptography. Due to the biostability and quaternary encoding of sequences, DNA computation is considered a suitable medium for encoding and decoding information. In addition, DNA possesses inherent structural information which can be combined with the above-mentioned sequence information to design and implement more complex crypto algorithms. In 2019, Fan's group developed a DNA origami cryptography (DOC) (Fig. 4d) which can create a key of over 700 bits. The transmitted message integrity can be ensured by establishing specific linkages between different DNA origamis carrying parts of the message [30]. In 2022, Schroeder's and Milenkovic's group reported a DNA-based two-dimensional molecular data storage system (Fig. 4e) that recorded information in both the DNA sequences and backbone structures [31]. This 2D DNA storage system performs nontrivial joint data encoding, decoding, and processing by storing images in DNA sequences and embedding pertinent metadata as nicks in the backbone. Both examples demonstrate the ability of DNA computation to perform massive data storage and outstanding performance in cryptography.

Advancements in molecular-scale operations have led to the development of tasks such as data organization, access, manipulation, and other potential practical functionalities [32,33]. Therefore, DNA computation could be instrumental in shaping the future of information technology, particularly in the realms of processing and storing vast amounts of data.

5. Conclusions and outlook

As an emerging computing paradigm, DNA-based computation has been demonstrated to be an essential technology in the fields of computer science. Both the silico-based and DNA-based computing can be built by Boolean logic, which allows similar circuit designs in their standardization and modularization. To date, significant progress has been achieved in understanding the theories and practices of scaling up DNA circuits, which makes DNA computation more predictable and efficient.

Although DNA computation originally started with the demonstration of a computing application, it has shifted its goal away from being a competitor to electronic computers, toward several other promising research and application directions, especially on biomedical applications and information security. With respect to the former, researchers can program DNA modules to early detect or identify diseases with specific biomarkers, which can lead to more effective treatment options. With regard to the latter, DNA molecules possess unique properties that enable them to store vast amounts of information, and their inherent self-replication abilities make them highly resistant to damage or loss. Consequently, DNA-based encryption methods have emerged as highly secure options for data storage and transmission.

As a nascent technology, DNA computation is still facing various challenges, such as the relatively slow kinetics, liquid-based operation environment, stringent requirement on temperature and limited readout strategies. Further research including engineered-enzyme for computing, regionalized organizing or surface reaction networks, imaging or sequencing technologies are required to comprehensively investigate the feasibility and efficacy of DNA computation, supported by strict theoretical and practical studies. With continued advancements, DNA computation has the potential to revolutionize the field of bio-engineering as well as information technology, leading to new and exciting opportunities for biomedical applications with big data processing and information storage.

Declaration of competing interest

The authors declare that they have no conflicts of interest in this work.

Acknowledgments

This work was supported by grants from the National Natural Science Foundation of China (22225402).

Biographies

Mingzhi Zhang received her bachelor of science degree from Hunan University in 2019. She is currently a Ph.D. candidate at Shanghai Jiao Tong University School of Medicine. Her research interests are focused on using nucleic acid molecules to integrate and record information.

Da Han (BRID: 07006.00.83158) received his doctoral degree from the University of Florida in 2013 and worked as a scientist in Intel Corporation until 2018. He then joined the Institute of Molecular Medicine of Shanghai Jiao Tong University as a full professor. In 2022, he became a professor in Hangzhou Institute of Medicine, Chinese Academy of Sciences. His research interests include the elucidation of the physicochemical principles governing nucleic acid molecules and the development of “intelligent” molecular tools that can perform diagnostic and therapeutic functions.

References

  • 1.Busch P., Heinonen T., Lahti P. Heisenberg's uncertainty principle. Phys. Rep. 2007;452:155–176. [Google Scholar]
  • 2.Heisenberg W. Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik. Zeitschrift für Physik. 1927;43:172–198. [Google Scholar]
  • 3.Neumann J.V. First draft of a report on the EDVAC. IEEE Ann. History Comput. 1993;15:27–75. [Google Scholar]
  • 4.Adleman L.M. Molecular Computation of Solutions to Combinatorial Problems. Science. 1994;266:1021–1023. doi: 10.1126/science.7973651. [DOI] [PubMed] [Google Scholar]
  • 5.Lipton R.J. DNA solution of hard computational problems. Science. 1995;268:542. doi: 10.1126/science.7725098. [DOI] [PubMed] [Google Scholar]
  • 6.Adleman L.M. In: DNA Based Computers. Lipton R.J., Baum E.B., editors. DIMACS/AMS; 1995. On constructing a molecular computer; pp. 1–21. [Google Scholar]
  • 7.Rooß D., Wagner K.W. On the power of DNA-computing. Inf. Comput. 1996;131:95–109. [Google Scholar]
  • 8.Bach E., Condon A., Glaser E., et al. Proceedings of Computational Complexity (Formerly Structure in Complexity Theory. 1996. DNA models and algorithms for NP-complete problems; pp. 290–300. [Google Scholar]
  • 9.Baum E.B., Boneh D. Running dynamic programming algorithms on a DNA computer. DNA Based Comput. 1996:77–85. [Google Scholar]
  • 10.Amos M., Gibbons A., Hodgson D.A. Error-resistant implementation of DNA computations. DNA Based Comput. 1996:151–161. [Google Scholar]
  • 11.Qian L., Winfree E. Scaling up digital circuit computation with DNA strand displacement cascades. Science. 2011;332:1196. doi: 10.1126/science.1200520. [DOI] [PubMed] [Google Scholar]
  • 12.Wang F., Lv H., Li Q., et al. Implementing digital computing with DNA-based switching circuits. Nat. Commun. 2020;11:121. doi: 10.1038/s41467-019-13980-y. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 13.Xie N., Li M., Wang Y., et al. Scaling up multi-bit DNA full adder circuits with minimal strand displacement reactions. J. Am. Chem. Soc. 2022;144:9479–9488. doi: 10.1021/jacs.2c03258. [DOI] [PubMed] [Google Scholar]
  • 14.Cherry K.M., Qian L. Scaling up molecular pattern recognition with DNA-based winner-take-all neural networks. Nature. 2018;559:370–376. doi: 10.1038/s41586-018-0289-6. [DOI] [PubMed] [Google Scholar]
  • 15.Rodriguez K.R., Sarraf N., Qian L. A loser-take-all DNA circuit. ACS Synth. Biol. 2021;10:2878–2885. doi: 10.1021/acssynbio.1c00318. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 16.Qian L., Winfree E., Bruck J. Neural network computation with DNA strand displacement cascades. Nature. 2011;475:368–372. doi: 10.1038/nature10262. [DOI] [PubMed] [Google Scholar]
  • 17.Lopez R., Wang R., Seelig G. A molecular multi-gene classifier for disease diagnostics. Nat. Chem. 2018;10:746–754. doi: 10.1038/s41557-018-0056-1. [DOI] [PubMed] [Google Scholar]
  • 18.Zhang C., Zhao Y., Xu X., et al. Cancer diagnosis with DNA molecular computation. Nat. Nanotechnol. 2020;15:709–715. doi: 10.1038/s41565-020-0699-0. [DOI] [PubMed] [Google Scholar]
  • 19.Ma Q., Zhang M., Zhang C., et al. An automated DNA computing platform for rapid etiological diagnostics. Sci. Adv. 2022;8:eade0453. doi: 10.1126/sciadv.ade0453. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 20.Zhang C., Zheng T., Ma Q., et al. Logical analysis of multiple single-nucleotide-polymorphisms with programmable DNA molecular computation for clinical diagnostics. Angew. Chem. Int. Ed. 2022:61. doi: 10.1002/anie.202117658. [DOI] [PubMed] [Google Scholar]
  • 21.Liu C., Sun J. AI in measurement science. Ann. Rev. Anal. Chem. 2021;14:1–19. doi: 10.1146/annurev-anchem-091520-091450. [DOI] [PubMed] [Google Scholar]
  • 22.Beaver D. ASIACRYPT; 1994. Factoring: The DNA Solution. [Google Scholar]
  • 23.Conery J.S. Computation is symbol manipulation. Comput. J. 2012;55:814–816. [Google Scholar]
  • 24.Song T., Eshra A., Shah S., et al. Fast and compact DNA logic circuits based on single-stranded gates using strand-displacing polymerase. Nat. Nanotechnol. 2019;14:1075–1081. doi: 10.1038/s41565-019-0544-5. [DOI] [PubMed] [Google Scholar]
  • 25.Kim J., Winfree E. Synthetic in vitro transcriptional oscillators. Mol. Syst. Biol. 2011;7:465. doi: 10.1038/msb.2010.119. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 26.Srinivas N., Parkin J., Seelig G., et al. Enzyme-free nucleic acid dynamical systems. Science. 2017;358 doi: 10.1126/science.aal2052. [DOI] [PubMed] [Google Scholar]
  • 27.Schaffter S.W., Chen K.-L., O'Brien J., et al. Standardized excitable elements for scalable engineering of far-from-equilibrium chemical networks. Nat. Chem. 2022;14:1224–1232. doi: 10.1038/s41557-022-01001-3. [DOI] [PubMed] [Google Scholar]
  • 28.Okumura S., Gines G., Lobato-Dauzier N., et al. Nonlinear decision-making with enzymatic neural networks. Nature. 2022;610:496–501. doi: 10.1038/s41586-022-05218-7. [DOI] [PubMed] [Google Scholar]
  • 29.Vijayakumar P., Macdonald J. A DNA logic gate automaton for detection of rabies and other lyssaviruses. ChemPhysChem. 2017;18:1735–1741. doi: 10.1002/cphc.201700072. [DOI] [PubMed] [Google Scholar]
  • 30.Zhang Y., Wang F., Chao J., et al. DNA origami cryptography for secure communication. Nat. Commun. 2019;10:5469. doi: 10.1038/s41467-019-13517-3. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 31.Pan C., Tabatabaei S.K., Tabatabaei Yazdi S.M.H., et al. Rewritable two-dimensional DNA-based data storage with machine learning reconstruction. Nat. Commun. 2022;13:2984. doi: 10.1038/s41467-022-30140-x. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 32.Tomek K.J., Volkel K., Indermaur E.W., et al. Promiscuous molecules for smarter file operations in DNA-based data storage. Nat. Commun. 2021;12:3518. doi: 10.1038/s41467-021-23669-w. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 33.Bee C., Chen Y.-J., Queen M., et al. Molecular-level similarity search brings computing to DNA data storage. Nat. Commun. 2021;12:4764. doi: 10.1038/s41467-021-24991-z. [DOI] [PMC free article] [PubMed] [Google Scholar]

Articles from Fundamental Research are provided here courtesy of The Science Foundation of China Publication Department, The National Natural Science Foundation of China

RESOURCES