Clarity 和 Reach语言

1. Clarity语言

Clarity语言为由Blockstack 和 Algorand 团队主导开发的智能合约语言，Clarity具有如下属性：

• decidable：所见即所得，看到代码即可确定其运行结果。Clarity本身是图灵不完备的，因此可避免图灵复杂性。支持complete static analysis of the entire call graph of a given smart contract。
• interpreted：不需要编译。将源码发布到区块链节点即可执行。去除了中间介质（如Solidity的EVM byte code），可减少潜在bug数量。

Clarity合约示例为：

2. Reach语言

Reach为面向DApp开发的领域特定语言，由Algorand团队主导开发。
可实现：

• Reach raises the level of abstraction to allow developers to code at the level of business logic allowing them to develop applications in a fraction of the time.
• Reach outputs the entire protocol level of the DApp so one need not worry about building both the smart contract and the client endpoints.
• Reach automatically mathematically guarantees protection against entire categories of potential bugs, and allows for a developer to insert inline custom assertions that would have otherwise taken a highly-skilled consultant many hours to replicate.
• Developers no longer need to worry about proprietary coding requirements of the individual protocols. They can write their application once and launch it on a chain that best fits their needs. This benefits the developer mindshare because it will allow more developers to more readily collaborate no matter the protocol of their choice.

参考资料

[1] Reach - The Easiest and Safest way to Build DApps
[2] Introducing Clarity, a language for predictable smart contracts
[3] clarity-lang
[4] Clarity Language