2 ms·
Very Interesting. I will read those links. What if Ethereum offered a non-turning-complete subset of Solidity (that included formal verification) which could o
by grandalf 9y ago
Very Interesting. I will read those links.
What if Ethereum offered a non-turning-complete subset of Solidity (that included formal verification) which could optionally be used in smart contracts. Would this cause you to view the platform differently?
- Retra 9y agoNot GP, but personally I would not trust any system built by a bunch of people building computational contracts who only learned what Turing completeness implies after-the-fact. I'd think they were marketeers willing to do or say anything to sell their snake oil.