AxLang - Programming Language For Secure Smart Contracts On Ethereum

AxLang

Programming Language For Secure Smart Contracts On Ethereum


Screenshots

AxLang.png


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

https://youtu.be/xO7B4WYKVZE

AxLang Case Study: A Formally Verifiable Derivatives Contract Library

https://youtu.be/sTJiqBWTLVY

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

https://youtu.be/0ThYOb6c2y0


Link

https://axoni.com/axlang/



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


Comments
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 Steemit.com
  • @ecoinstats

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

    This service is managed by @ecoinstant.

    $trendotoken

  • @stupid

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

  • @steemhunt

    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:

    • Discord: https://discord.gg/mWXpgks
    • Telegram: https://t.me/joinchat/AzcqGxCV1FZ8lJHVgHOgGQ
  • @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 steem-engine.com Join TRDO Discord Channel or Join TRDO Web Site