Title: Effective design principles for leakless strand displacement systems
Artificially designed molecular systems with programmable behaviors have become a valuable tool in chemistry, biology, material science, and medicine. Although information processing in biological regulatory pathways is remarkably robust to error, it remains a challenge to design molecular systems that are similarly robust. With functionality determined entirely by secondary structure of DNA, strand displacement has emerged as a uniquely versatile building block for cell-free biochemical networks. Here, we experimentally investigate a design principle to reduce undesired triggering in the absence of input (leak), a side reaction that critically reduces sensitivity and disrupts the behavior of strand displacement cascades. Inspired by error correction methods exploiting redundancy in electrical engineering, we ensure a higher-energy penalty to leak via logical redundancy. Our design strategy is, in principle, capable of reducing leak to arbitrarily low levels, and we experimentally test two levels of leak reduction for a core “translator” component that converts a signal of one sequence into that of another. We show that the leak was not measurable in the high-redundancy scheme, even for concentrations that are up to 100 times larger than typical. Beyond a single translator, we constructed a fast and low-leak translator cascade of nine strand displacement steps and a logic OR gate circuit consisting of 10 translators, showing that our design principle can be used to effectively reduce leak in more complex chemical systems. more »« less
Kennedy, Tiernan; Pearce, Cadence; Thachuk, Chris(
, 28th International Conference on DNA Computing and Molecular Programming (DNA 28))
Ouldridge, Thomas E.; Wickham, Shelley F.J.
(Ed.)
A barrier to wider adoption of molecular computation is the difficulty of implementing arbitrary chemical reaction networks (CRNs) that are robust and replicate the kinetics of designed behavior. DNA Strand Displacement (DSD) cascades have been a favored technology for this purpose due to their potential to emulate arbitrary CRNs and known principles to tune their reaction rates. Progress on leakless cascades has demonstrated that DSDs can be arbitrarily robust to spurious "leak" reactions when incorporating systematic domain level redundancy. These improvements in robustness result in slower kinetics of designed reactions. Existing work has demonstrated the kinetic and thermodynamic effects of sequence mismatch introduction and elimination during displacement. We present a systematic, sequence modification strategy for optimizing the kinetics of leakless cascades without practical cost to their robustness. An in-depth case study explores the effects of this optimization when applied to a typical leakless translator cascade. Thermodynamic analysis of energy barriers and kinetic experimental data support that DSD cascades can be fast and robust.
Alistarh, Dan; Dudek, Bartłomiej; Kosowski, Adrian; Soloveichik, David; Uznański, Przemysław(
, DNA Computing and Molecular Programming 23)
In contrast to electronic computation, chemical computation is noisy and susceptible to a variety of sources of error, which has prevented the construction of robust complex systems. To be effective, chemical algorithms must be designed with an appropriate error model in mind. Here we consider the model of chemical reaction networks that preserve molecular count (population protocols), and ask whether computation can be made robust to a natural model of unintended “leak” reactions. Our definition of leak is motivated by both the particular spurious behavior seen when implementing chemical reaction networks with DNA strand displacement cascades, as well as the unavoidable side reactions in any implementation due to the basic laws of chemistry. We develop a new “Robust Detection” algorithm for the problem of fast (logarithmic time) single molecule detection, and prove that it is robust to this general model of leaks. Besides potential applications in single molecule detection, the error-correction ideas developed here might enable a new class of robust-by-design chemical algorithms. Our analysis is based on a non-standard hybrid argument, combining ideas from discrete analysis of population protocols with classic Markov chain techniques.
Wang, Boya; Thachuk, Chris; Ellington, Andrew; Soloveichik, David(
, DNA Computing and Molecular Programming 23)
DNA strand displacement cascades have proven to be a uniquely flexible and programmable primitive for constructing molecular logic circuits, smart structures and devices, and for systems with complex autonomously generated dynamics. Limiting their utility, however, strand displacement systems are susceptible to the spurious release of output even in the absence of the proper combination of inputs—so-called leak. A common mechanism for reducing leak involves clamping the ends of helices to prevent fraying, and thereby kinetically blocking the initiation of undesired displacement. Since a clamp must act as the incumbent toehold for toehold exchange, clamps cannot be stronger than a toehold. In this paper we systematize the properties of the simplest of strand displacement cascades (a translator) with toehold-size clamps. Surprisingly, depending on a few basic parameters, we find a rich and diverse landscape for desired and undesired properties and trade-offs between them. Initial experiments demonstrate a significant reduction of leak.
Bhadra, Sanchita; Riedel, Timothy E.; Lakhotia, Simren; Tran, Nicholas D.; Ellington, Andrew D.(
, mSphere)
Rasmussen, Angela L.
(Ed.)
ABSTRACT Isothermal nucleic acid amplification tests (iNATs), such as loop-mediated isothermal amplification (LAMP), are good alternatives to PCR-based amplification assays, especially for point-of-care and low-resource use, in part because they can be carried out with relatively simple instrumentation. However, iNATs can often generate spurious amplicons, especially in the absence of target sequences, resulting in false-positive results. This is especially true if signals are based on non-sequence-specific probes, such as intercalating dyes or pH changes. In addition, pathogens often prove to be moving, evolving targets and can accumulate mutations that will lead to inefficient primer binding and thus false-negative results. Multiplex assays targeting different regions of the analyte and logical signal readout using sequence-specific probes can help to reduce both false negatives and false positives. Here, we describe rapid conversion of three previously described SARS-CoV-2 LAMP assays that relied on a non-sequence-specific readout into individual and multiplex one-pot assays that can be visually read using sequence-specific oligonucleotide strand exchange (OSD) probes. We describe both fluorescence-based and Boolean logic-gated colorimetric lateral flow readout methods and demonstrate detection of SARS-CoV-2 virions in crude human saliva. IMPORTANCE One of the key approaches to treatment and control of infectious diseases, such as COVID-19, is accurate and rapid diagnostics that is widely deployable in a timely and scalable manner. To achieve this, it is essential to go beyond the traditional gold standard of quantitative PCR (qPCR) that is often faced with difficulties in scaling due to the complexity of infrastructure and human resource requirements. Isothermal nucleic acid amplification methods, such as loop-mediated isothermal amplification (LAMP), have been long pursued as ideal, low-tech alternatives for rapid, portable testing. However, isothermal approaches often suffer from false signals due to employment of nonspecific readout methods. We describe general principles for rapidly converting nonspecifically read LAMP assays into assays that are read in a sequence-specific manner by using oligonucleotide strand displacement (OSD) probes. We also demonstrate that inclusion of OSD probes in LAMP assays maintains the simplicity of one-pot assays and a visual yes/no readout by using fluorescence or colorimetric lateral-flow dipsticks while providing accurate sequence-specific readout and the ability to logically query multiplex amplicons for redundancy or copresence. These principles not only yielded high-surety isothermal assays for SARS-CoV-2 but might also aid in the design of more sophisticated molecular assays for other analytes.
Badelt, Stefan; Grun, Casey; Sarma, Karthik V.; Wolfe, Brian; Shin, Seung Woo; Winfree, Erik(
, Journal of The Royal Society Interface)
Information technologies enable programmers and engineers to design and synthesize systems of startling complexity that nonetheless behave as intended. This mastery of complexity is made possible by a hierarchy of formal abstractions that span from high-level programming languages down to low-level implementation specifications, with rigorous connections between the levels. DNA nanotechnology presents us with a new molecular information technology whose potential has not yet been fully unlocked in this way. Developing an effective hierarchy of abstractions may be critical for increasing the complexity of programmable DNA systems. Here, we build on prior practice to provide a new formalization of ‘domain-level’ representations of DNA strand displacement systems that has a natural connection to nucleic acid biophysics while still being suitable for formal analysis. Enumeration of unimolecular and bimolecular reactions provides a semantics for programmable molecular interactions, with kinetics given by an approximate biophysical model. Reaction condensation provides a tractable simplification of the detailed reactions that respects overall kinetic properties. The applicability and accuracy of the model is evaluated across a wide range of engineered DNA strand displacement systems. Thus, our work can serve as an interface between lower-level DNA models that operate at the nucleotide sequence level, and high-level chemical reaction network models that operate at the level of interactions between abstract species.
Wang, Boya, Thachuk, Chris, Ellington, Andrew D., Winfree, Erik, and Soloveichik, David. Effective design principles for leakless strand displacement systems. Retrieved from https://par.nsf.gov/biblio/10093584. Proceedings of the National Academy of Sciences 115.52 Web. doi:10.1073/pnas.1806859115.
Wang, Boya, Thachuk, Chris, Ellington, Andrew D., Winfree, Erik, & Soloveichik, David. Effective design principles for leakless strand displacement systems. Proceedings of the National Academy of Sciences, 115 (52). Retrieved from https://par.nsf.gov/biblio/10093584. https://doi.org/10.1073/pnas.1806859115
Wang, Boya, Thachuk, Chris, Ellington, Andrew D., Winfree, Erik, and Soloveichik, David.
"Effective design principles for leakless strand displacement systems". Proceedings of the National Academy of Sciences 115 (52). Country unknown/Code not available. https://doi.org/10.1073/pnas.1806859115.https://par.nsf.gov/biblio/10093584.
@article{osti_10093584,
place = {Country unknown/Code not available},
title = {Effective design principles for leakless strand displacement systems},
url = {https://par.nsf.gov/biblio/10093584},
DOI = {10.1073/pnas.1806859115},
abstractNote = {Artificially designed molecular systems with programmable behaviors have become a valuable tool in chemistry, biology, material science, and medicine. Although information processing in biological regulatory pathways is remarkably robust to error, it remains a challenge to design molecular systems that are similarly robust. With functionality determined entirely by secondary structure of DNA, strand displacement has emerged as a uniquely versatile building block for cell-free biochemical networks. Here, we experimentally investigate a design principle to reduce undesired triggering in the absence of input (leak), a side reaction that critically reduces sensitivity and disrupts the behavior of strand displacement cascades. Inspired by error correction methods exploiting redundancy in electrical engineering, we ensure a higher-energy penalty to leak via logical redundancy. Our design strategy is, in principle, capable of reducing leak to arbitrarily low levels, and we experimentally test two levels of leak reduction for a core “translator” component that converts a signal of one sequence into that of another. We show that the leak was not measurable in the high-redundancy scheme, even for concentrations that are up to 100 times larger than typical. Beyond a single translator, we constructed a fast and low-leak translator cascade of nine strand displacement steps and a logic OR gate circuit consisting of 10 translators, showing that our design principle can be used to effectively reduce leak in more complex chemical systems.},
journal = {Proceedings of the National Academy of Sciences},
volume = {115},
number = {52},
author = {Wang, Boya and Thachuk, Chris and Ellington, Andrew D. and Winfree, Erik and Soloveichik, David},
}
Warning: Leaving National Science Foundation Website
You are now leaving the National Science Foundation website to go to a non-government website.
Website:
NSF takes no responsibility for and exercises no control over the views expressed or the accuracy of
the information contained on this site. Also be aware that NSF's privacy policy does not apply to this site.
