{"id":54,"date":"2019-08-23T12:26:50","date_gmt":"2019-08-23T12:26:50","guid":{"rendered":"https:\/\/abhashstempblog.wordpress.com\/2019\/08\/23\/solidity-v-s-move-v-s-clarity-the-battle-of-smart-contract-languages\/"},"modified":"2023-01-09T13:32:53","modified_gmt":"2023-01-09T08:02:53","slug":"solidity-move-clarity-the-battle-of-smart-contract-languages","status":"publish","type":"post","link":"https:\/\/blog.springworks.in\/solidity-move-clarity-the-battle-of-smart-contract-languages\/","title":{"rendered":"Solidity v\/s Move v\/s Clarity: The Battle of Smart Contract languages."},"content":{"rendered":"\n
\"Solidity<\/figure>\n\n\n\n

It\u2019s straightforward for you to communicate with your parents in a native language. Right? If you don\u2019t know Russian, then you can not communicate with a person who understands Russian only.<\/p>\n\n\n\n

Language is a crucial component for any communication process, and that\u2019s why new emerging Blockchains come with their own smart contract languages. Blockchain specific smart contract language enables smart contracts to interact and utilize their blockchain to its full extent.<\/p>\n\n\n\n

The most popular blockchain for smart contracts is Ethereum and its widely used smart contract language\u200a\u2014\u200aSolidity<\/strong>.<\/p><\/blockquote>\n\n\n\n

With their recent announcement, Facebook introduced a new Blockchain\u200a\u2014\u200aLibra, and its smart contract language\u200a\u2014\u200aMove<\/strong>.<\/p><\/blockquote>\n\n\n\n

Blockstack, a decentralized computing network and app ecosystem that puts users in control of their identity and data, introduced Clarity. <\/strong>It is the smart contract language for their Stacks V2 blockchain (currently under development along with Clarity).<\/p><\/blockquote>\n\n\n\n

With increased Blockchain adoption, we will see the emergence of more of these new blockchains along with their smart contract languages.<\/p>\n\n\n\n

There are lots of battle-tested dApps (decentralized apps) running on Ethereum blockchain using solidity. The ecosystem has witnessed DAO hack, Parity Multi-sig bug, and reentrancy attack, etc.<\/p>\n\n\n\n

The new smart contract languages claim to offer more security and imminent execution of the code.<\/p>\n\n\n\n

In theory, Move and Clarity provide more safety, but a wise person once said:<\/p>\n\n\n\n

The well-coded contract never fails.<\/p><\/blockquote>\n\n\n\n

Both Move and Clarity is still not as mature as Solidity and needs improvement. Also, they are yet to be tested for any production use.<\/p>\n\n\n\n

Solidity<\/h4>\n\n\n\n

Solidity is a statically typed, compiled language with support for primary types like address, booleans, byte arrays, strings integers, enums, etc. and complex types like fixed-size & dynamic-size arrays, structs, mappings.<\/p>\n\n\n\n

With struct<\/code> developers, a developer can create their own named types so that others can reuse these custom types and helper functions if they are defined in libraries,<\/code> or by inheritance, if they are defined in a contract<\/code>.<\/p>\n\n\n\n

Move<\/h4>\n\n\n\n

Move is typed and currently supports a small number of native types, but Move is very modular, <\/strong>via separate custom type definitions (unrestricted structs or resources) and static functions from actual data, stored in each account. Modules<\/strong> are state-less; it only contains code. Modules can define resource<\/strong> types (similar to Solidity structs<\/code>) and functions. Move has first-class Resource type<\/strong>. A resource can never be copied, only moved. These guarantees are enforced statically by the Move VM.<\/p>\n\n\n\n

Clarity<\/h4>\n\n\n\n

Clarity is an interpreted <\/strong>and Turing incomplete <\/strong>smart contract language as it tries to remove \u201cTuring complexity.\u201d This decision allows a complete static analysis of the entire call graph for a given smart contract.<\/p>\n\n\n\n

Further Clarity\u2019s support for types and type checker can eliminate unintended casts, Re-entrance bugs, and reads of uninitialized values.<\/p>\n\n\n\n

A Clarity smart contract code can be analyzed for runtime cost and data usage, allowing predictive execution of code.<\/p>\n\n\n\n

As Clarity doesn\u2019t need bytecode representation (e.g., EVM bytecode for Solidity and Move bytecode for Move), it minimizes the surface area for introducing bugs. Bugs introduced by a Compiler is not an issue here.<\/p>\n\n\n\n

\"Solidity
Comparison of Solidity, Move, and Clarity on different parameters<\/figcaption><\/figure>\n\n\n\n
\n\n\n\n

We have gone through the similarities and differences of these languages, but it\u2019s time for us to implement a similar contract in Clarity and Move. For an ERC-20 example Solidity code, you can checkout SpringRole\u2019s SpringToken<\/strong><\/a> smart contract.<\/p>\n\n\n\n

Clarity Implementation<\/h4>\n\n\n\n

We will define a map<\/strong> (like mapping in Solidity) name balances which map the address of the owner type principal to the available balance.<\/p>\n\n\n\n

To define a map we use keyword define-map<\/strong>. Similarly, we will define another map for allowances (note that it is a map to another map).<\/p>\n\n\n\n

To keep track of total supply we will define a variable name total-supply of type int<\/strong> using keyword define-data-var <\/strong>and assigned it a value of 0.<\/p>\n\n\n\n

\"Smart<\/figure>\n\n\n\n

Now to fetch the user\u2019s balance we will define function balance-of <\/strong>using keyword define<\/strong>. This function will take input account<\/strong> of type principal <\/strong>and return the balance from the map balances<\/strong> using keyword fetch-entry<\/strong>. Similarly, we can define a function to fetch the allowance <\/strong>given to a spender by an owner.<\/p>\n\n\n\n

\"Smart<\/figure>\n\n\n\n

Note<\/strong>: Using define <\/strong>keyword will define a private function if you want a public function, then use a define-public<\/strong> keyword instead.<\/p>\n\n\n\n

Now for the transfer function, we will define a private function transfer!<\/strong> which takes three input sender<\/strong>, receiver <\/strong>and the amount<\/strong>. As this function is modifying the blockchain by changing the balances, we put an exclamation mark (!) after the function name to indicate the same.<\/p>\n\n\n\n

\"Smart<\/figure>\n\n\n\n

Now time to implement increase and decrease allowance <\/strong>function.<\/p>\n\n\n\n

\"Smart<\/figure>\n\n\n\n

These two functions will be reused in the other function approve <\/strong>and transfer-from.<\/strong><\/p>\n\n\n\n

\"Smart<\/figure>\n\n\n\n

You can grab full implementation of contracts in Clarity from here<\/a>.<\/p>\n\n\n\n

Move Implementation<\/h4>\n\n\n\n

We will take advantage of Move\u2019s Resource type to define different roles. (i.e. Minter, Owner, etc.). We will define these into separate module name SpringTokenRoles<\/strong>. We will add functions which grant <\/strong>different roles like Owner and minter. Also, a require <\/strong>function that will check if an address has the specified role or not. As a resource can not be copied, we have to borrow it, so we will define the function which will let us borrow<\/strong> different roles.<\/p>\n\n\n\n

module <\/strong>SpringTokenRoles {
resource<\/strong> Owner <\/em>{ }
resource <\/strong>T<\/em> {
    minter: bool<\/strong>,
    blacklisted: bool<\/strong>,
  }

public <\/strong>publish<\/em>() {
let <\/strong>sender<\/em>: address<\/strong>;
    sender = get_txn_sender<\/em>();
if <\/strong>(true<\/strong>) {
Self<\/strong>.grant_owner_role<\/em>();
    }
    move_to_sender<T>(T{ minter: false<\/strong>, blacklisted: false <\/strong>});
return<\/strong>;
  }<\/pre>\n\n\n\n
grant_owner_role<\/em>() {
    move_to_sender<Owner>(Owner {});
return<\/strong>;
  }<\/pre>\n\n\n\n
public <\/strong>borrow_owner_role<\/em>(): &R<\/strong>#Self<\/strong>.Owner {
let <\/strong>sender: address;
let <\/strong>owner_role_ref: &mut R<\/strong>#Self<\/strong>.Owner;
let <\/strong>owner_role_immut_ref: &R<\/strong>#Self<\/strong>.Owner;
    sender = get_txn_sender();
    owner_role_ref = borrow_global<Owner>(move<\/strong>(sender));
    owner_role_immut_ref = freeze(move<\/strong>(owner_role_ref));
return<\/strong> move(owner_role_immut_ref);
  }    
}<\/pre>\n\n\n\n
Similarly, we will do the above implementation for other roles i.e. minter, blacklisted with few more functions available below.<\/p>\n\n\n\n
\"Smart<\/figure>\n\n\n\n
The above functions work similarly to a require statement in Solidity. You can find rest of the token implementation from Springrole\u2019s GitHub<\/a><\/p>\n\n\n\n
Conclusion<\/h3>\n\n\n\n
Most of the people will find writing a smart contract in Solidity to be easy as it is loosely based on ECMAScript. Prior knowledge of the same would be helpful in understanding Solidity.<\/p>\n\n\n\n
Clarity is Lisp-like language, so people with prior knowledge of Lisp will find Clarity to be the go-to language to write smart contracts.<\/p>\n\n\n\n
For those familiar with Rust programming language will prefer to code in Move as it is very similar to Rust.<\/p>\n\n\n\n
Every smart contract language has its pros and cons.<\/p>\n\n\n\n
I believe Solidity is the way to go for more flexibility. However, if you need immunity from reentrance attack, you can try out Move and Clarity, and if you want to take advantage of the first-class resource types then look no further than Move.<\/p>\n\n\n\n
\n\n\n\n
About SpringRole<\/h3>\n\n\n\n
SpringRole<\/a> is enabling everyone\u2019s #VerifiedProfessionalProfile on the Blockchain. It is a decentralised attestation-based professional network platform powered by the blockchain.<\/p>\n\n\n\n
SpringRole is the platform where people can view, share and get attestations on their professional profile, thereby creating a verified resume that they can share and use. A user\u2019s educational qualifications and work experience are verified by the organisations themselves and written directly to the blockchain. To assess a user\u2019s skill set, SpringRole has a system of weighted endorsements that let users objectively look at people\u2019s profiles and assess their skill level.<\/em><\/p>\n\n\n\n
Learn More<\/h3>\n\n\n\n
To learn more, and be up-to-date about all-things-SpringRole:<\/p>\n\n\n\n