Kadena 的智能合约模子为区块链代码的安详性与可读性缔造了条件。
当 Kadena 的首创人 Will Martino 和 Stuart Popejoy 在摩根大通为该投资银行构建首个区块链时，他们发明智能合约技能无法满意企业用例的需求。
语言难以辨认且无法验证；
这就让企业及企业家可以直接清晰地在区块链上安详编写智能合约，真正敦促了朝向安详、自动化合约的进步。 Pact 让任何人都可以或许轻松参加到智能合约技能中来，以支持全新的业务模子及链上处事。
Pact 智能合约的执行快速又安详Pact 提供了一个尺度库作为根基道理。它为 Pact 编写者提供了其大概需要的所有须要东西，用以编写安详有效的合约。并且，Pact 毫不会呈现「操纵码耗尽」或内置合约地点的环境，这就使其可以或许凭据显示的需求归并新成果。因此，gas 模子对付原生界说的函数仍保持界说明晰的静止状态，这就利用户可以或许以模块化方法结构其代码，同时仍保存了推理本领，不只是推理代码成果的本领，还包罗推理运行时的本钱的本领。
Pact 智能合约可以通过更新机制举办更新、变动或牢靠，从而确保在只有新代码乐成执行后才宣布应用的智能合约新版本。产生任何错误时，智能合约城市自动回滚到其先前状态，并中止举办任何新变动。Pact 是智能合约技能的将来为了使区块链真正实现其厘革潜力，我们需要并致力于为开拓人员和用户提供可以信任的智能合约。在 Kadena，Pact 的设计在于以一种差异的方法来办理区块链的安详性和可用性。Pact 旨在为开拓人员提供一种简朴的方法，无论是通过形式验证照旧通过智能合约语言的成果，实施完全安详且无 bug 的智能合约。
智能合约的目标是担保区块链操纵的安详，因此，细节至关重要。在智能合约的整个成长进程中，合约受各类 bug 与裂痕所困扰的动静在加密钱币社区多如牛毛。至今，已经呈现过许多因设计缺陷而导致合约呈现问题的环境，这些设计缺陷包罗：
为办理这一问题，Will 和 Stuart 建设了 Kadena 的开源智能合约语言 Pact，旨在制止那些大概会带来高风险的设计缺陷。以下内容先容了 Pact 如安在建设之初就具备了高度的可扩容性与安详性。
挪用外部智能合约用度昂贵、速度迟钝且危险。
此刻，开拓人员可以或许建设下一代智能合约，从而使那些需要在区块链上代表真实代价和资产的实际应用成为大概。我们接待新的项目利用 Pact 来颠覆各行各业，彻底改变我们开展业务的方法。
缺乏查抄和可追溯性；
模子使合约袒露于危险的裂痕和非确定性行为之下；
另外，当 Pact 编写者在区块链上挪用另一个合约时，特定成果代码（及其所有通报依赖项）将永久内联到用户的挪用站点。这样不只执行速度快（代码处于直接浸染域内），并且后续也无法对其造成粉碎，因此越发安详。
Pact 智能合约支持原生多签并可进级迭代Pact 毫不会将智能合约的设计限制在单签这一种方法，缺少变通的动力。并且，Pact 提供了适当的调治模子，答允指定的智能合约被单个或多签名密钥集打点。
这一成果使得开拓人员可以或许修复潜在的错误。另外，多方参加的合约也可对其协议举办更新，从而浮现业务逻辑的成长状况。
Pact 是一种图灵不完备的语言，任何人都可以或许更安详地利用同比特币一样，Pact 是图灵不完备的。这就有助于防备递归错误和相关的不良利用模式。在 Pact 中，检测到的任何递归城市当即激发妨碍并终止所有正在运行的代码。此成果大大淘汰了智能合约中大概存在的潜在进攻向量。
Pact 是人类可读的语言，，越发利便所有人利用Pact 提供了一种直接在链上执行的表明型语言。表明器的利用意味着，Pact 代码将人类可读的智能合约直接放在了链上。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
