Axoni AxLang: Ethereum Smart Contract Verification Language?
Any mention of cryptocurrency and what comes to mind are hacks that have plunged the digital world for years- which is precisely the image Axoni wants to change.
The technology firm based in New York announced AxLang, formally verifiable smart contracts that support functional programming for the Ethereum ecosystem. The company which specializes in large-scale blockchain systems has come up with a new programming language that ensures heightened security through a rigorous mathematical method that will help prove the correctness of computer programs.
Axoni AxLang Eth Smart Contract Verification Design
The company’s aim was to maximize security in the crypto universe using a programming language that would be widely adopted. Axoni AxLang is designed to not only for powerful functional programming but also widespread adoption by creating a language that is easy to use, learn, maintain and debug while ensuring heightened security.
AxLang works by cross-compiling Scala to EVM bytecode before formal verification of the smart contracts for Public Ethereum Ecosystem
Axoni AxLang Outlook
The Axoni team is yet to make AxLang widely available and was not production ready at the time of the announcement. For the team to drive it efficiently and quickly the formally verifiable smart contract is not an open source language yet. The blockchain language should be widely available in the second half of 2018.
To efficiently enable formal verification, the blockchain language is based on Scala- a statistical language that assembles computer programs as the Java Virtual Machine (JVM) and blends with functional programming standards. The use of Scala enables developers to come up with coding practices that ensure heightened security through formal verification and installing the smart contracts to the Ethereum blockchain.
Axoni the capital markets Tech Company based in New York specializes in various products including the Large-scale deployment of the blockchain, analytical services, customized smart contract development, Tools for connectivity and large-scale data management.
For more information, you can reach them on [email protected]