智能合约是一类专用于管理有价徝数字资产所有权的独特软件尽管现有的编程环境可以用来跟踪资产的所有权，但是它们通常被用来反映所有权而非直接定义所有权。智能合约的独特之处在于它们所代表的价值往往直接体现在它们所维持的状态中。

随着区块链的持续发展代表所有权的机制也在不斷发展。比特币是由“未使用的交易输出（unspent transaction outputs）”或UTXO所定义的所有权模型构建的

虽然UTXO模型非常高效，但它也非常复杂并且可能会产生一些异常的边缘情况，因此Ethereum采用了一种更直接的Ledger模型

当Libra区块链发布时，围绕该项目的主要关注点在于Facebook建立的区块链的政治含义但我们这群深入研究技术细节的人却从中发现了一些很有意思的新想法。

尤其是Libra团队以一个新的所有权模型为基础，为他们的Move VM定义了新的编程模型该所有权模型的灵感来源就是线性类型（Linear Types）：资源（Resources）。

“Resources”是一种在编程语言中直接表示资产所有权的新方法工程师们常常使用“所有权（ownership）”这个术语来比喻：跟踪某代码以管理某种数据结构或系统资源。

这种情况在编程环境中最为常见在此环境中，内存管理並没有完全从程序员那里抽象独立出来如果说代码中写了一个对象，那么就意味着该代码必须管理并释放分配给该对象的内存

Resources将这一概念进行了扩展，我们可以利用一些机制来管理以前编程语言中的“所有权”并用它来管理本地数字资产的真正所有权。

幸运的是定義在Resource对象上的方法不会成为任何可重入性bug的受害者。

这似乎是一个十分大胆的主张!然而它仅仅是自然地遵循了Resources的定义方式:每个Resources都有一个單独的所有者，并且只有其所有者可以调用Resources上的方法如果一个Resources方法在“堆栈上”，那么我们就知道该对象的单个所有者引用已在使用中我们从该方法内部调用的任何代码都不可能（尽管是间接地）获得对该对象的第二个引用以进行可重入方法调用。

当然直接使用全局囲享状态(绕过Resource对象的使用)仍然可能创建易受可重入性bug影响的代码。

这就是惯用的Cadence style对所有共享状态使用Resources的原因精通Resources的智能合约作者无需再擔忧可重入性错误问题！

去年，在对更好的智能合约语言进行了学术研究后Flow开发团队调查了区块链环境下Linear Types的使用。几乎在同一时间Libra的團队发布了其最初公告，其中包括MoveVM的技术细节

Cadence具有舒适的、符合人体工程学的语法，易于阅读它通过一个强大的静态类型系统来最大程度地减少运行时错误，并且允许所有方法、接口和事务包含前置和后置条件以强制执行预期的行为。我们认为这会使语言变得更易於学习和审核，最终会比现有的所有选择都更加高效。

《原力计划【第二季】- 学习力挑战》正式开始！
即日起至 3月21日千万流量支持原創作者，更有专属【勋章】等你来挑战

老铁们求在看！????