3 ms·
From my outside perspective, it sounds like Ethereum makes it hard to avoid subtle bugs when writing contracts. Some of its competitors specifically try to avoi
by chriswarbo 6y ago
From my outside perspective, it sounds like Ethereum makes it hard to avoid subtle bugs when writing contracts. Some of its competitors specifically try to avoid this, e.g. https://docs.cardano.org/en/latest/ https://docs.cardano.org/en/latest/
- xiphias2 6y agoThe most probable language that’s safe enough to be adopted by Bitcoin is Simplicity. It’s based on algebraic data types, tries to be a superset of the Bitcoin scripting language, but still guarantee a verification time that’s linear to the program length (not Turing complete)