AxLang - Programming Language For Secure Smart Contracts On Ethereum


Programming Language For Secure Smart Contracts On Ethereum



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.


AxLang Case Study: A Formally Verifiable Derivatives Contract Library

Compiling Scala to EVM Bytecode for Secure and Reliable Ethereum Smart Contracts

This is posted on Steemhunt - A place where you can dig products and earn STEEM. View on

Steemie currently dosen't allow you to make comments. If you want to write something, write it using another frontend (like Steemit)
Click there to view this post on
  • @ecoinstats

    Thank you for being a part of the INCOME entertainment Fund, where builders are sought and supported!

    This service is managed by @ecoinstant.


  • @stupid

    Well, I ain't a developer. But wondering how can Scala help developing in Solidity!

  • @steemhunt


    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:

    • Discord:
    • Telegram:
  • @trendotoken

    Congratulations @vimukthi, your post successfully recieved 5.13841725 TRDO from below listed TRENDO callers:

    @ecoinstats earned : 3.4256115 TRDO curation

    To view or trade TRDO go to Join TRDO Discord Channel or Join TRDO Web Site