PACT:以Kadena智能合约为例，简析如何规避重入攻击和跨函数攻击_ACT

在这篇文章中，我们将简要地解释重入和跨函数重入之间的区别，以及图灵不完备性如何能够防止一些这样的攻击。

其中我们将提供一个跨函数重入利用的案例，该案例中Kadena区块链使用的是编程语言Pact，但图灵不完备性并未防止该恶意利用的发生。

事件简介

Kadena区块链旨在实现比其他L1链更高的可扩展性、安全性和可用性。其开发了一种新的语言用以编写智能合约：Pact。

这种语言是人类可读的，且易于形式化验证，并具备可提高安全性的图灵不完备性。

这里提到的图灵不完备性意味着Pact无法做到图灵完备编程语言所能做到的那些事——看起来好像是个劣势，但其实智能合约编程，哪怕是最复杂的DeFi协议也很少会需要用到图灵完备性。

Messari：XRP市值降至248亿美元，日均NFT交易量环比增长12.7%:7月9日消息，Messari发布XRP Ledger 2023年Q2报告，其中XRP第二季度市值降至248亿美元，环比下降10.7%；日均NFT交易量环比增长12.7%，从13,800笔增至15,500笔。日均交易量和日均活跃地址量环比分别下降11.9%与17.6%。[2023/7/9 22:26:57]

图灵不完备性最重要的一点是没有无界递归。虽然这确实大大减少了攻击面，但一些「经典」攻击是无法被100%避免的，接下来我们就会讲述跨函数重入的问题。

经典重入攻击

重入攻击是非常常见的安全问题。这个问题不仅很难被开发者发现，也很难被审计师审查出其会导致的所有潜在后果。

Messari：Polkadot网络二季度有43.6万用户和8.78亿DOT转账:金色财经消息，据加密分析平台Messari最新发布的Polkadot状态报告显示，Polkadot网络使用量在本季度保持稳定，有43.6万用户和8.78亿DOT转账。在两年的租赁期内，共有20个准会员赢得了1.31亿DOT（占总供应量的11%；价值9.19亿美元）。

质押活动与DOT总质押量的54%至56%的范围一致。此外，验证者分布均匀，95%的验证者有180-260万DOT的质押。

Polkadot财政部在九次交易中花费了24万DOT（170万美元）。开发者活动保持一致，每月平均有11000个开发者活动事件。跨共识消息格式（XCM）已经发布。[2022/7/12 2:07:09]

重入攻击取决于函数在进行外部调用之前和之后执行的特定任务的顺序。

NFT社交网络ShowMe与带宽交易市场Meson Network达成合作关系:2月24日消息，Web3 订阅 NFT 社交网络 ShowMe 宣布与 Web3 带宽交易市场 Meson Network 达成合作关系。目前，ShowMe 已经广泛应用了 Meson Network，以加快内容的读取和加载速度。

ShowMe 创始人 Chess 表示，Meson Network 的出现，让 ShowMe 在文字、图片、音频以及视频等领域有了更多值得信赖的选择。ShowMe 与 Meson Network 的合作也坚定地体现了 Web3 互操作性和可扩展性的强大。[2022/2/24 10:13:45]

如果一个合约调用了一个不受信任的外部合约，攻击者可以让它一次又一次地重复这个函数调用，形成一个递归调用。而如果重新输入的函数执行重要的任务，那这可能就会导致灾难性的后果。

James O’Brien：大多数机构的基金契約和运营限制阻止直接访问加密货币:金色财经报道，随着监管机构寻求为数字资产制定适当的投资者保护措施，越来越多的传统投资者正在转向资产类别。Valkyrie Investments 首席运营官 James O'Brien表示：“虽然他们希望参与加密大趋势，但大多数机构的基金契约和运营限制阻止他们直接访问加密货币。机构转向一系列间接方法来访问加密性能，例如管理账户、基金基金和私人基金。Eventus亚太区销售总监Vincent Turcotte补充表示：“许多人被交易所交易基金所吸引，这些基金将加密资产的操作风险与其价格表现分开。投资银行开发的不可交割远期（NDF）产品也有望实现这一目标。?随着交易所平台 Coinbase 等成熟的加密服务提供商上市，他们的股票代表了进入加密市场增长的常规、受监管的途径。[2021/12/24 8:00:01]

下方是一个简化的例子。

我们把易受攻击的合约称为unsafe合约，把恶意的合约称为Attack合约。

1.攻击者调用unsafe合约，以将资金转移到Attack合约中。

2.收到调用之后，unsafe合约首先检查攻击者是否有资金，然后将资金转移到Attack合约。

3.收到资金后，Attack合约执行回退函数，在它能够更新余额之前回调到不安全的合约，从而重新启动该过程。

因为这种攻击是通过无界递归调用进行的，所以如果语言不是图灵完备的，攻击就不可能进行。

跨函数重入

跨函数重入类似于经典的重入攻击，除了重入的函数与进行外部调用的函数功能不同。这种重入攻击通常更难被发现——因为在复杂的协议中，组合的可能性太多，无法手动测试每个可能的结果。

这就引出了我们的概念证明：使用Pact语言进行简单的跨函数重入攻击。

Pact模块中的简单跨函数重入

正如我们在下方代码片段中看到的，合约中的函数对另一个实现特定接口的合约进行外部调用。这允许重入一个设计好的攻击合约。Pact中的功能是内置函数，可授予用户权限来执行敏感任务。以下代码仅供说明之用，并非取自真实案例合约。

我们将使用的代码例子包含三个部分：

1.合约接口

被攻击的模拟示例合约

首先，数据库被定义为一个表，其中字符串存储在具有关联十进制数的行中。

然后定义了一个能力：CREDIT。这个条件将是credit函数所需要的，但只被with_capability语句中的bad_function内部授予。这意味着直接调用credit会失败。

现在，函数credit被定义如下：它增加了作为输入的字符串的余额。如果该地址不在表中，它还会创建该条目。

最后，函数bad_function增加了legit_address的余额，但也执行了对符合之前定义的接口的合约的调用，该合约可以作为一个输入参数提供。

函数get-balance允许我们读取该表格。

3.用于触发重入的模块：

之后，返回10，返回100。

重入成功。

现在，如果我们不重入调用credit，而是尝试重入再次调用bad_function，会发生什么？即使第一次调用credit成功，由于重入是在bad_function中，这将是一个递归调用且执行将会失败。

现在，如果我们尝试直接调用external_function，这将不起作用，因为所需的功能CREDIT没有被授予。

写在最后

通过移除无界递归，图灵不完备性可以防止一些重入攻击的载体。

然而，由于跨函数重入可以在没有递归调用的情况下进行，图灵不完备性并不能阻止所有此类攻击载体，因此用户在与这种语言交互时不应该假设重入不会造成恶劣影响。

重入和跨函数重入是非常常见的安全问题，Web3.0领域也因此发生了一系列规模巨大的攻击事件。

Pact作为一种智能合约编程语言，极具潜力。

它采取的方法与其他语言如Solidity或Haskell有些不同。Pact并不完全依靠图灵不完备性来提高安全性；该语言被设计地更容易阅读、理解和正式验证。

然而，没有哪种编程语言能对所有的攻击载体免疫。因此开发者必须了解他们所使用的语言的独特功能，并且在部署前对所有项目进行彻底审计。

目前，CertiK的审计及端到端解决方案已覆盖目前市面上大部分生态系统，并支持几乎所有主流编程语言，就区块链平台、数字资产交易平台、智能合约的安全性等领域为各个生态链提供安全技术支持。

标签：DITPACTACTPACSMARTCREDIT币Victory Impact CoinDACT币Apache Token

瑞波币热门资讯