Quote from: BitThink on June 19, 2016, 04:12:50 PM

Quote from: prophetx on June 18, 2016, 12:32:42 PM

Quote from: jokumat on June 18, 2016, 08:19:39 AM

The idea of running Ethereum smart contracts on the bitcoin blockchain sounds problematic now. I know that smart contracts can be killed. But Ethereum needs to be forked to bailout smart contract holders. Smart contracts seem to be inherently insecure. Is it possible to fork Counterparty in this way on the bitcoin blockchain?

well written and tested code is not inherently insecure. Roll Eyes

the only problem here is people releasing untested code (apparently even aware of some issues) and not being patient.

No code can be proved to be bug free no matter how well tested.

not being able to prove something is bug free is not the same as being inherently insecure. in fact something can contain a bug and be secure.

for example it is secure that this is a bug: