This is the specification for RadixEngine. The purpose of this document is to describe the features of RadixEngine.