Synthetic biology is a rapidly emerging research area, with expected wide-ranging impact in biology, nanofabrication, and medicine. A key technical challenge lies in embedding computation in molecular contexts where electronic micro-controllers cannot be inserted. This necessitates effective representation of computation using molecular components. While previous work established the Turing-completeness of chemical reactions, defining representations that are faithful, efficient, and practical remains challenging. This paper introduces CRN++, a new language for programming deterministic (mass-action) chemical kinetics to perform computation. We present its syntax and semantics, and build a compiler translating CRN++ programs into chemical reactions, thereby laying the foundation of a comprehensive framework for molecular programming. Our language addresses the key challenge of embedding familiar imperative constructs into a set of chemical reactions happening simultaneously and manipulating real-valued concentrations. Although some deviation from ideal output value cannot be avoided, we develop methods to minimize the error, and implement error analysis tools. We demonstrate the feasibility of using CRN++ on a suite of well-known algorithms for discrete and real-valued computation. CRN++ can be easily extended to support new commands or chemical reaction implementations, and thus provides a foundation for developing more robust and practical molecular programs.
more »
« less
Robust detection in leak-prone population protocols
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.
more »
« less
- Award ID(s):
- 1652824
- PAR ID:
- 10066030
- Date Published:
- Journal Name:
- DNA Computing and Molecular Programming 23
- Page Range / eLocation ID:
- 155-171
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Understanding chemical processes at the single-molecule scale represents the ultimate limit of analytical chemistry. Single-molecule detection techniques allow one to reveal the detailed dynamics and kinetics of a chemical reaction with unprecedented accuracy. It has also enabled the discoveries of new reaction pathways or intermediates/transition states that are inaccessible in conventional ensemble experiments, which is critical to elucidating their intrinsic mechanisms. Thanks to the rapid development of single-molecule junction (SMJ) techniques, detecting chemical reactions via monitoring the electrical current through single molecules has received an increasing amount of attention and has witnessed tremendous advances in recent years. Research efforts in this direction have opened a new route for probing chemical and physical processes with single-molecule precision. This review presents detailed advancements in probing single-molecule chemical reactions using SMJ techniques. We specifically highlight recent progress in investigating electric-field-driven reactions, reaction dynamics and kinetics, host–guest interactions, and redox reactions of different molecular systems. Finally, we discuss the potential of single-molecule detection using SMJs across various future applications.more » « less
-
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.more » « less
-
Abstract Precise tuning of chemical reactions with predictable and controllable manners, an ultimate goal chemists desire to achieve, is valuable in the scientific community. This tunability is necessary to understand and regulate chemical transformations at both macroscopic and single-molecule levels to meet demands in potential application scenarios. Herein, we realise accurate tuning of a single-molecule Mizoroki-Heck reaction via applying gate voltages as well as complete deciphering of its detailed intrinsic mechanism by employing an in-situ electrical single-molecule detection, which possesses the capability of single-event tracking. The Mizoroki-Heck reaction can be regulated in different dimensions with a constant catalyst molecule, including the molecular orbital gating of Pd(0) catalyst, the on/off switching of the Mizoroki-Heck reaction, the promotion of its turnover frequency, and the regulation of each elementary reaction within the Mizoroki-Heck catalytic cycle. These results extend the tuning scope of chemical reactions from the macroscopic view to the single-molecule approach, inspiring new insights into designing different strategies or devices to unveil reaction mechanisms and discover novel phenomena.more » « less
-
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