News for hackers. Stuff that matters.
Re:Our suite of Ethereum security tools by mike-myers on Saturday March 24, 2018 @04:04AM (#16665451)
Yea, Solidity is not the only language of code that compiles to EVM bytecode. There are other languages that also do so: Serpent, LLL, and Viper. "Better" is subjective, but it looks like Viper is intended to be more audit-able. But it's also still a work in progress.

Serpent and LLL are apparently lower-level than Solidity.

https://steemit.com/ethereum/@balzss/the-many-languages-of-e...

Re:Our suite of Ethereum security tools by davedx on Saturday March 24, 2018 @11:50AM (#16667185)
Bamboo looks quite interesting. I think it’s mainly focused on modelling the state changes smart contracts undergo more explicitly. https://github.com/pirapira/bamboo
Re:Our suite of Ethereum security tools by ShorsHammer on Sunday March 25, 2018 @09:59AM (#16672186)
Serpent is deprecated.