Abstract:We propose a novel theoretical biomolecular design to implement any Boolean circuit using the mechanism of DNA strand displacement. The design is scalable: all species of DNA strands can in principle be mixed and prepared in a single test tube, rather than requiring separate purification of each species, which is a barrier to large-scale synthesis. The design is time-responsive: the concentration of output species changes in response to the concentration of input species, so that time-varying inputs may be continuously processed. The design is digital: Boolean values of wires in the circuit are represented as high or low concentrations of certain species, and we show how to construct a single-input, single-output signal restoration gate that amplifies the difference between high and low, which can be distributed to each wire in the circuit to overcome signal degradation. This means we can achieve a digital abstraction of the analog values of concentrations. Finally, the design is energy-efficient: if input species are specified ideally (meaning absolutely 0 concentration of unwanted species), then output species converge to their ideal concentrations at steady-state, and the system at steady-state is in (dynamic) equilibrium, meaning that no energy is consumed by irreversible reactions until the input again changes. Drawbacks of our design include the following. If input is provided non-ideally (small positive concentration of unwanted species), then energy must be continually expended to maintain correct output concentrations even at steady-state. In addition, our fuel species - those species that are permanently consumed in irreversible reactions - are not "generic"; each gate in the circuit is powered by its own specific type of fuel species. Hence different circuits must be powered by different types of fuel. Finally, we require input to be given according to the dual-rail convention, so that an input of 0 is specified not only by the absence of a certain species, but by the presence of another. That is, we do not construct a "true NOT gate" that sets its output to high concentration if and only if its input's concentration is low. It remains an open problem to design scalable, time-responsive, digital, energy-efficient molecular circuits that additionally solve one of these problems, or to prove that some subset of their resolutions are mutually incompatible.

Implementation Of Arithmetic Functions On A Simple And Universal Molecular Beacon Platform

High-efficiency and integrable DNA arithmetic and logic system based on strand displacement synthesis

Molecular Logic Function Materials

Construction of logic circuit with modular molecular switching strategy based on DNA strand displacement

Implementing digital computing with DNA-based switching circuits

Implementation of Digital Computing by Colloidal Crystal Engineering with DNA

Fluorescence-Based Reconfigurable and Resettable Molecular Arithmetic Mode

Scaling Up Multi-bit DNA Full Adder Circuits with Minimal Strand Displacement Reactions

A Universal Molecular Translator for Non-Nucleic Acid Targets That Enables Dynamic DNA Assemblies and Logic Operations

Unimolecular half-adders and half-subtractors based on acid-base reaction

Toehold Integrated Molecular Beacon System for a Versatile Non-Enzymatic Application

Erasable and Field Programmable DNA Circuits Based on Configurable Logic Blocks

DNA circuits compatible encoder and demultiplexer based on a single biomolecular platform with DNA strands as outputs

Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits using DNA Strand Displacement

An unique DNA junction scaffold-based electrochemical sensing platform achieving multilevel signal responses for amplified multiplexed nucleic acid analysis and logic operation

Molecular circuit for exponentiation based on the domain coding strategy

Arbitrary Digital DNA Computing: A Programmable Molecular Perceptron Driven by Lambda Exonuclease for Lighting up Concatenated Circuits

Programmable Molecular Signal Transmission Architecture and Reactant Regeneration Strategy Driven by EXO λ for DNA Circuits

A multifunctional arithmetical processor model integrated inside a single molecule.

Nanoclusters with specific DNA overhangs: modifying configurability, engineering contrary logic pairs and the parity generator/checker for error detection

Illuminating Diverse Concomitant DNA Logic Gates and Concatenated Circuits with Hairpin DNA‐Templated Silver Nanoclusters as Universal Dual‐Output Generators