Keywords

1 Introduction

Demand for high-performance scientific computing keep rising, while the traditional electronic computer components production is near limit, the scientific community is looking for a new computing model to break through the limit of traditional computer systems [1,2,3,4]. DNA computing has been got attention for its high parallelism, low energy consumption and large information storage capacity [5,6,7]. Since the end of the 20th century, DNA computing has made great progress in theory and technology. In 2006, Seelig based on chain substitution reaction principle, design and gate, or gate, not gate logic module, and use of these modules into logic circuit [8]. In 2011, Winfree and Lulu Qian design improved the DNA of a single gate - seesaw gate, join a new concept called “fuel”, for the groundwork of large-scale circuits [9,10,11]. Paving the way for the composition of large-scale circuits in the future [12,13,14,15].

As a new type of calculation method, DNA strand displacement technology has prominent advantages and powerful functions [16,17,18,19]. In this paper, based on the structure of DNA strand displacement by DNA hairpin, the comparator logic circuit is coded and simulated on the basis of the double logic circuit. As the overall DNA molecular strand displacement reaction has slow diffusion speed and wrong molecular collision problems, to solve this problem, Muscat proposed the basic module construction mechanism based on locality DNA hairpin strand displacement reaction [20,21,22], and combined with the dual logic thought, we successfully constructed the local half-adder logic circuit and the local full adder logic circuit on the DNA origami substrate. The experimental data demonstrate that there is excellent transmission performance among the three bound DNA cards. So we use the locality replacement of the molecular chain to increase its stability in this article. The simulation results show that the model has the advantages of fast reaction speed, high reliability and more thoroughly, it is more easy to combine the current biochip technology for large-scale integrated circuits on account of DNA.

2 DNA Hairpin Strand Displacement

DNA molecules are an ideal material for molecular computing, provide a great potential for construction of molecular logic circuits [23, 24]. Because of the relatively slow molecular diffusion and the wrong molecular collision in the DNA molecular strand displacement, more and more researchers have preferred to application of locality DNA strand displacement. Based on the principle of nonlinear system [25,26,27], in the locality DNA molecular circuit, part of the DNA molecules are bounded to one DNA substrate, then the DNA molecules only be react to DNA molecules that get close enough, which effectively avoid the problems of slow diffusion speed and wrong molecular collision in overall DNA molecular strand displacement reaction [28,29,30].

Fig. 1.
figure 1

Locality DNA hairpin strand displacement reaction

DNA hairpin is a DNA structure that form by self complementary and joined by single-stranded loop. Locality DNA strand displacement reaction is shown in Fig. 1. We fix DNA hairpin on the origami, and each card defines a coordinate, to facilitate our experiments and simulation. In the DSD simulation [31], only one chain with the same coordinates can react. In Fig. 1, we add an input single chain \({<}a_0,s{>}\), \(a_0\) in this single strand is paired with the small point \(a_0*\) of the hairpin, Then, the s chain in \({<}a_0,s{>}\) is paired with the card’s \(s^*\), single chain \({<}a_0,s{>}\) and \({<}a_0^*,s^*{>}\) pair into double chain at this time. While y and s in the card are opened, y and s are in single stranded forms at the other end of the complementary chain \(s^*\) and \(a_0^*\). At this point, the single ring of the hairpin is opened, the y which was not involved in the reaction is activated, and then it can conduct pairing reaction with other DNA chain. The DNA card is fixed \((A_0,Y)\) and can’t move. This will avoid the collision problem between wrong molecular.

Fig. 2.
figure 2

AND gate construction of locality DNA hairpin strand displacement reaction

3 Construct Comparator Circuits by Locality DNA Hairpin

3.1 Construct Basic Gates by Locality DNA Hairpin

The molecular circuit is composed of different logic gates, basic logic gates include AND gates, OR gates, and NOT gates. But for Biochemical circuit, there are many difficult in constructing NOT gate. So we adopt the thought of double logic circuit, it is all made of AND gate and OR gate, has dynamic binding between AND gate and OR gate, then comparator’s logic circuit is finished. Before this, we should design AND gate and NOT gate’s locality DNA hairpin logic circuit.

Locality DNA hairpin strand displacement AND gate reaction has shown in Fig. 2, We fix four DNA hairpin on the origami, define coordinates as \((A_0,Y)\), \((B_0,Y),(A_0,B_0),(X,Y)\). At same time, we define the distance between \((A_0,Y)\), \((B_0,Y)\) to \((A_0,B_0)\) less than the distance to (XY), \({<}a_0,s{>}\) and \({<}b_0,s{>}\) as input, \({<}z,s{>}\) as output what we need.

  1. 1.

    When we add a single chain \(a_0\), the fulcrum \(a_0\) will complementary pair the DNA hairpin \(a_0*\) in \((A_0,Y)\) firstly, then open \((A_0,Y)\) fulcrum y, y will complementary pair fuel \(y*\), open fulcrum x, it will react with nearest DNA because of the feature of locality DNA hairpin strand displacement. So fulcrum x will complementary pair \(x*\) in \((A_0,B_0)\), open blank, the reaction finish. No output.

  2. 2.

    When we add a single chain \(b_0\), the fulcrum \(b_0\) will complementary pair the DNA hairpin \(b_0*\) in \((B_0,Y)\) firstly, then open \((B_0,Y)\) fulcrum yy will complementary pair fuel \(y*\), open fulcrum xx will firstly complementary pair \(x*\) in \((A_0,B_0)\) at this time, open blank, the reaction finish. As we can see, we couldn’t get output we need when add chain \({<}a_0,s{>}\) or \({<}b_0,s{>}\) singly.

  3. 3.

    We add input chain \({<}a_0,s{>}\) and \({<}b_0,s{>}\), \({<}a_0,s{>}\) will complementary pair the DNA hairpin \(a_0^*\) in \((A_0,Y)\), it conduct the reaction progress that only has chain \({<}a_0,s{>}\), open blank. But meanwhile \({<}b_0,s{>}\) will complementary pair the DNA hairpin \(b_0^*\) in \((B_0,Y)\), open fulcrum y in \((B_0,Y)\), y will complementary pair fuel \(y^*\), open fulcrum x, so x will react with DNA hairpin in (XY), and will complementary pair \(x^*\), then open hairpin structure, get output \({<}z,s{>}\) that we need.

Fig. 3.
figure 3

OR gate construction of locality DNA hairpin strand displacement reaction

Then we conduct locality DNA hairpin strand displacement OR gate reaction. As shown in Fig. 3, OR gate only fixes three DNA hairpin on the origami, \((A_0,Y),(B_0,Y),(X,Y)\). We define chain \({<}a_0,s{>}\) and \({<}b_0,s{>}\) as input, \({<}z,s{>}\) as output what we need.

  1. 1.

    When we add a single chain \(a_0\), the fulcrum \(a_0\) will complementary pair the DNA hairpin \(a_0^*\) in \((A_0,Y)\) firstly, then open \((A_0,Y)\) is fulcrum y, y will complementary pair fuel \(y^*\), open fulcrum x, it will react with DNA hairpin in (XY) and will complementary pair \(x^*\), open hairpin structure, we can get output \({<}z,s{>}\) that we need.

  2. 2.

    When we add single chain \(b_0\), the reaction progress is same as when add \(a_0\), we can get output \({<}z,s{>}\) which we need.

3.2 Construct Comparator Circuits by Locality DNA Hairpin

A digital comparator compares binary that has same figure, judge numeric value of logic circuit. Compare two n-bit binary, need judge from high to low, if the altitude is same, we can be re-judged next, result are greater, equal or smaller respectively. The two outputs of the comparator circuit represent a state respectively. The input of circuit are two binary numbers \(x_1\) and \(x_2\), output are \(y_1\), \(y_2\), Respectively indicate \(x_1>x_2\) and \(x_1<x_2\).

In this article, we use the idea of dual logic circuits, dual logic circuits uses two different DNA chain for logic 0 and 1. When \(x^0 x^1=01\), \(x^0\) and \(x^1\) are stand for logic 1, logic 0 is \(x^0 x^1=10\). The truth table is shown in Table 1. In dual logic circuit, circuit initial state only happen when \(x^0\) and \(x^1\) are 0 at same time. When \(x^0\) and \(x^1\) are 1 at same time, which stand for circuit error. Considering these above, we design comparator logical circuits in Fig. 4.

Table 1. Digital comparator true table
Fig. 4.
figure 4

The logic circuit of the digital comparator

Through the digital comparator logic circuit and true table, we can make dynamic binding between DNA hairpin strand displacement AND gate and OR gate, design locality DNA hairpin strand displacement reaction circuit Figure on DNA origami, as shown in Fig. 5. We also design biochemical experimental logic circuit Figure accordingly, as shown in Fig. 6.

Fig. 5.
figure 5

The design of digital comparator for locality DNA hairpin strand displacement

Fig. 6.
figure 6

Experimental logic circuit Figure of digital comparator

3.3 Simulation in Visual DSD

Visual DSD is a kind of simulation test based on DNA strand displacement reaction of biochemical circuit software. This software is designed by Matthew Lakin et al. In this paper, Visual DSD software platform is used to simulate the operation process of molecular logic circuits, The feasibility and accuracy of the data selector logic circuit are verified.

In order to fully and completely biochemical reaction, set the reaction time is 50000 s. Define 2 kinds of fluorescence signals in Fig. 7(a)–(d), said \(Y_1^0\) and \(Y_2^0\) respectively. Define 2 kinds of fluorescence signals in Fig. 7(e)–(h), said \(Y_1^1\) and \(Y_2^1\) respectively. The definition of standard concentration is 1, when the concentration value of \(0.85\,\mathrm{nM}{-}1\,\mathrm{nM}\) represents logic 1, simulation mode selection “Deterministic”, can get a smooth simulation curve.

As shown in Fig. 4, the binary state of the data selector input is 1010, 0101, 1001 and 0110. The results of the simulation output as shown in Fig. 7 are obtained. The total signal concentration is 1, which is the total value of \(N=1\,\mathrm{nM}\), If the final concentration of the output signal is between \(0\,\mathrm{nM}\) and \(0.15\,\mathrm{nM}\), the output signal is a logical “0” state; If the final concentration of the output signal is between \(0.85\,\mathrm{nM}\) and \(1\,\mathrm{nM}\), the output signal is a logical “1” state.

According to the input, the simulation is divided into four parts, as shown in Fig. 7:

  1. 1.

    Figure (a) and (b) indicate that when the signal input is \(X_1^0X_1^1X_2^0X_2^1 = 1010\), output \(Y_1^0Y_1^1 =10,Y_2^0Y_2^1 =10\), indicating that the \(X_1^0X_1^1=X_2^0X_2^1\).

  2. 2.

    Figure (c) and (d) indicate that when the signal input is \(X_1^0X_1^1X_2^0X_2^1 = 0101\), output \(Y_1^0Y_1^1 =10,Y_2^0Y_2^1 =10\), indicating that the \(X_1^0X_1^1=X_2^0X_2^1\).

  3. 3.

    Figure (e) and (f) indicate that when the signal input is \(X_1^0X_1^1X_2^0X_2^1 = 1001\), output \(Y_1^0Y_1^1=10,Y_2^0Y_2^1 =01\), indicating that the \(X_1^0X_1^1<X_2^0X_2^1\).

  4. 4.

    Figure (g) and (h) indicate that when the signal input is \(X_1^0X_1^1X_2^0X_2^1 = 0110\), output \(Y_1^0Y_1^1 =01,Y_2^0Y_2^1 =10\), indicating that the \(X_1^0X_1^1>X_2^0X_2^1\).

Fig. 7.
figure 7

The simulation in Visual DSD

3.4 Result Analysis and Discussion

Through the observation and analysis of Fig. 7, Can find: When the input chain is added to the solution, the DNA chain begins to diffuse, The complementary DNA chains react with each other and displace the output chain by strand displacement, Because the strand displacement is a process of molecular motion, the motion releases heat energy, The temperature in the solution will rise slightly with the reaction. The temperature rise accelerates the diffusion motion between the DNA chains, Therefore, the curve of output at this time is in a state of rapid rise; As the reaction proceeds, the concentration of the input chain decreases. The curve gradually leveled off, The concentration of output will gradually stabilize between \(0.85\,\mathrm{nM}\) and \(1\,\mathrm{nM}\).

Simulation show that: When the simulation time arrives at 50000 s, When the simulation time arrives at 50000 s, the curve representing logic 1 is stable within the reasonable range of \(0.85\,\mathrm{nM}{-}1\,\mathrm{nM}\), This curve represents the “ON”. Curve that represents the logical “0”, close to the X axis, Although some of the curves have slight shocks, they are still within the bounds of the “OFF” range of \(0\,\mathrm{nM}{-}0.15\,\mathrm{nM}\).

Through the simulation, we can see that the molecular circuit can achieve the function of the comparator better, and the speed is fast, the effect is accurate, and the implementation is simple, Moreover, the circuit has good expansibility, It creates the foundation for the realization of large-scale cascaded circuits in the future.

4 Conclusion

In this paper, based on the special information storage mode of DNA computing and its ability of parallel computing, we introduce the DNA replacement reaction into the molecular circuit model of comparator.

The model has the following characteristics: (1) the molecular components are simple in structure, stable in operation, and can plug and play. (2) the biochemical reaction is carried out at room temperature without external force and catalyst, the cost is low, the operation is simple, the experimental conditions are low, and the error is small. (3) the ability of information hiding and logical judgment. Finally, based on the DSD simulation platform, this paper has carried on the simulation to this molecular logic circuit model. The results show that the molecular logic circuit designed in this paper can realize the function of the comparator, the scheme is feasible and the result is reliable.

To sum up, DNA strand displacement technology has a broad application prospect in both theoretical research and practical application. With the development of science and technology, the strand displacement technology will promote the development of DNA computing, thus providing new ideas for the research of cryptography, computer science, medicine and so on.