/ tech

Serpents and Vipers

Much has been ranted about smart contracts regarding formal verification and their veracity on the Ethereum blockchain.

Since sentiment around these topics is easily understood given issues such as the DAO incident and more recently, the Parity wallet hack, price usually follows the news downwards.

However, it's interesting to see how development efforts thrive on these types of issues.

For example, while Solidity continues to see frequent contributions and improvements submitted to it's Github repository, new languages such as Viper are being developed while issues with older (low-level) languages such Serpent are now considered outdated.

In fact, big problems lead to new, potentially viable or even promising projects suchs as zeppelinOS, described as 'the operating system for smart contract applications'.

Here's a recent technical paper on KEVM: A Complete Semantics of the Ethereum Virtual Machine