AxLang - Programming Language For Secure Smart Contracts On Ethereum

in #steemhunt4 years ago

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

AxLang Case Study: A Formally Verifiable Derivatives Contract Library

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


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

Sort:  

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:

@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

Coin Marketplace

STEEM 0.35
TRX 0.12
JST 0.040
BTC 71539.00
ETH 3603.23
USDT 1.00
SBD 4.75