You are viewing a single comment's thread from:
RE: We don't need to Hardfork: a questionable story about Tezos. - [ICO July 1st]
The thing that worries me the most about this project is that the vast majority of programmers and developers have zero familiarity with the mathematical ideas of formal verification and that the barrier to entry for this platform could be quite high.
Barriers are certainly very high.