Thank you for this post. It´s too technical for me, but I keep reading and learning.
I am interested in the use of blockchain technology in science. I was astonished to see Turing machines mentioned here. I have been toying with the idea of using blockchain as a novel approach to the most essential subject of NP-complete problems.
There is a wonderful book written for laymen, most certainly you know about it already. It´s about the Traveling Salesman Problem (TSP), a very simple case of the problem that became sort of the flagship on the class of NP problems:
http://press.princeton.edu/titles/9531.html
Maybe you can recommend some reading regarding the potential use of blockchain in science, particularly in the area of NP- complete problems and it´s flagship instance, the TSP problem.
PS Besides beying an old age student of physics, I´m an accountant. I arrived to this post thanks to @belerophon and his gentle indication of readings regarding triple entry accounting.