Infinite / open-programmable "smart contracts" offered by Turing-complete languages isn't the way to go for decentralized networks. I'd personally becareful of all the craziness that has been going on.
Infinite / open-programmable "smart contracts" offered by Turing-complete languages isn't the way to go for decentralized networks. I'd personally becareful of all the craziness that has been going on.
RE: CertiK : Building Fully Trustworthy Smart Contracts and Blockchain Ecosystems