3 ms·
There's also AxLang. It's a core DSL based on Scala. Enables formal verification. Live demo on the public ETH mainnet: https://medium.com/axoni/axlang-formally
by CrunchyJams 8y ago
There's also AxLang. It's a core DSL based on Scala. Enables formal verification. Live demo on the public ETH mainnet:
https://medium.com/axoni/axlang-formally-verifiable-smart-contracts-for-the-ethereum-ecosystem-6201203be4e8 https://medium.com/axoni/axlang-formally-verifiable-smart-co...
- unboxed_type 8y agoDespite being based on semi-functional programming language Scala, I found no evidence that the language AxLang has anything to do with formal verification. I may be wrong, but what I see now is lots of promises without any details.
- CrunchyJams 8y agoHow do you mean? There are examples of formal verification working in the video. The resulting compiled smart contracts are on the live Ethereum blockchain.