什么是智能合约，它有什么用途？

智能合约是存储在区块链上的程序，在满足其条件时自动执行，无需任何公司运营，任何一方也无法在交易中途悄悄更改规则。智能合约确实擅长一小部分工作：交换代币、以抵押品为担保放贷、发行稳定币，以及在透明的共同规则下持有资金。凡是涉及现实世界之处，它们就表现不佳：它们若无外部协助就无法获知链下事件，其漏洞与其功能一样具有约束力，而守护着数十亿美元的代码会吸引全球资金最雄厚的攻击者。本文说明智能合约如何运作、大规模运行着什么、在哪些方面失灵，以及比特币为何有意只支持如此之少的此类功能。

以代码为协议

这一理念早于使其变得可行的区块链。计算机科学家 Nick Szabo 在1990年代提出了这一术语，并以自动售货机作为典型例子：您投入硬币，机器送出零食，整个过程不涉及店员、法院或合同律师。协议由机器本身强制执行。

智能合约是对这台自动售货机的推广。传统协议是纸面上的文字，一旦有人违约，由机构事后强制执行。智能合约是可执行的规则，由一个计算机网络在事中强制执行，这些计算机都运行相同的代码并相互核对结果。合约一经部署，就位于区块链上的某个地址，其代码公开，任何人都可以查看，它严格按照代码所写执行，无论这是否是其作者的本意。

这个名称在两个方向上同时夸大了其实际含义。智能合约并不智能，它没有判断力，只会做被编程要做的事。而且它通常不是法律意义上的合同，不过各地法院仍在探索代码与法律的交叠之处。最好将其理解为按规则转移资金的软件。

智能合约实际如何执行

在最大的智能合约平台以太坊上，其生命周期如下。开发者用 Solidity 等语言编写合约，并通过一笔交易将其部署。此后，合约拥有自己的地址，可以持有自己的余额，并提供任何人都可以调用的函数。当您与某个合约交互时，您发送一笔指明函数及输入参数的交易，并为计算支付 gas 手续费。每个验证节点都针对相同的状态执行相同的代码，并且必须得出相同的结果，这使得结果无需信任任何单一机器即可信赖。

这一设计带来两个特性。第一，执行是确定性的、不可阻止的：没有人批准您的交易，也没有客服可以撤销它。第二，合约可以调用其他合约，因此它们可以像零件一样拼接。借贷协议可以在一笔原子交易中接入价格数据源和代币交易所。这种可组合性是 DeFi 是什么中所述一切的引擎，而如今这类活动大多发生在第2层网络上，这些网络回到以太坊结算，以保持较低的手续费。

智能合约真正擅长的用途

无需中介的交易

去中心化交易所用一个公式取代了传统交易所的撮合引擎。规模最大的 Uniswap 将成对的代币存放在资金池合约中，并根据资金池自动为交易定价。这里没有账户，无需注册，也没有托管方；您从自己的钱包进行交易，流动性提供者赚取手续费。这一模式已处理了惊人的交易量：Uniswap 的累计交易量突破3万亿美元，是首个达到这一水平的去中心化交易所。其代价同样真实存在，包括大额交易的滑点，以及利用交易排序牟利的机器人。

以抵押品为担保的借贷

Aave 和 Compound 等协议以合约形式运营货币市场。存款人提供资产并赚取利息；借款人提交价值高于借款额的抵押品并支付利息。由于合约无法评估您的品行或薪资，贷款均为超额抵押，如果抵押品价值跌得过多，合约会自动将其清算。这是将信贷简化为代码唯一能够核实的东西：它已经持有的资产。

稳定币

全球使用最广泛的智能合约，可以说是 USDC 和 USDT 等稳定币背后的代币合约，它们记录与美元挂钩的代币的余额和转账。请注意其混合信任模式：代币按代码转移，但支持它的美元由发行方在链下持有，这正是监管机构介入的原因。美国的 GENIUS Act 于2025年7月签署，创建了首个针对支付型稳定币的联邦框架，要求以现金和短期美国国债按一比一持有储备。稳定币是智能合约在全球范围内承担枯燥而有用的金融基础设施工作的最清晰例证。

担保托管与共同托管

合约可以持有仅在约定条件下才释放的资金：需要多位密钥持有者批准才能付款的多重签名钱包、延迟提币的时间锁、在数年内向创始人逐步发放代币的归属计划，以及由代币持有者投票治理的财库。对于不希望共同资金受制于任何单一信任点的组织而言，这是最有力的实际用例。

无人应当忽略的局限

预言机问题

合约只知道其区块链上的内容。它无法看到以太币的美元价格、天气，或货物是否已送达。预言机是将外部数据传入链上的服务，它们重新引入了合约本应消除的那种信任：数据源一旦被破坏，所有依赖它的合约都会受到破坏。被操纵的价格数据源助长了许多 DeFi 漏洞利用事件，任何依赖现实世界事实的合约，其可靠程度都不会超过报告这些事实的一方。

漏洞即法律

不可变性既是特性，也是缺陷。由于已部署的代码无法被悄悄修补，用户可以相信它不会在自己眼皮底下改变，攻击者同样可以如此相信。漏洞利用并非闯入，而是对代码按其所写的有效执行。如果规则允许掏空金库，网络就会忠实地协助掏空它。

审计有帮助，但不存在保证

正规的协议会向安全公司付费进行审计，设立漏洞赏金计划，并对关键部分使用形式化验证。所有这些都能降低风险，但都无法消除风险，已通过审计的协议同样被掏空过。审计是专家注意力的抽样，而不是正确性的证明，合约单独运行时行为正确，在与其他合约组合时仍可能以无人建模过的方式失败。

可升级合约重新引入信任

由于不可变的漏洞令人恐惧，许多团队部署由管理员密钥或治理投票控制的可升级合约。这解决了一个问题，却又让另一个问题浮现：如果有人能更改代码，您就又回到了信任人的境地，而被盗的管理员密钥会成为万能的漏洞利用手段。每个正规协议都处于不可修复与可变之间的某个位置，了解其所处位置是了解自身风险的一部分。

值得铭记的警示案例

“The DAO”，2016年6月。首个重大的智能合约实验是一支完全由代码治理的风险投资基金，它募集了约1亿5,000万美元的以太币，数周内因一个重入漏洞被盗走360万枚 ETH。以太坊社区选择对该链进行硬分叉以撤销盗窃，拒绝接受的异议者则将原链保留下来，成为 Ethereum Classic。这一事件确立了至今仍在持续的辩论的基调：代码即法律，直到损失大到足以分叉为止。

Ronin，2022年3月。为游戏 Axie Infinity 提供服务的跨链桥损失了约6亿2,500万美元，原因不是合约漏洞，而是密钥遭到入侵：攻击者控制了九个验证者中的五个，这些验证者的签名可以转移资金。教训是：由过少密钥守护的完美合约，不过是一个多了几个步骤的小型多重签名。

Bybit，2025年2月。有记录以来最大的加密货币盗窃案，金额约15亿美元，波及交易所 Bybit：朝鲜的 Lazarus Group 入侵了多重签名钱包提供商 Safe 的一台开发者电脑，并向 Bybit 的签名人展示了伪造的界面。签名人批准了看似例行的转账；随后多重签名合约完全按照所签内容执行了这笔恶意交易。代码运行得毫无问题。漏洞利用的对象是人，以及他们面前的屏幕。

十年来的规律始终如一，仅在2025年，Chainalysis 就估计被盗资金约为34亿美元：攻击者会去往最薄弱的一层，无论是合约、密钥、预言机，还是手持签名设备的人。

比特币的极简主义与以太坊的表达力

比特币可以做其中一部分事情，而它拒绝做更多，是一种设计立场，而非能力不足。其内置语言 Bitcoin Script 被有意设计得十分有限：没有循环，没有任意程序，只够支持多重签名支付、时间锁，以及闪电网络背后的支付通道。其理由是：保障数千亿美元的货币应当呈现尽可能小的攻击面，复杂性应当存在于基础货币之上的各层，而不是其内部。Taproot 等升级扩大了 Script 的表达范围，但理念并未改变：比特币追求的是难以被攻破，而不是易于编程。

以太坊做了相反的押注：一个通用虚拟机，开发者可以在其上构建任何东西，同时接受“任何东西”包括本文所述的每一种故障模式。双方都谈不上绝对正确。真实用途一节中的一切之所以存在，是因为以太坊承担了这一风险，而每一个警示案例之所以存在，也是出于同样的原因。这两种设计回答的是不同的问题，因此诚实的比较是用途对用途，而不是好对坏。

这对您意味着什么

您无需编写一行 Solidity 代码，也会面临智能合约风险；持有稳定币或使用 DeFi 应用就足够了。实际规则由上述一切推导而来。优先选择历史悠久、使用量大且经过审计的协议，因为在这一环境中存活多年本身就是证据。授予代币授权之前，请先弄清楚其含义，因为允许合约花费您代币的签名，正是授权钓鱼诈骗所要收割的东西。在证明并非如此之前，请将异常高的收益视为未定价的风险。并请保持保护您的数字资产安全中的习惯，因为在代码严格执行您所签内容的系统中，最后一道防线就是签名的人。