Compiling Scala to EVM Bytecode for Secure and Reliable Ethereum Smart Contracts
Axoni was pleased to present a lightning talk about AxLang’s compiler earlier this month at Devcon4 in Prague.
As we have previously written, Axoni is developing AxLang, a Scala-based programming language for secure and reliable Ethereum smart contracts. AxLang code is fully Scala compatible and thus compilable to JVM bytecode with a vanilla Scala compiler. In this talk, we presented an overview of AxLang’s compiler, which compiles a subset of Scala to EVM bytecode, thus effectively allowing anyone to deploy and execute Scala on an Ethereum network.
AxLang’s compiler is divided into two parts: a front-end and a back-end. The front-end compiler is a Scala compiler plugin that transforms Scala syntax trees into an intermediate language (IL). The back-end compiler compiles this IL down to EVM bytecode. In addition, the back-end uses a standard compiler intermediate representation (IR) for robust optimization and analysis, a compiler norm that, to the best of our knowledge, hasn’t been used by other EVM-targeting compilers. Moreover, the back-end compiler can also be used by other languages as a target to allow highly efficient and secure EVM bytecode generation.
The ability to write secure and reliable smart contracts is critical to broad adoption of blockchain technology. AxLang aims to realize this goal and empower the Ethereum community to deploy smart contracts for business-critical and high-value use cases.
Please check out the above video of the talk and subscribe for updates as we move towards open source release.
Axoni is a New York-based technology firm that specializes in distributed ledger infrastructure. Founded in 2013 by a team of distributed ledger technology experts, the company offers blockchain infrastructure, distributed application development, and workflow automation tools. For more information, please email email@example.com.