Aternity is a Blockchain for decentralized apps. It scales through state channels that run smart contracts. It comes with a new language that allows to write simpler, safer code and supports formal verification. The VM supports compiled solidity contracts. It uses an ASIC resistant, memory bound proof or work with less than 15 seconds block time, which is also difficult to pool and therefore more decentralized.