Complex cellular logic computation using …...Complex cellular logic computation using...

16
00 MONTH 2017 | VOL 000 | NATURE | 1 LETTER doi:10.1038/nature23271 Complex cellular logic computation using ribocomputing devices Alexander A. Green 1,2 *, Jongmin Kim 1,3 *, Duo Ma 2 , Pamela A. Silver 1,3 , James J. Collins 1,4,5 & Peng Yin 1,3 Synthetic biology aims to develop engineering-driven approaches to the programming of cellular functions that could yield transformative technologies 1 . Synthetic gene circuits that combine DNA, protein, and RNA components have demonstrated a range of functions such as bistability 2 , oscillation 3,4 , feedback 5,6 , and logic capabilities 7–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. A wide variety of synthetic biological circuits have been constructed to endow cells with functions analogous to those of electronic circuits. A long-term goal of these efforts has been to develop biological circuit design strategies that will enable cellular function to be programmed with the same ease with which we program electronic computers. This conceptual framework has motivated efforts to develop libraries of well-characterized, modular, and composable biological parts that, in principle, can be assembled to construct new types of circuitry in living cells. Furthermore, it has spurred the adoption of layered circuit designs 11,16,17 in which the outputs of basic two-input circuit elements are fed forwards into other logic elements in the next layer. Although substantial advances have been made by using insulation strategies and advanced computer programs 15 to reduce sensitivity to context, challenges remain to further scale up synthetic biological circuits. Taking inspiration from the sophisticated circuits developed for DNA computing and self-assembly 18–23 in test tubes and advances in RNA synthetic biology 17,24,25 , we have developed RNA-only circuits in bacteria that enable complex intracellular computations to be carried out in a single circuit layer. These circuits have various advantages for scaling up. First, these ribocomputing devices utilize programmable RNA molecules with de-novo-designed parts and prescribed interaction rules, allowing effective in silico designs. Second, they are composed of networks of precisely designed synthetic RNAs and function purely at the post-transcriptional level with no intermediate transcriptional 1 Wyss Institute for Biologically Inspired Engineering, Harvard University, Boston, Massachusetts 02115, USA. 2 Biodesign Center for Molecular Design and Biomimetics, Biodesign Institute and School of Molecular Sciences, Arizona State University, Tempe, Arizona 85287, USA. 3 Department of Systems Biology, Harvard Medical School, Boston, Massachusetts 02115, USA. 4 Institute for Medical Engineering and Science, Department of Biological Engineering, and Synthetic Biology Center, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA. 5 Broad Institute of MIT and Harvard, Cambridge, Massachusetts 02142, USA. *These authors contributed equally to this work. Gate RNA: co-localized sensing and output Gene OFF Sensor modules Output gene Input RNA network Input signals Output signals Output protein Signal processing OR logic Toehold switch: RNA sensor b Toehold switch for AND logic c a X* X Gene ON Ribosome Switch RNA Gene OFF AUG RBS X* Trigger RNA X NOT logic Deactivation AND logic Trigger RNA Y Switch RNA Gene OFF AUG RBS Y* Y* Y Gene OFF Ribosome Y* Y Gene ON Y* Y Gene OFF Figure 1 | In vivo computation using synthetic ribocomputing devices. a, Ribocomputing devices use RNA molecules as input signals and protein as the output signal. Signal processing is carried out by a gate RNA that co-localizes sensing and output modules. AND, OR, and NOT logic results from self-assembly of input and gate RNAs in the device. b, Schematic of the toehold switches that form the RNA sensing elements of the gate RNA. The ribosomal binding site (RBS) and start codon (AUG) of the switch RNA are exposed upon trigger RNA binding to activate translation. X and X* are complementary sequences. c, Schematic of toehold switches optimized for AND logic. These toehold switches retain a weak hairpin upon activation by the trigger RNA that still allows efficient translation by ribosome. © 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Transcript of Complex cellular logic computation using …...Complex cellular logic computation using...

Page 1: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

0 0 M o n t h 2 0 1 7 | V o L 0 0 0 | n A t U R E | 1

LEttERdoi:10.1038/nature23271

Complex cellular logic computation using ribocomputing devicesAlexander A. Green1,2*, Jongmin Kim1,3*, Duo Ma2, Pamela A. Silver1,3, James J. Collins1,4,5 & Peng Yin1,3

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–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.

A wide variety of synthetic biological circuits have been constructed to endow cells with functions analogous to those of electronic circuits. A long-term goal of these efforts has been to develop biological circuit design strategies that will enable cellular function to be programmed with the same ease with which we program electronic computers. This conceptual framework has motivated efforts to develop libraries of well-characterized, modular, and composable biological parts that, in principle, can be assembled to construct new types of circuitry in living cells. Furthermore, it has spurred the adoption of layered circuit designs11,16,17 in which the outputs of basic two-input circuit elements are fed forwards into other logic elements in the next layer. Although substantial advances have been made by using insulation strategies and advanced computer programs15 to reduce sensitivity to context, challenges remain to further scale up synthetic biological circuits.

Taking inspiration from the sophisticated circuits developed for DNA computing and self-assembly18–23 in test tubes and advances in RNA synthetic biology17,24,25, we have developed RNA-only circuits in bacteria that enable complex intracellular computations to be carried out in a single circuit layer. These circuits have various advantages for scaling up. First, these ribocomputing devices utilize programmable RNA molecules with de-novo-designed parts and prescribed interaction rules, allowing effective in silico designs. Second, they are composed of networks of precisely designed synthetic RNAs and function purely at the post-transcriptional level with no intermediate transcriptional

1Wyss Institute for Biologically Inspired Engineering, Harvard University, Boston, Massachusetts 02115, USA. 2Biodesign Center for Molecular Design and Biomimetics, Biodesign Institute and School of Molecular Sciences, Arizona State University, Tempe, Arizona 85287, USA. 3Department of Systems Biology, Harvard Medical School, Boston, Massachusetts 02115, USA. 4Institute for Medical Engineering and Science, Department of Biological Engineering, and Synthetic Biology Center, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA. 5Broad Institute of MIT and Harvard, Cambridge, Massachusetts 02142, USA.*These authors contributed equally to this work.

Gate RNA: co-localized sensing and output

GeneOFF

Sensor modules

Outputgene

Input RNAnetwork

Inputsignals

Outputsignals

Outputprotein

Signal processing

OR logic

Toehold switch: RNA sensorb

Toehold switch for AND logicc

a

X*

X

GeneON

Ribosome

Switch RNA

GeneOFF

AUG

RBS

X*

Trigger RNAX

NOT logic

Deactivation

AND logic

Trigger RNAY

Switch RNA

GeneOFF

AUG

RBS

Y*

Y*

Y

GeneOFF

Ribosome

Y*

Y

GeneON

Y*

Y

GeneOFF

Figure 1 | In vivo computation using synthetic ribocomputing devices. a, Ribocomputing devices use RNA molecules as input signals and protein as the output signal. Signal processing is carried out by a gate RNA that co-localizes sensing and output modules. AND, OR, and NOT logic results from self-assembly of input and gate RNAs in the device. b, Schematic of the toehold switches that form the RNA sensing elements of the gate RNA.

The ribosomal binding site (RBS) and start codon (AUG) of the switch RNA are exposed upon trigger RNA binding to activate translation. X and X* are complementary sequences. c, Schematic of toehold switches optimized for AND logic. These toehold switches retain a weak hairpin upon activation by the trigger RNA that still allows efficient translation by ribosome.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 2: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

2 | n A t U R E | V o L 0 0 0 | 0 0 M o n t h 2 0 1 7

LetterreSeArCH

or translational steps, minimizing delays and improving the reliability of signal transduction. Third, these devices take advantage of co- localization to integrate multiple circuit functions within a single transcript termed a gate RNA. Implementation of co-localized circuit elements enhances signal propagation to the output gene and sub-stantially decreases the genetic footprint of the ribocomputing device by enabling one gate RNA to accomplish tasks that would otherwise require multiple independent RNAs.

The general architecture of the ribocomputing devices is illustrated schematically in Fig. 1a. A network of programmed RNAs provides input signals to the circuit and the output signal is a protein that is translated upon activation of the gate RNA. The gate RNA comprises the central signal-processing element of the device, employing modular sensor domains to detect the self-assembly state of the input RNA network. Input RNAs interact with themselves and the gate RNA through predictable base-pairing. Inputs that bind to the individual sensor domains on the gate RNA can independently trigger protein production and thus are used for OR logic operations. Input RNAs can interact with one another cooperatively to activate the gate RNA for AND logic or they can inhibit one another for NOT logic.

The sensing modules within the gate RNA are taken from recently developed synthetic translational regulators called toehold switches17. Toehold switches translate an output gene only if a cognate trigger RNA

is expressed in the cell (Fig. 1b). The trigger RNA binds to a switch RNA with a translation-repressing hairpin structure via a single-stranded toehold region. Trigger binding causes the switch RNA stem to unwind, which exposes the ribosomal binding site (RBS) and the start codon to activate translation of the output gene. Toehold switch designs opti-mized for evaluating AND logic were also developed for ribocomputing devices (Fig. 1c, Extended Data Fig. 1 and Supplementary Information). These devices feature a design in which the trigger RNA unwinds only the lower portion of the switch RNA stem to reduce translational leakage. Although the RBS remains enclosed within a stem-loop after trigger binding, the stem-loop is engineered to be sufficiently weak to allow ribosome binding and strong translation (see Supplementary Information and Extended Data Fig. 1b, c).

We initially constructed ribocomputing circuits that could evaluate two-input OR, two-input AND, and A AND (NOT B) operations, which constitute a functionally complete set of Boolean logic operators. Gate RNAs for two-input OR logic employed two toehold switch sensor modules concatenated upstream of the sequence of a GFP output (Fig. 2a, Extended Data Fig. 2a). The switch modules and GFP sequences were placed in the same reading frame and separated by short single-stranded regions designed to not encode in-frame stop codons. Both switch elements within the gate RNA can recognize their cognate trigger RNA and unwind its stem to enable recognition by the

c 1,000

600

800

400

200

0

ON

/OFF

GFP

A 0 1 0 1B 0 0 1 1

A B

GFP

2-Input OR gatea b

A

A* B*

B

RibosomeGeneON

A*

A

B* GeneON

Ribosome

Input A

BInput B

Gate RNA

B* GeneOFF

AUG

RBS

AUG

RBS

A*

2-Input AND gatee

Input A2

Input A1

Gate RNA

u* A1

A2 u A1A2

u*u

A2*A1*

GeneOFF

AUG

RBS

A1*A2*

A1A2

u*u

RibosomeGeneON

g

A AND (NOT B) gateiInput A: trigger RNA

u A v

Ribosome

Toeholds

GeneON

A*

Au v

Input A + active gateRNA

Input B: deactivating RNA

u* A* v*

u* A* v*

u A v

Deactivated inputs

Deactivatedgate RNA

A* GeneOFF

AUG

RBS

kA(aTc)

B(IPTG)

GFP

ON

/OFF

GFP

aTc 0 1 0 1IPTG 0 0 1 1

30

25

10

20

15

5

0

Nor

mal

ized

cel

l cou

nts

GFP �uorescence (a.u.)102101 103 104 105

X + Y(Decoy RNAs)

A + Y

B + X

A + B

A1 A2

GFP Nor

mal

ized

cel

l cou

nts

GFP �uorescence (a.u.)102101 103 104 105

X + Y(Non-cognate inputs)

A2 + X

A1 + Y

A1 + A2

j

Nor

mal

ized

cel

l cou

nts

GFP �uorescence (a.u.)102101 103 104

No inducers

aTc

IPTG

aTc + IPTG

fO

N/O

FF G

FP

A1 0 0 1 1A2 0 1 0 1

0

200

400

600

800

1,000

1,200

* A1

A2

d 103

102

101

100

10–1

ON

/OFF

GFP

A 0 1 0 1B 0 0 1 1

h

l

ON

/OFF

GFP

aTc 0 1 0 1IPTG 0 0 1 1

10–1

100

101

103

102

101

100

10–1

A1 0 0 1 1A2 0 1 0 1

ON

/OFF

GFP

Figure 2 | Two-input ribocomputing logic circuits. a, Two-input OR gate RNA composed of two switch RNA hairpins. Each switch module has an input RNA recognition site and its own RBS and start codon. Input RNA binding unwinds the corresponding switch stem to activate translation. b, Flow cytometry measurements of the two-input OR gate circuit for cognate and non-cognate inputs. c, d, ON/OFF GFP outputs for the two-input OR gate on linear (c) and logarithmic (d) scales. e, A two-input AND gate constructed from two input RNAs that bind to yield a complete trigger RNA. f, Flow cytometry measurements of the two-input AND circuit under four combinations of input RNAs. g, h, The truth table for the AND computation on linear (g) and logarithmic (h) scales. i, Operating

mechanism of the A AND (NOT B) circuit in which a deactivating RNA (input B) uses direct hybridization or strand displacement to abolish trigger RNA (input A) activity. j, Flow cytometry histograms of the A AND (NOT B) circuit with chemical inducers aTc and IPTG. k, l, ON/OFF GFP levels for the A AND (NOT B) circuit on linear (k) and logarithmic (l) scales. ON/OFF GFP was determined from the geometric mean fluorescence of cells measured via flow cytometry 4 h after induction of RNA expression. Relative errors for ON/OFF GFP were obtained by adding the relative errors of ON and OFF fluorescence in quadrature. Errors for ON and OFF states are the s.d. of three biological replicates. OFF states were taken from the null-input case with no cognate RNA expressed.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 3: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

0 0 M o n t h 2 0 1 7 | V o L 0 0 0 | n A t U R E | 3

Letter reSeArCH

ribosome. Once the ribosome binds to the RBS and begins translation, it can scan through the gate transcript, unwind any downstream switch hairpins, and continue with translation of GFP. Thus, any cognate RNA can activate translation from the gate RNA to perform OR logic.

Ribocomputing circuits were first evaluated in E. coli BL21 Star DE3, an RNase-deficient strain, with T7 RNA polymerase expression induced by isopropyl β -d-1-thiogalactopyranoside (IPTG; see Methods and Supplementary Information for full experimental details). Unless otherwise noted, analogous conditions were employed for testing the other circuits herein. The two-input gate RNA was co-expressed with different combinations of input RNAs, A and B, and decoy RNAs, X and Y (designed for other ribocomputing devices), to determine GFP expression in flow cytometry (Fig. 2b). Cognate inputs A and B produced robust GFP expression with increased signal output in the presence of both inputs, whereas the decoys yielded very low fluores-cence output, resulting in ON/OFF levels over 400-fold (Fig. 2c, d).

To implement ribocomputing AND logic, we divided the trigger RNA sequence of a toehold switch evenly into two separate input RNAs (Fig. 2e) and used toehold switches optimized to compute AND expressions. When either input RNA is expressed, it is incapable of activating the switch because neither trigger sub-sequence alone can unwind the repressing hairpin. Complementary binding domains (u and u* in Fig. 2e) were designed between the two input RNA species to enable them to hybridize and form a complete trigger sequence when expressed (see Extended Data Fig. 2c for design schematic, Extended Data Fig. 3a, b for dimensioning study). Analogous associative trigger systems exploiting cooperative self-assembly have previously been implemented in vitro using DNA23,26,27. Measurements of the AND circuit demonstrated very low GFP output in all three logical FALSE conditions and a 900-fold increase in GFP expression for the logical TRUE condition compared to the null-input case with two non- cognate RNAs (Fig. 2f–h). Devices tested with non-RNase-deficient E. coli provided ON/OFF GFP levels of 175-fold or more (Extended Data Fig. 3c–f).

NOT logical behaviour was accomplished through direct hybridiza-tion of a deactivating RNA to a trigger RNA to silence its effect on the

gate RNA (Fig. 2i, Extended Data Fig. 2d). The deactivating RNA can bind directly to free trigger RNAs and use the extended single-stranded domains of the trigger RNA (u and v in Fig. 2i) as toeholds to displace the trigger after it has bound to the gate RNA. These repressing systems evaluate A AND (NOT B) logic and were tested in E. coli MG1655Pro using the chemical inducers anhydrotetracycline (aTc) and IPTG to express inputs A and B, respectively (see Supplementary Information for experimental details). GFP fluorescence histograms (Fig. 2j) showed clear increases in fluorescence in the logical TRUE case with only the trigger RNA expressed and a 19-fold GFP decrease with both inputs expressed (Fig. 2k, l).

We next investigated scaling of the ribocomputing devices by testing circuits with increasing numbers of AND and OR inputs. Four different three-input AND circuits produced correct truth tables, with the best providing at least a 25-fold increase in GFP for the TRUE state compared to all logical FALSE states (Extended Data Fig. 4a–g). For four-input AND gates, we observed lower ON state output as we challenged in vivo RNA self-assembly with a circuit comprising five interacting RNAs (Fig. 3a, Extended Data Fig. 4i). GFP histograms from the 16-element truth table showed a ninefold increase in GFP for the TRUE state over the null-input case and at least a sixfold increase over the most leaky FALSE state (Fig. 3b, c). These performance lev-els are better than previous toehold-switch-based layered four-input AND gates17. Furthermore, they are comparable to a previous four- input AND gate constructed from layered transcription factors11. The ribocomputing four-input AND system is also genetically compact, requiring only five programmed RNAs with a total length of 392 nucleotides (nt). Measurements of a second four-input AND gate and a five-input AND gate are shown in Extended Data Fig. 4j–n.

We tested OR gate RNAs with increasing numbers of inputs (see Extended Data Fig. 5 for systematic study and Extended Data Fig. 6 for four- and five-input OR gates). The most complex gate RNA we tested consisted of six sensor modules and had a sensor region length of 444 nt (Fig. 3d, Extended Data Fig. 2b). Measurements of this six-input OR gate revealed low leakage levels generated from six decoy species and increases in expression of at least 120-fold for the cognate inputs

a b4-input AND gate c

A2 0 0 0 0A3 0 0 1 1

A1 0 0 0 01 1 1 10 0 1 1

A4 0 1 0 1 0 1 0 1

0 0 0 00 0 0 00 0 1 1

1 1 1 11 1 1 10 0 1 1

0 1 0 1 0 1 0

1 1 1 1

12

8

4

6

10

2

0

ON

/OFF

GFP

A2A1 A4A3

GFP

A4A1

Nor

mal

ized

cel

l cou

nts

[A1,A2,A3,A4]

[1,1,1,1][1,1,1,0][1,1,0,1][1,1,0,0][1,0,1,1][1,0,1,0][1,0,0,1][1,0,0,0][0,1,1,1][0,1,1,0][0,1,0,1][0,1,0,0][0,0,1,1][0,0,1,0][0,0,0,1][0,0,0,0]

GFP �uorescence (a.u.)102101 103 104

10–1

100

101

ON

/OFF

GFP

A2 0 0 0 0A1 0 0 0 0

1 1 1 10 0 0 0

A3 0 0 1 1A4 0 1 0 1

0 0 1 10 1 0 1

0 0 0 01 1 1 1

1 1 1 11 1 1 1

0 0 1 10 1 0 1

0 0 1 10 1 0 1

500

300

700

100

0

ON

/OFF

GFP

A B C D E F U V W X Y Z

Input RNAs Decoy RNAs

600

400

800

900

200Nor

mal

ized

cel

l cou

nts

GFP �uorescence (a.u.)102101 103 104 105

Decoy UDecoy VDecoy WDecoy XDecoy YDecoy Z

Input AInput BInput CInput DInput EInput FA B C D E F

ON

/OFF

GFP

103

102

101

100

10–1

A B C D E F U V W X Y Z

InputRNAs

DecoyRNAs

d e f6-input OR gate

GFP

A* B* C* D* E* F* GeneOFF

1

Figure 3 | Multi-input ribocomputing AND and OR circuits. a, Schematic of the input RNA interaction used in a four-input AND gate. b, Flow cytometry measurements of the four-input AND gate. c, ON/OFF GFP for the AND gate truth table showing ninefold signal increase upon expression of all four required inputs. Inset, ON/OFF GFP on a logarithmic scale. d, Schematic of the six-input OR gate RNA with six sensor modules. e, Flow cytometry measurements of the six-input OR

gate. f, ON/OFF GFP for the OR gate showing that cognate inputs provide at least a 120-fold increase in GFP expression. Inset, ON/OFF GFP on a logarithmic scale. ON/OFF GFP was determined from the geometric mean fluorescence of cells measured via flow cytometry 4 h after induction of RNA expression. Relative errors for ON/OFF GFP were obtained by adding the relative errors of the ON and OFF fluorescence in quadrature. Errors for ON and OFF states are the s.d. of three biological replicates.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 4: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

4 | n A t U R E | V o L 0 0 0 | 0 0 M o n t h 2 0 1 7

LetterreSeArCH

(Fig. 3e, f). Despite the strong overall GFP signal for logical TRUE conditions, we observed substantial variations in GFP depending on the input RNA expressed. These variations could be attributed to the effects of downstream gate RNA secondary structure on ribosome procession and the additional amino acids incorporated into the output protein for the more upstream sensor modules. We also evaluated gate RNAs regulating other output proteins (Extended Data Fig. 7a–d) and imple-mented an 11-input circuit in which two gate RNAs were expressed simultaneously (Extended Data Fig. 7e–g). OR gate circuits were also tested in non-RNase-deficient E. coli strains and using different promoters (Extended Data Fig. 8).

Lastly, we constructed circuits that combined AND, OR, and NOT schemes to compute expressions in disjunctive normal form (DNF). DNF expressions can be used to evaluate any Boolean logic expres-sion and consist of AND and NOT operations that provide inputs for OR operations. The most complex expression we evaluated was the 12-input RNA computation (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) (Fig. 4a). Inputs A1* and B2* are complementary to A1 and B2, respectively. We found that this circuit functioned robustly in vivo, displaying clear signal differences between TRUE and FALSE states for 28 input conditions tested (Fig. 4b). After 6 hours of IPTG induction, ON/OFF GFP for logical TRUE conditions ranged from 22-fold to 41-fold higher than the null-input case, with low signal

leakage for multiple combinations of non-cognate RNAs (Fig. 4c). This 12-input single-layer ribocomputing circuit evaluates a logic expression that would require eleven two-input or signal inversion operations in a conventional layered circuit implementation. Measurements of eight- and ten-input DNF ribocomputing circuits are shown in Extended Data Figs 9, 10.

We have developed a strategy for constructing RNA-based biological circuits that exploits the programmable base-pairing properties of RNA and uses co-localized sensing and output modules to enable complex translational regulation (see Supplementary Information for extended discussion). These ribocomputing devices are encoded in a small genetic footprint compared to typical protein-based circuits and have the potential to be scaled up using the large sequence space afforded by RNA. The ribocomputing device architecture requires self-assembly between the input RNAs for AND and NOT logic, and hence imposes some sequence dependencies on these RNAs. The use of a co- localized gate RNA requires additional N-terminal residues in the output protein, which could interfere with its function. Incorporation of ribo-computing devices into sophisticated layered circuits, such as those made possible with advanced genetic circuit design tools15, will require systems that can provide RNAs as output species. This functionality can be implemented using gate RNAs to regulate RNA polymerases or transcription factors, as has been demonstrated previously for toehold switches17,28. Integration of mRNA-sensing ribocomputing circuits with

45

25

40

35

5

10

30

15

20

0

ON

/OFF

GFP

a

c

b

Nor

mal

ized

cel

l cou

nts

GFP �uorescence (a.u.)

[A1,A2,A1*]

[1,1]

102101 103 104

(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)

[1,0][0,1][0,0]

[1,1][1,0][0,1][0,0]

[1,1][1,0][0,1][0,0]

[1,1,1][1,1,0][1,0,1][1,0,0][0,1,1][0,1,0][0,0,1][0,0,0][1,1,1][1,1,0][1,0,1][1,0,0][0,1,1][0,1,0][0,0,1][0,0,0]

[B1,B2,B2*]

[C1,C2]

[D1,D2]

[E1,E2]

‘1’ inputs 0 0 0 0‘2’ inputs 0 0 1 1

A1 AND A2 AND NOT A1*

1 1 1 10 0 1 1

B1 AND B2 AND NOT B2*

0 0 0 00 0 1 1

C1 AND C2

1 1 1 10 0 1 1

0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 – – – – – – – – – – – –

D1 AND D2

0 0 1 10 1 0 1

0 0 1 10 1 0 1

0 0 1 10 1 0 1

E1 AND E2

‘n*’ inputs

A* B* C* D* E* GeneOFF

GFP

A1* A2

A1

B1 B2*

B2

C1 C2 D1 D2 E1 E2

ON

/OFF

GFP 101

100

10–1

‘1’ 0 0 0 0‘2’ 0 0 1 1

1 1 1 10 0 1 1

0 0 0 00 0 1 1

1 1 1 10 0 1 1

0 0 1 10 1 0 1

0 0 1 10 1 0 1

0 0 1 10 1 0 1

0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 – – – – – – – – – – – –‘n*’

A B C D E

Figure 4 | Twelve-input DNF ribocomputing circuit. a, Schematic of the 12-input DNF expression evaluated in E. coli. b, Flow cytometry measurements show low GFP output for 23 logical FALSE states and at least tenfold increases in GFP for the five logical TRUE states. c, ON/OFF GFP from the DNF circuit under 28 different input RNA combinations. Inset, ON/OFF GFP on a logarithmic scale. ON/OFF GFP was determined

from the geometric mean fluorescence of cells measured via flow cytometry 6 h after induction of RNA expression. Relative errors for ON/OFF GFP were obtained by adding the relative errors of the ON and OFF fluorescence in quadrature. Errors for ON and OFF states are the s.d. of three biological replicates. OFF states were taken from the null-input case of the A1 AND A2 AND NOT A1* clause.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 5: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

0 0 M o n t h 2 0 1 7 | V o L 0 0 0 | n A t U R E | 5

Letter reSeArCH

Supplementary Information is available in the online version of the paper.

Acknowledgements 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.

Author Contributions A.A.G. conceived the study, designed and performed the experiments, analysed the data, supervised D.M. and wrote the paper. J.K. conceived the study, designed and performed the experiments, analysed the data and wrote the paper. D.M. performed experiments and analysed the data. P.A.S. supervised the study. J.J.C. supervised the study. P.Y. conceived and supervised the study, interpreted the data, and wrote the paper. All authors reviewed and approved the manuscript.

Author Information Reprints and permissions information is available at www.nature.com/reprints. The authors declare competing financial interests: details are available in the online version of the paper. Readers are welcome to comment on the online version of the paper. Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Correspondence and requests for materials should be addressed to P.Y. ([email protected]) or A.A.G. ([email protected]).

paper-based synthetic biology systems could improve the robustness and reliability of these diagnostic tools when they are deployed in the field28,29. Detection of mRNAs and other naturally occurring RNAs as inputs for AND logic, however, will require additional synthetic RNAs to interface native transcripts. Finally, the effective use of predictable and robust base-pairing interactions in ribocomputing devices suggests that this strategy could be applied in prokaryotic hosts beyond E. coli.

Online Content Methods, along with any additional Extended Data display items and Source Data, are available in the online version of the paper; references unique to these sections appear only in the online paper.

received 30 July 2016; accepted 8 June 2017.

Published online 26 July 2017.

1. Cameron, D. E., Bashor, C. J. & Collins, J. J. A brief history of synthetic biology. Nat. Rev. Microbiol. 12, 381–390 (2014).

2. Gardner, T. S., Cantor, C. R. & Collins, J. J. Construction of a genetic toggle switch in Escherichia coli. Nature 403, 339–342 (2000).

3. Elowitz, M. B. & Leibler, S. A synthetic oscillatory network of transcriptional regulators. Nature 403, 335–338 (2000).

4. Danino, T., Mondragón-Palomino, O., Tsimring, L. & Hasty, J. A synchronized quorum of genetic clocks. Nature 463, 326–330 (2010).

5. Bashor, C. J., Helman, N. C., Yan, S. & Lim, W. A. Using engineered scaffold interactions to reshape MAP kinase pathway signaling dynamics. Science 319, 1539–1543 (2008).

6. Daniel, R., Rubens, J. R., Sarpeshkar, R. & Lu, T. K. Synthetic analog computation in living cells. Nature 497, 619–623 (2013).

7. Rinaudo, K. et al. A universal RNAi-based logic evaluator that operates in mammalian cells. Nat. Biotechnol. 25, 795–801 (2007).

8. Win, M. N. & Smolke, C. D. Higher-order cellular information processing with synthetic RNA devices. Science 322, 456–460 (2008).

9. Tamsir, A., Tabor, J. J. & Voigt, C. A. Robust multicellular computing using genetically encoded NOR gates and chemical ‘wires’. Nature 469, 212–215 (2011).

10. Xie, Z., Wroblewska, L., Prochazka, L., Weiss, R. & Benenson, Y. Multi-input RNAi-based logic circuit for identification of specific cancer cells. Science 333, 1307–1311 (2011).

11. Moon, T. S., Lou, C., Tamsir, A., Stanton, B. C. & Voigt, C. A. Genetic programs constructed from layered logic gates in single cells. Nature 491, 249–253 (2012).

12. Ausländer, S., Ausländer, D., Müller, M., Wieland, M. & Fussenegger, M. Programmable single-cell mammalian biocomputers. Nature 487, 123–127 (2012).

13. Bonnet, J., Yin, P., Ortiz, M. E., Subsoontorn, P. & Endy, D. Amplifying genetic logic gates. Science 340, 599–603 (2013).

14. Tabor, J. J. et al. A synthetic genetic edge detection program. Cell 137, 1272–1281 (2009).

15. Nielsen, A. A. K. et al. Genetic circuit design automation. Science 352, aac7341 (2016).

16. Kiani, S. et al. CRISPR transcriptional repression devices and layered circuits in mammalian cells. Nat. Methods 11, 723–726 (2014).

17. Green, A. A., Silver, P. A., Collins, J. J. & Yin, P. Toehold switches: de-novo-designed regulators of gene expression. Cell 159, 925–939 (2014).

18. Braich, R. S., Chelyapov, N., Johnson, C., Rothemund, P. W. K. & Adleman, L. Solution of a 20-variable 3-SAT problem on a DNA computer. Science 296, 499–502 (2002).

19. Chen, Y.-J., Groves, B., Muscat, R. A. & Seelig, G. DNA nanotechnology from the test tube to the cell. Nat. Nanotechnol. 10, 748–760 (2015).

20. Qian, L., Winfree, E. & Bruck, J. Neural network computation with DNA strand displacement cascades. Nature 475, 368–372 (2011).

21. Elbaz, J. et al. DNA computing circuits using libraries of DNAzyme subunits. Nat. Nanotechnol. 5, 417–422 (2010).

22. Lake, A., Shang, S. & Kolpashchikov, D. M. Molecular logic gates connected through DNA four-way junctions. Angew. Chem. Int. Ed. 49, 4459–4462 (2010).

23. Zhu, J., Zhang, L., Dong, S. & Wang, E. Four-way junction-driven DNA strand displacement and its application in building majority logic circuit. ACS Nano 7, 10211–10217 (2013).

24. Rodrigo, G., Landrain, T. E. & Jaramillo, A. De novo automated design of small RNA circuits for engineering synthetic riboregulation in living cells. Proc. Natl Acad. Sci. USA 109, 15271–15276 (2012).

25. Chappell, J., Takahashi, M. K. & Lucks, J. B. Creating small transcription activating RNAs. Nat. Chem. Biol. 11, 214–220 (2015).

26. Chen, X. Expanding the rule set of DNA circuitry with associative toehold activation. J. Am. Chem. Soc. 134, 263–271 (2012).

27. Genot, A. J., Bath, J. & Turberfield, A. J. Combinatorial displacement of DNA strands: application to matrix multiplication and weighted sums. Angew. Chem. 52, 1189–1192 (2013).

28. Pardee, K. et al. Paper-based synthetic gene networks. Cell 159, 940–954 (2014).

29. Pardee, K. et al. Rapid, low-cost detection of Zika virus using programmable biomolecular components. Cell 165, 1255–1266 (2016).

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 6: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

LetterreSeArCH

MethOdSStrains and growth conditions. The following E. coli strains were used in this study: BL21 Star DE3 (F− ompT hsdSB (rB

−mB−) gal dcm rne131 (DE3); Invitrogen),

BL21 DE3 (F− ompT hsdSB (rB−mB

−) gal dcm (DE3); Invitrogen), MG1655Pro (F− λ − ilvG- rfb-50 rph-1 SpR lacR tetR), and DH5α (endA1 recA1 gyrA96 thi-1 glnV44 relA1 hsdR17(rK

− mK+) λ −; Invitrogen). All strains were grown in LB

medium at 37 °C with appropriate antibiotics: ampicillin (50 μ g ml−1), spectino-mycin (25 μ g ml−1), chloramphenicol (17 μ g ml−1), and kanamycin (30 μ g ml−1).Plasmid construction. Plasmids were constructed using PCR and Gibson assembly. DNA templates for expressing gate and input RNAs were assembled from single-stranded DNAs purchased from Integrated DNA Technologies. The synthetic DNA strands were amplified via PCR to form double-stranded DNAs. The resulting DNAs were then inserted into plasmid backbones using 30-bp homology domains via Gibson assembly30. All plasmids were cloned in the E. coli DH5α strain and validated through DNA sequencing. Backbones for the plasmids were taken from the commercial vectors pET15b, pCOLADuet, pCDFDuet, and pACYCDuet (EMD Millipore). GFPmut3b-ASV was used as the reporter for the gate plasmids. This GFP is GFPmut3b with an ASV degradation tag31. mCherry and cerulean were also used as reporter proteins for selected OR gate plasmids. Sequences of elements commonly used in the plasmids are provided in Supplementary Table 1. Sequences for all ribocomputing devices, AND-computing toehold switches, and decoy RNAs are contained in Supplementary Tables 2–9.Ribocomputing device induction conditions. Unless otherwise noted, RNAs in the AND, OR, and DNF networks were expressed using T7 RNA polymerase in BL21 Star DE3, an RNase-deficient strain, with the T7 RNA polymerase induced with the addition of IPTG. Two-input AND gates and the 6-input OR gate were also evaluated in BL21 DE3, a non-RNase-deficient strain, with the T7 RNA polymerase induced with IPTG. A AND (NOT B) and 6-input OR gate circuits employing the endogenous E. coli RNA polymerase were evaluated in MG1655Pro using consti-tutive promoters or induction via IPTG and/or aTc, as required. For all strains, cells were grown overnight in 96-well plates with shaking at 900 r.p.m. and 37 °C. Overnight cultures were then diluted 100-fold into fresh medium and returned to

shaking (900 r.p.m., 37 °C). After 80 min, BL21 Star DE3 and BL21 DE3 cultures were induced with 0.1 mM IPTG, and MG1655Pro cultures were induced with the appropriate combination of 1 mM IPTG and 50 ng ml−1 aTc. Cells were returned to the shaker (900 r.p.m., 37 °C) and measured at the specified times post-induction.Flow cytometry measurements and analysis. Flow cytometry measurements were performed using a BD LSRFortessa cell analyser with a high-throughput sampler. Prior to sampling, cells were diluted by a factor of ~ 65 into phosphate-buffered saline. Cells were detected using a forward scatter (FSC) trigger and at least 10,000 cells were recorded for each measurement. Cell populations were gated according to their FSC and side scatter (SSC) distributions as described previously17, and the GFP fluorescence levels of these gated cells were used to measure circuit output. GFP fluorescence histograms yielded unimodal population distribu-tions and the geometric mean was employed to extract the average fluorescence across the approximately log-normal fluorescence distribution from at least three biological replicates. ON/OFF GFP levels were then evaluated by taking the average GFP fluorescence from a given combination of input RNAs and dividing it by the fluorescence from the null-input case with no cognate input RNAs expressed. Cellular autofluorescence was not subtracted before determining the ON/OFF ratio. The same fluorescence data analysis procedures were used for OR gates using mCherry and cerulean as reporter proteins.

No statistical methods were used to predetermine sample size. The experiments were not randomized and the investigators were not blinded to allocation during experiments and outcome assessment.Data availability. The authors declare that the main data supporting the findings of this study are available within the paper and its Supplementary Information files. Source Data for Figs 2–4 are provided with the paper. All other data supporting the findings of this study are available from the corresponding authors on request.

30. Gibson, D. G. et al. Enzymatic assembly of DNA molecules up to several hundred kilobases. Nat. Methods 6, 343–345 (2009).

31. Andersen, J. B. et al. New unstable variants of green fluorescent protein for studies of transient gene expression in bacteria. Appl. Environ. Microbiol. 64, 2240–2246 (1998).

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 7: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

Letter reSeArCH

AND-Computing Toehold Switch (ACTS) Design with Single Triggera

b ACTS Library Dynamic Rangec

1 2 1 2 3 4 5 6 7 8

Type I Type II

0

200

400

600

800

1,000

1,200

1,400

1,600

1,800

ON

/OF

F G

FP

Activated switch Linker

GRBS-linker

sub-sequence

AUG GFP

RBS

GGG

5’ hairpin

Switch RNA

Trigger RNA

Type I Design

RBS

AUG

16-nt toehold

14-nt loop

28-nt interactiondomain

47-ntterminator

21-nt linker

12-bp lowerstem

6-bp upper stem

GGG GGGA* GFP

Half-triggerjunction site

A

LinkerAUG GFPActivated switch

GRBS-linker

sub-sequence

RBS

GGG

5’ hairpin

Type II DesignSwitch RNA

Trigger RNA

RBS

AUG

12-nt loop

26-nt interactiondomain

47-ntterminator

15-nt toehold 21-nt linker

5-bp upper stem

11-bp lowerstem GFPA*

A

Half-triggerjunction site

Trigger RNAA

Switch RNA

GeneOFF

AUG

RBS

AUG

RBSLow GCstem

A*

A*

A

GeneOFF

Ribosome

A*

A

GeneON

A*

A

GeneOFF

Trigger binding disrupts lower stem. RBS is repressed only through a low-GC-content stem.

Upper stem is sufficiently weak (5 to 6 bp) to open transiently. Ribosome binding also encourages stem opening.

After upper stem unwinds fully, the ribosome can initiate translation and produce the output protein.

Proposed ACTS Activation Mechanism

Extended Data Figure 1 | Design, activation mechanism, and characterization of AND-computing toehold switches (ACTS). a, Nucleotide-level schematics of the Type I and Type II ACTS systems (see Supplementary Information Section 1.2 for discussion). Green and orange bases specify the output GFP sequence and the common 21-nt linker sequence used, respectively. Black bases mark biologically conserved sequences, such as the RBS, start codon, and transcriptional terminator. White bases represent those that can adopt any sequence subject to secondary structure conditions in NUPACK. Programmed hybridization domains between different strands are specified by colour. b, The proposed ACTS activation mechanism in which the trigger RNA

partially unwinds the switch RNA stem. The remaining weak stem, with low GC content, can interact with the ribosome to initiate translation. c, ON/OFF GFP levels measured for the ACTS systems employed in this study. ON/OFF GFP levels were determined from the geometric mean fluorescence of cells measured via flow cytometry 3 h after induction with 0.1 mM IPTG. Relative errors for the switch ON/OFF ratios were obtained by adding the relative errors of the switch ON and OFF fluorescence measurements in quadrature. Relative errors for ON and OFF states are from the s.d. of three biological replicates. Flow cytometry data were produced using the same procedure and the same number of biological replicates in subsequent Extended Data figures.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 8: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

LetterreSeArCH

A* B* C* D* E* F* GeneOFF

LinkerLinkerLinkerLinkerLinkerA* B* C* D* E* F*

b 6-Input OR Gate Using First-Generation Toehold Switches (444-nts)

Gate RNA

B* GeneOFF

AUG

RBS

AUG

RBS

A*

2-Input OR Gatea

B*Linker

AUG AUG

RBS RBS

A*GGG

AUG

RBS

AUG

RBS

AUG

RBS

AUG

RBS

AUG

RBS

AUG

RBS

GGG

2-Input AND Circuit with ACTSc

A2 uInput A2

u* A1Input A1

Gate

Activated AND GateAUG

RBS

A1*A2*

GGG

5’ hairpin

GGG

GGG

5’ hairpin

RBS

d A AND (NOT B) Circuit Input InteractionInput A: Trigger RNA

Input B: Deactivating RNADeactivated inputs A and B

u A v

u* A* v*

GGG

5’ hairpin

5’ hairpin

GGG

Extended Data Figure 2 | Nucleotide-level schematics of ribocomputing devices. a, Secondary structure of the two-input OR gate used in Fig. 2a–d. b, Secondary structure of the six-input OR gate RNA used for circuits in Fig. 3d–f and Extended Data Figs 7, 8. c, Schematic of a two-input AND gate using a Type I ACTS system. A1 and A2 domains are 14-nt halves of a 28-nt-long complete trigger RNA. d, Schematic of the A AND (NOT B) circuit design. The A AND (NOT B) system design features nearly perfectly complementary trigger (input A) and deactivating (input B) RNA strands used in Fig. 2i–l. For all panels, black bases mark biologically

conserved sequences, such as the RBS and start codon. White bases represent those that can adopt any sequence subject to secondary structure conditions in NUPACK. Grey bases are those whose sequences were originally determined on the basis of secondary structure considerations for the parental toehold switches and were left constant during the design of RNA circuit elements. The remaining programmed hybridization domains between different strands are specified by colour. Input RNA schematics are truncated just before the transcriptional terminator sequence.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 9: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

Letter reSeArCH

b 60

50

40

30

20

10

0

ON

/OF

F G

FP

Mel

ting

tem

pera

ture

(°C

)

10

20

30

40

50

60

70

80

0 2 6 10 14 18 22 26 30u’ domain length (nts)

A1A2

u*u’

2-Input AND Gate Input Overlap Studya

A2*

A1*

GeneOFF

AUG

RBS

A2 uInput A2

u* A1Input A1

Gate RNAA1A2

u*u

GeneON

Ribosome

A1*A2*

A1A2u u*

0

200

400

600

800

1,000

1,200

ON

/OF

F G

FP

10−1

100

101

102

103

ON

/OF

F G

FP

0

50

100

150

200

250

300

ON

/OF

F G

FP

10−1

100

101

102

ON

/OF

F G

FP

A1 0 0 1 1A2 0 1 0 1

A1 0 0 1 1A2 0 1 0 1

A1 0 0 1 1A2 0 1 0 1

A1 0 0 1 1A2 0 1 0 1

BL21 Star DE3BL21 DE3

BL21 Star DE3BL21 DE3

BL21 Star DE3BL21 DE3

BL21 Star DE3BL21 DE3

c d

e f

Extended Data Figure 3 | Systematic study of AND gate circuit overlap domain lengths and comparison of two-input AND ribocomputing devices in different strains. a, An early two-input AND gate was constructed from a standard toehold switch by dividing the trigger evenly into two 15-nt domains, A1 and A2. Overlap domains u and u* were designed to cause the two input RNAs to hybridize and form an active trigger. b, A domain u′ was used to vary the region complementary to u* and measure its effect on expression levels. ON/OFF GFP ratios (left axis) vary as a function of the u′ domain length. The onset of substantial

GFP expression coincides with the melting temperature of u′ –u* hybridization rising above 37 °C (right axis). c–f, Comparison of two-input AND ribocomputing devices in RNase-deficient E. coli BL21 Star DE3 and non-RNase-deficient E. coli BL21 DE3. c, d, ON/OFF GFP on linear (c) and logarithmic (d) scales measured for the two-input AND gate from Fig. 2e–h. e, f, ON/OFF GFP on linear (e) and logarithmic (f) scales measured for a second two-input AND gate with an identical design but different RNA sequences.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 10: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

LetterreSeArCH

3-Input AND CircuitInput Interaction

5-Input AND Gate

e

A2 0 0 1 1A3 0 1 0 1

A1 0 0 0 00 0 1 10 1 0 1

1 1 1 1

70

60

40

50

20

10

30

0

ON

/OF

F G

FP

f

0

100

200

300

400

500

600

700

ON

/OF

F G

FP

A2 0 0 1 1A3 0 1 0 1

A1 0 0 0 00 0 1 10 1 0 1

1 1 1 1

10-1

100

101

102

ON

/OF

F G

FP

A1 0 0 0 0 1 1 1 1A2 0 0 1 1A3 0 1 0 1

0 0 1 10 1 0 1

g

A4

A3A2

A1

4-Input AND CircuitInput Interaction

i

k

5-Input AND CircuitInput Interaction

l

m

n

050

100150200250300350400450500

ON

/OF

F G

FP

A2 0 0 1 1A3 0 1 0 1

A1 0 0 0 00 0 1 10 1 0 1

1 1 1 1

10-1

100

101

102

ON

/OF

F G

FP

A1 0 0 0 0 1 1 1 1A2 0 0 1 1A3 0 1 0 1

0 0 1 10 1 0 1

A2 0 0 0 0A3 0 0 1 1

A1 0 0 0 01 1 1 10 0 1 1

A4 0 1 0 1 0 1 0 1

0 0 0 00 0 0 00 0 1 1

1 1 1 11 1 1 10 0 1 1

0 1 0 1 0 1 0 1

1 1 1 1

j40

50

20

10

30

0

ON

/OF

F G

FP

A3

A2

A1

10-1

100

101

ON

/OF

F G

FP

A1 0 0 0 0 1 1 1 1A2 0 0 1 1A3 0 1 0 1

0 0 1 10 1 0 1

10-1

100

101

ON

/OF

F G

FP

A2 0 0 0 0A1 0 0 0 0

1 1 1 10 0 0 0

A3 0 0 1 1A4 0 1 0 1

0 0 1 10 1 0 1

0 0 0 01 1 1 1

1 1 1 11 1 1 1

0 0 1 10 1 0 1

0 0 1 10 1 0 1

A3 0 0 0 0A4 0 0 1 1

A2 0 0 0 01 1 1 10 0 1 1

A5 0 1 0 1 0 1 0 1

0 0 0 00 0 0 00 0 1 1

1 1 1 11 1 1 10 0 1 1

0 1 0 1 0 1 0 1

1 1 1 1A1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

0 0 0 00 0 1 1

0 0 0 01 1 1 10 0 1 1

0 1 0 1 0 1 0 1

0 0 0 00 0 0 00 0 1 1

1 1 1 11 1 1 10 0 1 1

0 1 0 1 0 1 0 1

1 1 1 11 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

10-1

100

101

ON

/OF

F G

FP

A3 0 0 0 0A4 0 0 1 1

A2 0 0 0 01 1 1 10 0 1 1

A5 0 1 0 1 0 1 0 1

0 0 0 00 0 0 00 0 1 1

1 1 1 11 1 1 10 0 1 1

0 1 0 1 0 1 0 1

1 1 1 1A1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

0 0 0 00 0 1 1

0 0 0 01 1 1 10 0 1 1

0 1 0 1 0 1 0 1

0 0 0 00 0 0 00 0 1 1

1 1 1 11 1 1 10 0 1 1

0 1 0 1 0 1 0 1

1 1 1 11 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

40

80

60

70

50

20

30

10

0

ON

/OF

F G

FP

A1 A5

A2 A4A3

GFP

A5A1

A4A2A1 A3 A5

3-Input AND Gatea b c d

GFP

A1 A3A2

A3A1

A2 0 0 1 1A3 0 1 0 1

A1 0 0 0 00 0 1 10 1 0 1

1 1 1 1

60

50

40

30

20

10

0

ON

/OF

F G

FP

Nor

mal

ized

cel

l cou

nts

GFP fluorescence (a.u.)

[A1,A2,A3]

[1,1,1]

[1,1,0]

[1,0,1]

[1,0,0]

[0,1,1]

[0,1,0]

[0,0,1]

[0,0,0]

102101 103 104

ON

/OF

F G

FP 101

10-1

100

A2 0 0 1 1A3 0 1 0 1

A1 0 0 0 00 0 1 10 1 0 1

1 1 1 1

h 4-Input AND GateA2A1 A4A3

GFP

A4A1

Extended Data Figure 4 | Three-, four-, and five-input AND gate systems. a, General schematic for a three-input AND gate with GFP output. b, Nucleotide-level schematic of the activated trigger complex for the three-input AND logic circuits. c, Flow cytometry measurements from the three-input AND gate with the truth table shown in d. d–g, Truth tables for four different three-input AND gates. h, General schematic for a four-input AND gate with GFP output. i, Nucleotide-level schematic of the activated trigger complex for the four-input AND logic circuits. j, Truth

table for an additional four-input AND gate. k, General schematic for the five-input AND gate with GFP output. l, Nucleotide-level schematic of the activated trigger complex for the five-input AND logic circuit. m, Linear-scale truth table for the five-input AND gate, showing a statistically significant difference between logical TRUE and logical FALSE conditions (P < 0.03, Welch’s unequal variances t-test). n, Logarithmic-scale truth table for the five-input AND gate. Insets of d–g, j show logarithmic-scale plots of ON/OFF GFP for the devices.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 11: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

Letter reSeArCH

ON

/OF

F G

FP

0

2,000

1,600

1,200

800

400

A B C D W X Y Z

Decoy RNAsInput RNAs

GF

P F

luor

esce

nce

(A.U

.)

101

102

103

104

105

A B C D W X Y Z

Decoy RNAsInput RNAs

A

GF

P F

luor

esce

nce

(A.U

.)

0

5

10

15x 104

B C D W X Y Z

Decoy RNAsInput RNAs

b

a 4-input OR gates with systematic variations in secondary structure

Linker

RBS

AUG

RBS

AUG

RBS

AUG

RBS

AUG

Linker Linker GFP

Version 1:Original ACTSstems

Linker Linker Linker GFP

Version 2:1-2 fewer basepairs per stem

Linker Linker Linker GFP

Version 3:2-3 fewer basepairs per stem

c

d

A B C D

Version 1Version 2Version 3

Version 1Version 2Version 3

Version 1Version 2Version 3

DecreasedON state(2 vs 1) Increased

OFF state(2 vs 3)

ON

/OF

F G

FP

10-1

100

A B C D W X Y Z

101

102

103

Input RNAs Decoy RNAs

Extended Data Figure 5 | Systematic study of gate RNA performance as a function of secondary structure. a, Nucleotide-level schematics of three four-input OR gate versions featuring small changes in secondary structure and sequence. Version 1 adopts the original secondary structures of the ACTS switch RNAs. Version 2 differs from the first gate RNA at the six positions marked in red, which weakens the hairpin secondary structure. Version 3 has an additional mismatch in the hairpin lower stem

marked in blue. All other bases remain the same across the three gate RNAs. b, c, GFP fluorescence levels measured for the gate RNA versions for a panel of eight RNA triggers shown in linear (b) and logarithmic (c) scales. d, ON/OFF GFP ratios calculated for the three gate RNAs. Gate RNA version 2 provides the best combination of low leakage and high ON state GFP expression. Inset, logarithmic-scale plot of circuit ON/OFF levels.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 12: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

LetterreSeArCH

450

400

300

200

150

350

250

100

50

0

ON

/OF

F G

FP

A B C D W X Y Z

Input RNAs Decoy RNAs

a 4-Input OR Gate Using ACTS

b 5-Input OR Gate Using ACTS 300

200

150

250

100

50

0

ON

/OF

F G

FP

A B C D E X Y Z

Input RNAs Decoy RNAs

A* B* C* D* E* GeneOFF

GFP

B CA D E

GFP

A B C D

A* B* C* D* GeneOFF

A B C D W X Y Z

Decoy RNAsInput RNAs

A B C D E X Y Z

Decoy RNAsInput RNAs

ON

/OF

F G

FP

103

102

101

100

10-1

ON

/OF

F G

FP

103

102

101

100

10-1

Extended Data Figure 6 | Four- and five-input OR gate systems. a, Linear- and logarithmic-scale plots of ON/OFF levels of a four-input OR gate constructed from ACTS hairpin modules (schematic, left). b, Linear- and logarithmic-scale plot of ON/OFF levels of a five-input OR gate constructed from ACTS devices (schematic, left). Both OR logic gates were measured 3 h after induction of T7 RNA polymerase expression.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 13: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

Letter reSeArCH

103

102

101

100

10-1

5045

102

0

5

10

15

20

25

30

35

40O

N/O

FF

mC

herr

y

10-1

102

101

100

ON

/OF

F m

Che

rry

05

10152025303540

ON

/OF

F C

erul

ean

10-1

101

100

ON

/OF

F C

erul

ean

A B C D E X Y Z

Input RNAs Decoy RNAs

A B C D E X Y Z

Input RNAs Decoy RNAs

A B C D E X Y Z

Input RNAs Decoy RNAs

A B C D E X Y Z

Input RNAs Decoy RNAs

a cb d

GFPmCherry

ON

/OF

F

A

1 2

BC

VXZ

UWY

DEF

Single-Input Cases Dual-Input Cases

GFPmCherry

200

400

600

800

1,000

ON

/OF

F G

FP

0

20

40

60

80

ON

/OF

F m

Cherry

GFPmCherry

A

1 2

BC

VXZ

UWY

DEF

Single-Input Cases Dual-Input Cases

11-Input Dual OR GateCircuit

GFP mCherry

GFP Inputs mCherry Inputs

A1 B1 C1 D1 E1 A2 B2 C2 D2 E2F1

e

f

g

Extended Data Figure 7 | Gate RNA regulation of mCherry and cerulean outputs with five-input OR gates and an 11-input dual OR gate circuit. a, b, ON/OFF mCherry ratio for a five-input ACTS-based OR gate on linear (a) and logarithmic (b) scales. c, d, ON/OFF cerulean ratio for a five-input ACTS-based OR gate on linear (c) and logarithmic (d) scales. e, A six-input OR gate was used to regulate GFP and a five-input

ACTS-based OR gate was used to regulate mCherry. f, g, ON/OFF ratios of the gate RNAs on linear (f) and logarithmic (g) scales. Combinations of one- or two-input or decoy RNAs were expressed as specified by the filled green (GFP inputs), red (mCherry inputs), and black (decoys) circles below each panel. All circuit responses were measured via flow cytometry 4 h after IPTG induction.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 14: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

LetterreSeArCH

200

150

250

100

50

0

ON

/OF

F G

FP

A B E FC D WV X Y Z

Input RNAs Decoy RNAs

A B E FC D WV X Y Z

Input RNAs Decoy RNAsO

N/O

FF

GF

P

102

101

100

10-1

0

200

400

600

800

1,000

1,200

ON

/OF

F G

FP

10−1

100

101

102

103

104

ON

/OF

F G

FP

a BL21 Star DE3BL21 DE3

A B E FC D WV X Y Z

Input RNAs Decoy RNAs

b

c d

BL21 Star DE3BL21 DE3

A B E FC D WV X Y Z

Input RNAs Decoy RNAs

Extended Data Figure 8 | Comparison of six-input OR gate ribocomputing devices measured in RNase-deficient E. coli (BL21 Star DE3) and non-RNase-deficient E. coli (BL21 DE3, MG1655Pro). a, b, ON/OFF GFP ratios measured for the device using T7 RNA polymerase in BL21 Star DE3 and BL21 DE3 cells on linear (a) and logarithmic (b) scales. Gate and input RNAs were expressed using the

T7 RNA polymerase and measured 4 h after induction with IPTG. c, d, ON/OFF GFP ratios obtained from the OR gate using E. coli RNA polymerase in MG1655Pro cells on linear (c) and logarithmic (d) scales. Gate and input RNAs were expressed using the E. coli RNA polymerase and measured 4 h after induction of the gate RNA with IPTG. Input and decoy RNAs were expressed using a constitutive PN25 promoter.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 15: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

Letter reSeArCH

A1 A2 B1 B2 C1 C2 D1 D2

A* B* C* D* GeneOFF

GFP

a b

c

8-Input DNF Gate: (A1 AND A2) OR (B1 AND B2) OR (C1 AND C2) OR (D1 AND D2)

Nor

mal

ized

cel

l cou

nts

GFP fluorescence (a.u.)

[0,0]

[0,1]

[1,0]

[1,1]

[0,0]

[0,1]

[1,0]

[1,1]

[0,0]

[0,1]

[1,0]

[1,1]

[0,0]

[0,1]

[1,0]

[1,1]

102101 103 104

[D1,D2]

120

40

100

80

60

20

0

ON

/OF

F G

FP

‘1’ inputs 0 0 1 1‘2’ inputs 0 1 0 1

A1 AND A2

0 0 1 10 1 0 1

B1 AND B2

0 0 1 10 1 0 1

C1 AND C2

0 0 1 10 1 0 1

D1 AND D2

[C1,C2]

[B1,B2]

[A1,A2]

d

10-1

100

101

102

ON

/OF

F G

FP

‘1’ inputs 0 0 1 1‘2’ inputs 0 1 0 1

A1 AND A2

0 0 1 10 1 0 1

B1 AND B2

0 0 1 10 1 0 1

C1 AND C2

0 0 1 10 1 0 1

D1 AND D2

Extended Data Figure 9 | Evaluation of an eight-input DNF circuit. a, The eight-input DNF circuit features four two-input ANDs coupled to the four-input OR gate RNA tested in Extended Data Fig. 6a. b, GFP fluorescence histograms obtained from flow cytometry measurements of

the circuit under 16 different combinations of input RNAs. c, d, ON/OFF GFP levels obtained from flow cytometry on linear (c) and logarithmic (d) scales.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.

Page 16: Complex cellular logic computation using …...Complex cellular logic computation using ribocomputing devices Alexander 1A. 1Green ,2*, Jongmin Kim ,3*, Duo Ma 2, Pamela A. Silver

LetterreSeArCH

A* B* C* D* E* GeneOFF

GFP

A1 A2 B1 B2 C1 C2 D1 D2 E1 E2

60

50

40

30

20

10

0

ON

/OF

F G

FP

‘1’ inputs 0 0 1 1‘2’ inputs 0 1 0 1

A1 AND A2

0 0 1 10 1 0 1

B1 AND B2

0 0 1 10 1 0 1

C1 AND C2

0 0 1 10 1 0 1

D1 AND D2

0 0 1 10 1 0 1

E1 AND E2

a b

c

10-Input DNF Gate: (A1 AND A2) OR (B1 AND B2) OR (C1 AND C2) OR (D1 AND D2) OR (E1 AND E2)

Nor

mal

ized

cel

l cou

nts

GFP fluorescence (a.u.)

[A1,A2][0,0][0,1][1,0][1,1]

[0,0][0,1][1,0][1,1]

[0,0][0,1][1,0][1,1]

[0,0][0,1][1,0][1,1]

[0,0][0,1][1,0][1,1]

[B1,B2]

[C1,C2]

102101 103 104

[D1,D2]

[E1,E2]

10-1

100

101

ON

/OF

F G

FP

‘1’ inputs 0 0 1 1‘2’ inputs 0 1 0 1

A1 AND A2

0 0 1 10 1 0 1

B1 AND B2

0 0 1 10 1 0 1

C1 AND C2

0 0 1 10 1 0 1

D1 AND D2

0 0 1 10 1 0 1

E1 AND E2

d

Extended Data Figure 10 | Evaluation of a 10-input DNF circuit. a, The 10-input DNF circuit features five two-input ANDs coupled to the five-input OR gate RNA tested in Extended Data Fig. 6b. b, GFP fluorescence histograms obtained from flow cytometry measurements of the circuit under 20 different combinations of input RNAs. c, d, ON/OFF GFP levels obtained from flow cytometry on linear (c) and logarithmic (d) scales.

© 2017 Macmillan Publishers Limited, part of Springer Nature. All rights reserved.