Synthetic biology aims to develop engineering-driven approaches to the programming of cellular functions that could yield transformative technologies1. Synthetic gene circuits that combine DNA, protein, and RNA components have demonstrated a range of functions such as bistability2, oscillation3,4, feedback5,6, and logic capabilities7,8,9,10,11,12,13,14,15. However, it remains challenging to scale up these circuits owing to the limited number of designable, orthogonal, high-performance parts, the empirical and often tedious composition rules, and the requirements for substantial resources for encoding and operation. Here, we report a strategy for constructing RNA-only nanodevices to evaluate complex logic in living cells. Our ‘ribocomputing’ systems are composed of de-novo-designed parts and operate through predictable and designable base-pairing rules, allowing the effective in silico design of computing devices with prescribed configurations and functions in complex cellular environments. These devices operate at the post-transcriptional level and use an extended RNA transcript to co-localize all circuit sensing, computation, signal transduction, and output elements in the same self-assembled molecular complex, which reduces diffusion-mediated signal losses, lowers metabolic cost, and improves circuit reliability. We demonstrate that ribocomputing devices in Escherichia coli can evaluate two-input logic with a dynamic range up to 900-fold and scale them to four-input AND, six-input OR, and a complex 12-input expression (A1 AND A2 AND NOT A1*) OR (B1 AND B2 AND NOT B2*) OR (C1 AND C2) OR (D1 AND D2) OR (E1 AND E2). Successful operation of ribocomputing devices based on programmable RNA interactions suggests that systems employing the same design principles could be implemented in other host organisms or in extracellular settings.
This work was supported by NIH Director’s New Innovator and Transformative Research Awards (1DP2OD007292, 1R01EB018659), an ONR Young Investigator Program Award (N000141110914) and grants (N000141010827, N000141310593, N000141410610, N000141612410), NSF CAREER and Expedition in Computing Awards (CCF1054898, CCF1317291) and grants (CCF1162459, ERASynBio 1540214), and Wyss Institute Molecular Robotics Initiative support to P.Y.; a DARPA Living Foundries grant (HR001112C0061) to P.A.S., P.Y., and J.J.C.; an ONR MURI Program grant, a DTRA grant (HDTRA1-15-1-0040), and Paul G. Allen Frontiers Group funds to J.J.C.; and an Arizona Biomedical Research Commission New Investigator Award, an Alfred P. Sloan Research Fellowship (FG-2017-9108), and Arizona State University funds to A.A.G. J.K. acknowledges a Wyss Institute Director’s Cross-Platform Fellowship.
Extended data figures
This file contains the major conserved sequences Used.
Sequences and Output Characteristics of AND-Computing Toehold Switches.
Sequences for two-input OR gate circuit.
Sequences for AND gate circuits.
Sequences for A AND (NOT B) circuit.
Sequences for the six-input OR gate circuit.
Sequences for four- and five-input OR gate circuits constructed from AND-computing toehold switches.
Sequences used for 11-input dual gate circuit shown in Extended Data Fig. 7e-g.
Sequences for disjunctive normal form (DNF) circuits.