Gavin Wood's C++ implementation of the Ethereum yellowpaper.