AxLang - Programming Language For Secure Smart Contracts On Ethereum
AxLang
Programming Language For Secure Smart Contracts On Ethereum
Screenshots
Hunter's comment
AxLang is based on Scala general purpose programming language and it can be used for more efficient development on Ethereum compatible networks.
We have seen firsthand the difficulties of building enterprise-grade applications with existing smart contract programming languages, and we’re not alone: Over the past two years, more than $500mm has been stolen or lost due to faulty smart contracts on the public Ethereum network, and recent research has found 34,200 contracts with similar existing vulnerabilities.
Introduction
AxLang Case Study: A Formally Verifiable Derivatives Contract Library
Compiling Scala to EVM Bytecode for Secure and Reliable Ethereum Smart Contracts
Link
This is posted on Steemhunt - A place where you can dig products and earn STEEM.
View on Steemhunt.com
Well, I ain't a developer. But wondering how can Scala help developing in Solidity!
Thank you for being a part of the INCOME entertainment Fund, where builders are sought and supported!
This service is managed by @ecoinstant.
$trendotoken
Congratulations @ecoinstats, you successfuly trended the post shared by @vimukthi!
@vimukthi will receive 5.13841725 TRDO & @ecoinstats will get 3.42561150 TRDO curation in 3 Days from Post Created Date!
"Call TRDO, Your Comment Worth Something!"
To view or trade TRDO go to steem-engine.com
Join TRDO Discord Channel or Join TRDO Web Site
Congratulations!
We have upvoted your post for your contribution within our community.
Thanks again and look forward to seeing your next hunt!
Want to chat? Join us on:
Congratulations @vimukthi, your post successfully recieved 5.13841725 TRDO from below listed TRENDO callers:
To view or trade TRDO go to steem-engine.com
Join TRDO Discord Channel or Join TRDO Web Site