The problem is scaling. Donald Beaver, [looked][1] at the factoring numbers with DNA. $10^3$-bit number will require $10^{20000}$ test tubes by using the Hamiltonian path idea of [Adleman][2]. Adleman, also, observed that DES key search for 256 keys would occupy only a small set of test tubes. Let say $2^4$ tubes for $2^8$ keys. As a result we need $2^{56} / 2^{8} * 2^{4} = 2^{52}$ test tubes. The previous statements are from previous DNA computing works directly on Cryptography. There are new studies on computing with DNA; - There is a promising technique, called [CRISPR9][3] with many version that enables editing DNA even at home. - There is also interesting work called [BLADE][4], where authors built 113 circuits from DNA. - And, the DNS USB memory, [MinION][5]. Under these and other new improvements in DNA computing, in the very near future, one may come up with new results affecting Cryptography. ---- **Update**: How the Hamiltonian DNA computing is performed; 1. **Encode** the vertices with DNA and together with Watson-Crick complement. e.g. ; `ATLANTA` DNA name `ACTTGCAG` complement `TGAACGTC` and `BOSTON` DNA name`TCGGACTG` complement `AGCCTGAC.` Here note that `ACTT` considered as the first name and `GCAG` considered as the surname. 2. **The Edges** defined as `GCAGTCGG` where the first 4 char `GCAG` is the ATLANTA's first name and the last four char `TCGG` is the BOSTON's second name 3. **Polymerases step**; this gene produces the complimentary copies. 4. Ligases step; Ligases bonds the strand of DNA's together ( normally repairs DNA). 4. **Polymerase Chain Reaction**; used to remove all path not starting from starting node and not ending with the end node. 5. **Gel-Electrophoresis**, when current applied the negatively charged DNA molecules start to moves to the anode. The interesting part; the longer the DNA strand the slower it moves. So separation by length. 6. **DNA** synthesis. The DNA info extracted. As one can see, the process completely biological, except Gel-Electrophoresis which is not a part of DNA process in nature. This is almost the view of the step from bird fly of the article of [Adleman][2] in Scientific American. A more detail can be found [here][6]. ---- Hamiltonian path to Factorization Now, let talk about how the Hamiltonian Path problem can be turned into a factorization problem that Donald Beaver used. This is mostly [from][7], normally the reduction is mentioned in the famous Introduction to Algorithms book of Cormen at. al. - Build a non-deterministic polynomial-time turing machine; given an $n$ and $k$ accepts if there exists some $m$ where $1<m<k$ and m divides n, or rejects otherwise. - For each query (n,k), by the Cook/Levin reduction to construct a boolean circuit which is satisfiable iff the Turing machine accepts (n,k). - Reduction from Circuit-SAT to 3-SAT. - Reduction 3-SAT to Hamiltonian Path. - Solve the Hamiltonian Path problem with DNA. Reductions are answer-preserving, so backward available. This is the process that Donald Beaver looked into and said > Even in the case of factoring, if every path in a superpolynomial computation is assigned a molecule, then a superpolynomial number of molecules will be needed. Merely fitting these molecules into a polynomial volume is an impossible task, but a necessary one: if the molecules are going to have enough time to mix and react, then light must be able to pass from one side of the test tube to the other within polynomialtime. This impossible task does fortunately expose new avenues for further research, leaving open the question of whether black-hole algorithms for factoring exist. ---- Any other algorithm, with current knowledge, must have to fallow the same reduction step to the Hamiltonian Path problem and will face the same `impossible task`. [1]: https://pdfs.semanticscholar.org/fa42/b287d956f1a33c5109549b1819a9c719572c.pdf [2]: http://152.2.128.56/~montek/teaching/Comp790-Fall11/Home/Home_files/Adleman-ScAm94.pdf [3]: https://en.wikipedia.org/wiki/CRISPR [4]: https://www.nature.com/articles/nbt.3805 [5]: https://nanoporetech.com/products/minion [6]: http://web.cecs.pdx.edu/~mperkows/temp/June16/dna2.pdf [7]: https://math.stackexchange.com/questions/1982168/reduction-algorithm-from-prime-factorization-to-hamiltonian-path-problem