Algorand and Blockstack have launched a joint open-source project to support the development of a smart contract language.
Proof-of-stake blockchain protocol Algorand and blockchain software firm Blockstack have launched a joint open-source project to support the development of a smart contract language dubbed “Clarity.”
Both claim that existing smart contract languages are neither secure nor predictable enough to meet the growing needs of the emerging industry.
As of this February, $1 billion in value was locked in decentralized finance (DeFi) markets, where smart contracts are used to innovate financial services such as credit and lending.
In their announcement on June 10, Algorand and Blockstack emphasized the need for an alternative smart contract language that would be:
“Purpose-built for the needs of developers working on high-stakes transactions in the hundreds of millions of dollars, which require more predictability and reliability than current solutions.”
The teams of both blockchain networks have strong connections with computer science and academic research in cryptography.
Algorand’s founder is the MIT professor and cryptographer Silvio Micali, a recipient of the Turing Award in computer science and Gödel Prize in theoretical computer science. At Blockstack, the team is led by Dr. Muneeb Ali, who holds a Ph.D in computer science from Princeton University.
What sets Clarity apart from existing smart contract languages?
In his statement for the project’s launch, Dr. Ali explained that smart contracts have “radically different requirements” particularly when it comes to verifiability and security.
Before the DeFi space grows further, he has called for a “serious upgrade” to smart contract language development to ensure that secure and effective code is supporting the most popular applications of the technology.
As shown by past vulnerabilities, like the notorious DAO incident on the Ethereum blockchain in 2016, the stakes can be extremely high when things go awry.
Clarity, as the announcement outlines, is a “‘decidable’ language, meaning developers can know, with mathematical certainty, what a program will and will not do ahead of time.”
Algorand and Blockctack claim that at present, the use of “undecidable” languages renders it impossible for developers to understand exactly how a contract will behave in certain situations without its prior execution. This shift to decidability, they claim, therefore “addresses a key obstacle currently preventing large-scale, serious use.”
With the adoption of a programming language like Clarity, Dr. Micali has also pointed to the likelihood that the technology will be more trusted by large-scale enterprises and governments.
Beyond their joint support of Clarity, Algorand and Blockstack are also pledging to work toward better interchain communication and operability, in order to prevent the consolidation of “walled gardens” in the blockchain space.
Other “purpose-built” smart contract languages
Cointelegraph has previously reported on the development of the Digital Asset Modeling Language (DAML), which was open-sourced by its creator, software firm Digital Asset, last year.
This spring, Tencent’s digital bank WeBank revealed it was exploring the integration of DAML for its consortium blockchain FISCO BCOS — the chain that will undergird China’s national Blockchain-Based Service Network.
Source: , CoinTelegraph
Articles listed with Cash Tech News as the author are either general information, or may have been imported from another website, to bring our readers a rich media experience that encompasses articles that we find interesting, as well as those curated by others.
The views and opinions expressed here are for informational purposes only, and should not be confused with professional financial advice. These opinions are solely those of the author and do not necessarily reflect the views of CashTechNews.com. Every investment and trade involves risk. You should conduct your own research, and contact your professional financial advisor before making any investment.
Corrections, feedback, and ideas should be submitted through the website contact form.