携手 Algorand 共同开发更安全、更可靠的智能合约语言

背景介绍

我们很高兴地宣布与Algorand携手创建了一个独立的开源项目，以支持Clarity智能合约语言的未来设计和开发。Algorand 是区块链行业的领军项目，有着与我们相似的深厚科学根基。

Algorand和Blockstack PBC的科学家们都意识到：区块链行业要超越当前状态发展成熟，需要更安全、更可靠且可预测的智能合约语言。通过合作，我们希望进一步提高智能合约的严谨性，并欢迎其他个人或机构参与，以满足高风险交易开发人员的需求。来自麻省理工和普林斯顿的博士将领导Blockstack PBC和Algorand为此开源项目做出贡献，其中也包括Clarity当前的核心开发人员。

常见的“非确定性”编程语言受其性质所限，在某些情况下未执行就无法精确得知合约的行为。与之相反，Clarity是一种“确定性”语言，通过数学上的确定性，允许开发人员提前知道程序可以做什么。这就解决了阻碍区块链大规模、正式被使用的一个关键障碍。

Algorand创始人Silvio Micali博士表示：“智能合约是区块链被采用不可或缺的驱动力，因为它消除了对第三方中介的需求，并促进了无摩擦的经济交换。随着智能合约中存储大量的资产——且资产价值也日益增加，诸如Clarity之类的下一代编程语言，可为大型企业和政府解锁基于区块链的解决方案，这些机构需要更高级别的信任和安全。”

此外，我们认为这一围绕Clarity的项目也为跨链通信提供了一种可能方案，并邀请更多人参与。最终，我们希望打破壁垒，消除对第三方中介的依赖，并通过提供一门广泛使用的确定性开源语言，助力开发者之间无缝发起和执行合约。

迄今为止，这是首次有两个领先的加密货币项目携手支持一种新的智能合约语言。我们对于Clarity未来的可能性感到非常兴奋。