æternity is a public, open-source blockchain protocol that enables a platform for next-generation decentralized applications with high scalability. Its core components are written in the functional programming language Erlang and its smart contract language - Sophia - is also functional. æternity has a stellar team of developers including Robert Virding - co-creator of Erlang, John Hughes - co-designer of Haskell, and Ulf Norell - co-designer of the Agda programming language for formal verification.