Author Topic: Fuelling business applications using 2 new languages for smart contracts  (Read 2793 times)

0 Members and 1 Guest are viewing this topic.

Offline ataraxiacelesteTopic starter

  • Newbie
  • Joined: Jul 2020
  • Posts: 29
  • Karma: +0/-0
  • HODL!
    • View Profile

your ads here
To err is human to forgive is nobody goes the stying in the blockchain world. Sometimes, business' wish they could say the same about the smart contracts created. Some reports estimate that 25% of all smart contracts contain critical bugs, 60% of all projects Hasho ( a security audit firm ) had atleast one single bug.

For businesses that rely on smart contracts, it is critical that they operate as intended and without bugs or security issues.

Concordium  has developed two novel programming languages, Midlang and Retlang, that make smart contracts easier to develop and more reliable to deploy.

Midlang, built on Erlang and Elm, models problems clearly and precisely, while also being simple enough to allow for easy on-boarding. Midlang code compiles to Retlang, a new low-level language that allows for formal verification and static analysis of smart contracts.

Concordium is also apparently building tools for formal verification of smart contracts.

Making sure blockchain is business ready is a very important aspect to consider for the industry to grow at industrial levels. There has been a popular myth business' need only private blockchains to be deployed to see success. Its nice to see novel projects like Concordium come up with unique approaches to make this happen.

 

Australia Develops New Blockchain Tech for Smart Legal Contracts

Started by dianadsouza

Replies: 1
Views: 5007
Last post January 13, 2019, 12:50:35 PM
by TC-team
What is TRON Smart Contract & How it Aid to Improvise Business Branding?

Started by shirawilliam

Replies: 0
Views: 984
Last post January 30, 2021, 10:09:46 AM
by shirawilliam
CoinMirror.co - smart contract powered syndicate network

Started by coinmirror

Replies: 0
Views: 4937
Last post January 29, 2018, 12:59:47 PM
by coinmirror
Aclaró – The Key to transparency in business!

Started by FutureICO

Replies: 0
Views: 2559
Last post May 24, 2018, 11:50:09 AM
by FutureICO
Aclaró – Unlocking the real potential of your business!

Started by FutureICO

Replies: 1
Views: 2523
Last post October 06, 2018, 09:57:26 PM
by icobooster