Yuanpeng
Zhang‡
ce,
Bei
Yan‡
bc,
Xingge
Li
f,
Huan
Liu
c,
Xiao
Liu
c,
Xianjin
Xiao
*cd,
Zenghui
Mao
*d and
Zhihao
Ming
*a
aDepartment of Urology, Hunan Cancer Hospital/The Affiliated Cancer Hospital of Xiangya School of Medicine, Central South University, Changsha, China. E-mail: mingzhihao@hnca.org.cn
bDepartment of Human Sperm Bank, Institute of Medical Science, General Hospital of Ningxia Medical University, Yinchuan, Ningxia 750004, China
cInstitute of Reproductive Health, Tongji Medical College, Huazhong University of Science and Technology, Wuhan 430030, China. E-mail: xiaoxianjin@hust.edu.cn
dHunan Provincial Key Laboratory of Regional Hereditary Birth Defects Prevention and Control, Changsha Hospital for Maternal & Child Health Care Affiliated to Hunan Normal University, Changsha, China, zhmao48@163.com
eDepartment and Institute of Urology, Union Hospital, Tongji Medical College, Huazhong University of Science and Technology, Wuhan 430030, China
fDepartment of Gastroenterology, Union Hospital, Tongji Medical College, Huazhong University of Science and Technology, Wuhan, 430022, China
First published on 6th November 2024
DNA computing circuits are favored by researchers because of their high density, high parallelism, and biocompatibility. However, compared with electronic circuits, current DNA circuits have significant errors in understanding the OFF state and logic “0”. Nowadays, DNA circuits only have two input states: logic “0” and logic “1”, where logic “0” also means the OFF state. Corresponding to an electronic circuit, it is more like an on–off switch than a logic circuit. To correct this conceptual confusion, we propose a three-level circuit. The circuit divides the input signal into three cases: “none”, logic “0” and logic “1”. In subsequent experiments, 34 input combinations of the primary AND gate, OR gate as well as secondary AND–OR and OR–AND cascade circuits were successfully implemented to perform the operation, which distinguished the OFF state and logic “0” correctly. Based on this, we successfully implemented a more complex voting operation with only 12 strands. We believe that our redefinition of the OFF state and logic “0” will promote tremendous developments in DNA computing circuits.
However, there is a fundamental difference in electronic circuits and traditional DNA circuits: The traditional DNA logic circuits completely conflate the input “none” and logic “0”.3–5 As shown in Fig. 1 (up), in traditional DNA logic circuits, there are only two states: logic “0” and “1”, where the input “none” and logic “0” are equivalent. This conflation has brought many bottlenecks to the field of DNA circuits. Firstly, once circuit assembly is completed, even without any actual input, the circuit is already in an operational state because the input “none” and logic “0” are equivalent. This leads to the inability to construct the NOT gate, which plays an important role in electronic circuits. NOT gates are crucial for simplifying circuits and modular circuit assembly. To compensate for this deficiency, researchers can only use a dual track mode to achieve the NOT gate function. A dual track mode significantly increases circuit complexity and cannot support circuit module assembly through NOT logic, which goes against the inherent advantages of NOT gates in electronic circuits.3 Secondly, since the circuit is in an operational state without actual inputs, there is no OFF state, unlike the OFF state in electronic circuits. This requires stringent restrictions on leakage before reaction activation, posing greater challenges for the already difficult leakage prevention.28–30 In summary, existing DNA monorail circuits cannot distinguish between input “none” and input logic “0”, so there is no actual OFF state, thus greatly limiting the development of more complex and practical DNA circuits.
Herein, we proposed a new DNA logic circuit signal mode, named three-level circuits. Three-level circuits divided the signal into three scenarios: zero level, low level, and high level, corresponding to the OFF state, logic “0”, and logic “1”, as shown in Fig. 1 (down). In subsequent experiments, a total of 34 input combinations, including the AND gate, OR gate, and AND–OR, OR–AND cascade circuits, were successfully enabled to perform operations that correctly distinguish the OFF state and logic “0”. On this basis, we further implemented a voting operation, which is more powerful but simplified. We believe that our redefinition of the OFF state and logic “0” will greatly promote the development of DNA circuits.
In the AND gate, as shown in Fig. 2b, we first added substrate A*F*O* and fuel strand F and then generated the A*F*O*/FO duplex under the extension of Bst polymerase.5 Two inputs of the AND gate were designed to be partially complementary, and their non-complementary regions were designed to be complementary to the domain A* of the A*F*O*/FO duplex. The lengths of domain a and b are subtly designed so that individual input 1 or input 2 cannot bind to A*F*O* but when both are present, they will form a triplet structure with domain A* of the A*F*O*/FO, and the free 3′-OH end of input 2 can initiate the elongation process by Bst polymerase and displace off the output FO strand. In our experiment, we set logic “0” as 50 nM (low level) and logic “1” as 150 nM (high level). Under a such scenario, when no inputs are present, the circuit will be silent. When both inputs are logic “0”, 50 nM of triplet are formed and elongated, producing 50 nM outputs, corresponding to logic “0”. When the input 1 is logic “0” and input 2 is logic “1” or the vice versa, still 50 nM outputs are produced, corresponding to logic “0”. When both inputs are logic “1”, the amount of triplet will be 150 nM, producing 150 nM outputs, corresponding to logic “1”. The signal input form is shown in ESI Fig. S1.† Overall, the truth table of our established AND gate is correct, demonstrating the feasibility of constructing three-level current AND gates (Table S1†). The AND gate was tested under five reasonable input combinations, and the outputs were consistent with the truth table. All reactions completed within 20 minutes (Fig. 2c). Also, the details of the triplet were shown in Fig. S2.† We would discuss the division among “OFF”, “low level”, and “high level” later.
In the OR gate, as shown in Fig. 2d, fuel strand F is first incubated with two substrates, which is consistent with the AND gate. Input 1 and input 2 were designed to be completely complementary to the domain A* of substrate 1 and domain B* of substrate 2, respectively. After adding the inputs, the displaced FO strands will be consumed by the threshold strands W*O* firstly and then the residual FO strands can react with reporter. In accordance with the AND gate, we set logic “0” as 50 nM (low level) and logic “1” as 150 nM (high level). Besides, the concentration of threshold strands and blocker strands were the same as logic “0” and logic “1” respectively. Under such scenario, when no inputs are present, the circuit will be silent. When both inputs are logic “0”, 100 nM of the output FO strand was produced. Then, 50 nM of them are consumed by threshold W*O*, with 50 nM final remaining outputs, which is corresponded to logic “0”. When input 1 is logic “0” and input 2 is logic “1” or the vice versa, 200 nM of output FO strands can be produced, among which 50 nM are consumed by threshold and 150 nM are eventually outputted, which corresponded to logic “1”. When both inputs are logic “1”, the final output can be 250 nM, but the downstream are all fixed at 150 nM. Therefore, the output strands entering the downstream gates are also 150 nM, which corresponded to logic “1”. To sum up, the OR gate can also match the correct truth table theoretically (Table S2†). Similarly, following the process shown in Fig. 2a, we tested the OR gate under 5 reasonable input combinations. The results completely matched the truth table, and the reactions reached the platform within 20 minutes (Fig. 2e).
By constructing basic AND and OR gates, we have achieved the distinction between the OFF state and logic “0” successfully. It provides us a more flexible, stable, and scalable foundation for subsequent DNA circuit design.
First, we did theoretical prediction with NUPACK. For input 1, its 3′-OH end was in a free state after binding the substrate; thus, it could not be extended. For input 2, when b ≤ 8 nt, there was almost no interaction between individual b and substrate, which was the main source of leakage. We finished the prediction using NUPACK, and the details are shown in Table S3 and Fig. S3a.† Then, we explored the assembly ratio of triplets with different length of inputs. When the whole matching length a + b ≥ 18 nt (Fig. 3a), the proportion of triplet was over 99% (Tables S4, S5 and Fig. S3b†). Theoretically, the best structure of the triplet must satisfy that a + b ≥ 18 nt and b ≤ 8 nt.
Second, we did experiments to explore which length combination of “a + b” got the best responses. We chose a + b = 18 nt since it was the shortest combination, reducing design difficulty and crosstalk. The experimental results are shown in Fig. 3b. We tested the leakage by adding input 2 only (including situations of 50 nM and 150 nM). We also tested the output when both inputs were added. When the length of segment b was 7 nt, 8 nt, and 9 nt, the signal-to-noise ratio was 9.0, 10.3, and 1.8, respectively. Therefore, we further confirmed that the length of segment b was 8 nt, and the specific experimental results are shown in Fig. S4a and S4b.†
Third, we optimized the junction design to increase the output. The three-level AND gate system was based on the DNA triplet structure. The intersection of input 1, input 2, and substrate might generate significant steric hindrance, affecting triplet stability and causing signal loss. To address this, we designed base mismatches at the triplet intersection. As shown in Fig. 3b, we first inserted “–nA–” bases in sequence c and c* of the inputs, forming a bubble structure to reduce steric hindrance. We synthesized inputs with different mismatch numbers and tested the AND gate signal expression. When mismatches were 0, 1, 2, and 3 nt, the final signal reached 81.0%, 86.4%, 94.0%, and 87.8% of the positive signal, respectively (Fig. 3b and Fig. S4c†). Thus, two mismatches in sequence c and c* minimized signal loss. We also inserted A bases between segments a* and b* of the substrate. As shown in Fig. 3c, three bases minimized AND gate signal loss (Fig. S4d†). Besides, Fig. S5† shows the details of the positive signal.
It should be noted that the above experiment was at 37 °C, while the optimum Bst DNA polymerase temperature was 50–65 °C. Therefore, we compared the enzyme activity at 37 °C and the optimal temperature. As shown in Fig. S6a,† the AND gate signal rise rate at 37 °C was not significantly reduced compared to 55 °C, indicating that Bst DNA polymerase activity was not significantly inhibited. Considering that human body temperature is 37 °C, subsequent experiments were at 37 °C. We also optimized the incubation time, testing the working efficiency under different times. At 10 minutes, the AND gates had the best performance and minimal signal loss (Fig. S6b and S6c†). We speculated that prolonged incubation time caused signal decrease due to volatilization.
In summary, we obtained the optimal AND gate design, improving the response ability by 14.5% (Fig. 3d). As shown in ESI Fig. S2,† the triplet structure had six regions: the 15 nt c/c* complementary region, the 10 nt a/a* complementary region, the 8 nt b/b* complementary region, the 2 + 2 + 3 nt bubble structure, the 30 nt F/F*, and the 32 nt O/O*. The final design fully considers various factors, enabling the AND gates to achieve effective logical operations in biological environments.
Initially, we expected to achieve this goal through length differentiation. As shown in Fig. 4a, we designed a Threshold that exactly matched the input, allowing the Threshold to compete with the reporter to bind the input. We synthesized thresholds with different O* lengths and tested their ability to compete with the reporter for the input. The input, threshold and reporter concentrations in the reaction system were equal. When the threshold length was ≤9 nt, almost all inputs reacted with the reporter. When the threshold length was 15 nt, under its competitive effect, half the inputs reacted with the reporter. On further increasing the threshold length, the fluorescence signal almost no longer decreased, indicating that half the inputs still reacted with the reporter (Fig. 4b). This experiment showed that increasing the threshold length alone could not achieve the goal of preferentially reacting the input with the threshold.
Furthermore, we tried increasing the threshold concentration. The fluorescence signal decreased with increasing threshold concentration, consistent with the reporter:
threshold concentration ratio (Fig. 4c and Fig. S7a, S7b†). When the threshold length was 15 nt and the concentration ratio decreased from 1
:
1 to 1
:
5, the fluorescence intensity correspondingly decreased from 54% to 19% (red in Fig. 4c). Increasing the Threshold length to 30 nt gave consistent results (blue in Fig. 4c). These results indicated that when the threshold was ≥15 nt, there was little difference between the threshold and reporter in competing for the input. The fluorescence intensity depended only on the concentration. Therefore, length differentiation alone could not enable the threshold to play its role in the OR gate and obtain correct results.
To construct an ideal threshold and achieve correct OR gate logic operations, we introduced the blocker design. As shown in Fig. 4d, the blocker (grey) was first incubated with the reporter. The blocker/reporter binding region partially overlapped the input/reporter binding region. The blocker 3′ end had a 4-base free structure to prevent elongation. After bringing in the blocker, there was a fast, enzyme-driven strand displacement reaction and a slow, enzyme-free strand displacement reaction in the OR gate.
![]() | (1) |
Input/blocker/reporter → input/reporter + blocker | (2) |
Reactions (1) and (2) correspond to “robbed” and dashed lines in Fig. 4d, respectively. Reaction (1) was enzyme-driven, much faster than the non-enzymatic reaction (2).3,5 Therefore, before depleting the threshold, reaction (1) was the main pathway, making it difficult for the reporter to react with the input. After depleting the threshold, reaction (2) became the main pathway. The input/reporter complex continued react under Bst polymerase action to generate fluorescence signals. The reaction process is shown in Fig. S7c.†
We synthesized a series of blockers of different lengths and tested their performance. As shown in Fig. 4e, the threshold concentration was 0.5×, half the reporter concentration, which makes this operation theoretically correct. When the blocker length was ≤11 nt, blocker/reporter binding was unstable. The final signal generated by 1× input was ∼0.67×, the same as that of no blocker. When the blocker length was ≥22 nt, the enzyme-free strand displacement reaction was insufficient. The final signal generated by 1× input was only 0.3×, indicating significant signal loss. When the blocker length was 14–19 nt, the final signal generated by 1× input was ∼0.5×, indicating that inputs first reacted with the threshold, and when the threshold was depleted, the remaining inputs reacted with the reporter, meeting our expectations. Therefore, the blocker length was determined to be 14–19 nt.
First, we tested the AND–OR cascade circuit. The AND gate output was used as an OR gate input, while the rest of the design was consistent with the basic logic gates. The substrate strand, blocker, and reporter system concentrations were all 150 nM. The fuel strand F and threshold concentrations were 450 nM and 50 nM, respectively. Theoretically, when input C is a low-level state, a high-level output can be generated only when both inputs A and B are high-level states. But when C is a high-level state, a high-level output will be generated, regardless of the states of input A and B. As shown in Fig. 5a, the AND–OR cascade circuit returned the correct result for all the input combinations.
Second, we tested the OR–AND cascade circuit. The OR gate output was used as an AND gate input, while the rest was the same. The concentrations of all the strands were consistent with the AND–OR cascade circuit. Theoretically, when input C is a low-level state, a low-level output is ultimately generated, regardless of the states of input A and B. When input C is a high-level state, a high-level output will be generated whether A or B is a high-level state. As shown in Fig. 5b, the OR AND cascade returned correct results for all the input combinations.
At this point, a total of 34 input combinations, including AND gate, OR gate, and AND–OR, OR–AND cascade circuits have been validated. We summarized all normalized platform values and plotted them as a scatter plot. As shown in Fig. 5c, all the output signals of the OFF state, low-level state, and high-level state fall within a specific area, respectively. To make the three-level concept clearer, we determined separate ranges with different colours, which corresponded to the OFF state (grey), low-level state (red), and high-level state (blue). All the original data and calculation process are provided in the ESI (ESI Files S1 and S2†).
When we built the voting device using the AND/OR gate components mentioned above, a contradiction arose. Sequence c* of input B needed to match the sequence c of input A, while sequence c* of input C still needed to match the sequence c of input A. In this case, input B and C could not react with each other because they are both sequence c*. To achieve the above functions, we introduced a junction strand (named “J”) in the triplet structure. Two inputs were complementary relying on the J strand, with an 18 nt matching region with the substrate strands (Fig. S8†). Bst DNA polymerase displace the output strand FO, which relied on 3′-OH and the generated signals. The length of the binding region of J and two inputs was 15 nt. The structure of input A and input B was like the basic AND gate, with a length combination of “10 + 2 + 15” and “15 + 2 + 8”, respectively. “10” and “8” were the numbers where the inputs bound to the Substrate strand. “2” was the “–AA–” mismatch at the turning point. The design of input C was different because it needed to react with both input A and input B to generate a signal. Therefore, we extended a sequence at both ends of input C, ultimately forming a length combination of “10 + 2 + 15 + 2 + 8” (Fig. S8†).
To test the voting device, 150 nM of J1, J2, J3, S1, S2, S3, and reporter were pre-added to the system, while 450 nM F strands were also added. As shown in Fig. 6a, under the mediation of the J strand, any two out of three inputs could combine with the corresponding substrate to form the complex and then returned the results (see Fig. S8† for the complexes’ structure). As shown in Fig. 6b, correct results were returned in different combinations of voting situations.
In the switch, the input concentration of 0 nM corresponded to the OFF state, and the input concentration of 100 nM corresponded to the ON state. In a series connection of switches, the circuit was ON only when the inputs were present simultaneously. In a parallel connection of switches, the circuit was ON when either input was in the ON state (ESI Fig. S9†). Subsequently, we conducted a more complex cascade of switches based on series and parallel connection. Still, we got the correct ON/OFF responses with various combinations (ESI Fig. S10†).
Our three-level logic circuit distinguishes the OFF state from logic “0” by introducing a new low-level state. This innovative design enables our circuits to perform more complex logical operations without increasing the circuit complexity. This is fully reflected in our voting device. Compared to voting devices based on traditional DNA logic circuits, our design achieves higher voting computing power while maintaining the simplicity.15 Looking ahead, the distinction between the OFF state and logic “0” resolves the inherent contradiction of monorail NOT gates, enabling monorail NOT gates.3
The concentration of DNA in practical applications may constrain circuit design initially and further optimization experiments can help ensure functional stability and reliability. Our circuit has not yet been validated in biological systems; future work could explore applying this circuit to biological systems. Although we have demonstrated basic cascaded circuits and an efficient and concise voting device, our design can be further expanded to achieve more complex logical operations.
In summary, our research provides a novel approach to DNA-based logic circuit design. Distinguishing the OFF state from logic “0” by introducing a low-level state, this innovative three-level design enables more complex logical operations without increasing the circuit complexity, as demonstrated in our voting device. Compared to traditional DNA logic circuits, our design achieves higher computing power with lower complexity. Although there are challenges to overcome, our research establishes the foundation for the future optimization and application of this three-level logic circuit. We believe this study provides new insights into designing and applying DNA-based logic circuits and lays the foundation for future research.
Footnotes |
† Electronic supplementary information (ESI) available. See DOI: https://doi.org/10.1039/d4nr03606a |
‡ These authors contributed equally to this work. |
This journal is © The Royal Society of Chemistry 2025 |