In addition to cryptocurrencies, I have been simultaneous working on another mathematical research project on Laver tables http://boolesrings.org/jvanname/2017/08/29/generalizations-of-laver-tables-is-posted-140-pages/ where among other things I have developed the mathematical structures behind new post-quantum public key cryptosystems from the highest levels of infinity (this project is the only real-world application of these very large levels of infinity). My project on Laver tables is finished after two years of work, so I can now devote all my extra time that I have to Nebula. I apologize for the delay.
-Joseph Van Name Ph.D.
http://boolesrings.org/jvanname
Very good news. Haven't heard about Laver tables term before. Will try to investigate more and understand your research paper, since it's seems quite interesting concept.
Good luck with Nebula!