Group: Forum Members
thanks for this article - this was a very interesting read!
May I lead my post with asking if you are looking for any more researchers in this area?
I myself was asking questions about the validity problem in the Tangle before and actually planned on basing my diploma thesis on this topic. I wanted to focus more on the transaction ordering of smart contacts, because i found the Qubic roadmap a bit lacking in this regard (there is a comprehensive section on the processing phase of a single epoch, but not on how one would base a transaction on top of another) - so this seemed like a wonderful opportunity to start some research by defining basic requirements a smart contract must fulfill; and how such properties could look like in a DAG.
But your work seems even more fundamental than that, so I'd like to ask how advanced your work already is, and if you would be interested in some kind of collaboration? I'm a master's degree student of computer sciene at the Technical University of Vienna and me and my professor would be happy to work together with the IOTA foundation on solving these fascinating problems - and improving IOTA on the way.