The project faced with complicated and previously unresearched technical barriers. For example, while verification – or proving that a computation is correct – is easy to achieve for simple crypto transactions, it becomes extremely difficult to develop around different kinds of computations. It's an ambitious and interesting project