Cointime

扫码下载App
iOS & Android

如何避免一个智能合约“在今天合法,明天非法”的 SCAC 陷阱发生?

个人专家

区块链稳定性的新威胁

简介

区块链和智能合约有潜力重新塑造世界商业的许多方式。为了实现这一潜力,区块链首先必须是可靠的。然而,目前实施的智能合约存在一个以前未被认识到的缺陷,可能导致其所在的区块链崩溃或分裂。

就像之前的互联网一样,区块链技术承诺一种无需中心控制的新型互动方式。公共区块链本质上是为了在政府和私人控制之外运作。

但这是一个谬论。虽然区块链可能在国家的直接控制范围之外运作,但维护区块链的服务器(称为节点)和运行节点的人并非如此。这些节点和人员都有实际位置,并因此受到所属国家法律的约束。

我们已经看到了一些这方面的后果。例如,许多区块链初创企业因为提供了根据美国法律来说是未注册的证券而遭遇美国证券交易委员会的指责[1]。加密货币本身几乎从它们诞生之初就通过税法间接地受到国家政府的监管[2]。而在最近涉及Three Arrows Capital、FTX、Coinbase和Binance的丑闻之后,国家的直接监管只是时间问题。

智能合约代表了更加隐蔽的威胁。虽然加密货币领域将来会受到监管,即未来的交易将受到新的规定的约束,但智能合约会带来“追溯性”监管的风险。换句话说,加密货币可以选择根据规定改变未来的行为。然而,区块链可能发现智能合约已经使其无法逆转地承诺了未来的行动,即使这些行动随后成为受监管甚至被禁止的行为。

智能合约权威冲突

一个正确实施的智能合约的标志之一是它不能被单方面修改。事实上,除非特意设计,即使获得各方同意,它也不能被修改。但是,一个智能合约在今天是完全合法的行为,可能在明天就变得非法。当一个智能合约执行的行为在托管区块链节点服务器所在地的法律下是非法的时候,就会出现智能合约权威冲突(SCAC)。

这种情况最容易通过一个假设来说明。瑞士儿童基金会发行了一系列流行的NFT,其中包括一个智能合约,每当其中一个NFT被转售时,将10%的版税转给瑞士儿童基金会。两年后,美国政府将瑞士儿童基金会列为恐怖组织[3],并向位于美国的区块链节点及其服务提供商发送通知,告知他们该组织的指定状态,并威胁称如果他们继续参与任何有利于瑞士儿童基金会的交易,将追究刑事责任。

随后,其中一个NFT转手,智能合约执行,将10%的收益转给了瑞士儿童基金会。所有区块链节点都验证了该交易,包括位于美国的节点。结果,美国节点的运营商因为提供支持[4]给一个指定的恐怖组织[5]而被刑事起诉。

SCAC陷阱

区块链参与者如何避免这种法律责任呢?首先,节点将开始构建一个合规功能[6],以在验证过程中识别非法交易。除非你能够识别出非法交易,否则就无法避免执行它。

显然,一个矿工(即组装新的交易区块的节点)在没有面临潜在的法律后果的情况下无法执行非法的智能合约交易。然而,一旦配备了合规功能,矿工就有一个相对简单和非干扰性的方法来避免责任。由于矿工可以挑选要包含在新区块中的待处理交易,他们可以简单地选择不处理已经确定违反矿工所受国家法律的任何交易。这对区块链没有直接影响,因为该交易仍然留在池中,可以由另一个矿工来处理。

然而,当矿工最终处理这笔交易时,它将成为潜在的致命不稳定源。在我们上面的例子中,假设一个位于瑞士的节点(瑞士儿童基金会在瑞士并非恐怖组织)最终将该交易包含在一个区块中。但是,位于美国的任何节点(具体来说是任何节点运营商)可能会因协助验证该区块并完成交易而面临刑事起诉[7]。根据位于美国的节点数量以及区块链使用的具体共识协议,这将导致区块链从完全没有影响到有效崩溃。在某些情况下,由于区块链的激励机制,这些交易可能变得无法执行,即使矿工根据自己国家的法律并没有禁止执行该交易。

以以太坊为例,要实现“最终性”,2/3的质押以太必须就一组区块达成一致。如果超过1/3的验证器要么离线,要么拒绝验证特定区块,则该区块无法最终确定。以太坊通过最终对离线或拒绝验证的节点施加处罚[8],降低这些节点的以太坊质押数量,直到“不合作”节点持有的以太坊质押数量低于总质押以太的1/3,然后允许其余节点验证该区块并完成链条[9]。

在我们的例子中,如果超过2/3的“投票”权力,即质押以太,由位于美国以外的验证节点持有,那么瑞士儿童基金会的交易可以在没有美国验证器的帮助下得到验证。然而,如果超过1/3的质押以太由位于美国的验证节点持有,该交易将无法在没有对位于美国的节点进行经济处罚的情况下得到验证。

这可能会使区块链参与者面临更严重的合法合规问题。换句话说,在我们的例子中,以太坊区块链试图迫使位于美国的参与者参与非法交易。除了对参与区块链的动力造成不利影响外,这可能会带来更大的法律问题。以经济威胁对方,迫使其从事非法活动,违反了多个州和联邦法律[10]。

避免陷入SCAC陷阱

由于SCAC可能在引发它们的智能合约创建之后很长时间才出现,即使是最稳定的区块链也会受到威胁。更糟糕的是,一旦出现SCAC,解决问题可能已经太晚。幸运的是,区块链可以实施防止SCAC的软分叉协议更改。

其中一种解决方案是为节点提供标记有问题交易并在被要求验证包含此类交易的区块时投票“出席”的选项。投票“出席”不会产生任何惩罚,区块链会将该节点视为在该验证周期内退出了区块链。结果是,需要达成共识的节点总数将减少。一旦验证周期完成,投票“出席”的节点将“重新加入”区块链,并且就像离线节点上线时一样,接受当前区块链的状态。

为了保持可靠性并避免出现验证非法交易比合法交易更容易的情况,区块链还可以创建一条规则,规定当51%的节点标记特定交易时,该交易被视为被拒绝,并从交易池中移除。

如果不解决SCAC问题,它将对任何出现的区块链的稳定性构成威胁。区块链开发者需要认识到,随着智能合约的广泛应用,即使整个区块链可以生成足够的共识来处理有问题的交易,也会对个体区块链节点产生合规性问题。区块链展现出巨大的潜力。但如果要实现这个潜力,区块链不能强迫参与者在保持其在区块链中的良好地位和遵守当地法律之间做出选择。

关于作者

Chris Truax是一位总部位于加利福尼亚的律师,拥有国际业务实践,为科技初创企业提供咨询和代表服务。Chris拥有丰富的学历,毕业于加利福尼亚大学、圣母大学和剑桥大学。

参考文献:

[1] See e.g. SEC v. Kik Interactive Inc., 492 F. Supp. 3d 169 (S.D.N.Y. 2020) https://casetext.com/case/us-sec-exch-commn-v-kik-interactive-inc

[2] See e.g. Rev. Rul. 2019-24, 2019-44 I.R.B. 1004, I.R.S. Notice 2014-21, 2014-16 I.R.B. 938. https://www.irs.gov/pub/irs-drop/n-23-34.pdf

[3] 8 U.S.C. §1189. https://www.law.cornell.edu/uscode/text/8/1189

[4] “[M]aterial support . . . means any property, tangible or intangible, or service, including . . . financial services” 18 U.S.C. § 2339A(b)(1). https://www.law.cornell.edu/uscode/text/18/2339A

[5] 18 U.S.C. § 2339B. https://www.law.cornell.edu/uscode/text/18/2339B

[6] Such a compliance function might take a variety of forms depending on local regulatory requirements. It might, for example, screen proposed transactions against a list of sanctioned wallet addresses that have been designated by the government with legal jurisdiction over the node.

[7] 18 U.S.C. § 2339B. https://www.law.cornell.edu/uscode/text/18/2339B

[8] Known as the “Inactivity Leak” protocol.

[9] Wakerow, P., Rustagi, S. and Cook, J. (2022) Proof-of-stake rewards and penalties, ethereum.org. Available at https://ethereum.org/en/developers/docs/consensus-mechanisms/pos/rewards-and-penalties (Accessed: March 15, 2023).

[10] See, e.g. 18 U.S.C. § 875(d), 18 U.S.C. § 371. https://www.law.cornell.edu/uscode/text/18/875 https://www.law.cornell.edu/uscode/text/18/371

评论

所有评论

推荐阅读

  • 中东冲突与加息预期共振:全球资产大震荡,美股四连跌、债市「血洗」、黄金创43年最大周跌幅

    3 月 21 日,中东局势持续升级叠加 Federal Reserve 加息预期骤然升温,全球市场遭遇系统性冲击。美股连续第四周下跌创一年最长跌势,纳指单日跌超 2%,科技股全线承压;全球债市收益率大幅飙升,美债、英债、德债均创多年新高,资金大规模去杠杆。大宗商品剧烈分化,黄金跌破 4500 美元关口,单周暴跌超 10%,创 1983 年以来最大跌幅,避险属性遭质疑;原油则因中东供应风险暴涨,布油重返 110 美元上方,迪拜原油期货单日飙升超 16%。与此同时,比特币在 7 万美元附近获得支撑,连续三周跑赢黄金。市场分析认为,地缘冲突推升能源价格并加剧通胀预期,迫使货币政策路径重定价,全球金融条件快速收紧,风险资产仍处于下行与再定价过程中。

  • 美团开源560B参数定理证明模型:72次推理通过率97.1%,刷新开源模型SOTA

    据 1M AI News 监测,美团 LongCat 团队开源 LongCat-Flash-Prover,一个 5600 亿参数的 MoE 模型,专攻形式化定理证明语言 Lean4 的数学推理任务。模型权重以 MIT 协议发布,已上线 GitHub、Hugging Face 和 ModelScope。模型将形式化推理拆解为三项独立能力:自动形式化(将自然语言数学问题转化为 Lean4 形式语句)、草图生成(产出引理风格的证明框架)和完整证明生成。三项能力均通过 Agent 工具集成推理(TIR)与 Lean4 编译器实时交互验证。训练方面,团队提出 Hybrid-Experts Iteration Framework 生成冷启动数据,并在强化学习阶段引入 HisPO 算法稳定 MoE 模型的长程任务训练,同时加入定理一致性和合法性检测机制防止 reward hacking。基准测试显示,LongCat-Flash-Prover 在开源权重模型中刷新了自动形式化和定理证明两项 SOTA。MiniF2F-Test 上仅用 72 次推理即达 97.1% 通过率,ProverBench 和 PutnamBench 分别达到 70.8% 和 41.5%,每题推理次数不超过 220 次。

  • Erik Voorhees再次增持1.44万枚ETH,总持仓量突破11.7万枚

    3 月 21 日,据 AI 姨监测,ShapeShift 创始人、比特币早期支持者 Erik Voorhees 关联地址,过去 11 小时买入 14,424.53 ETH,总持仓突破 11.7 万枚,持仓均价 2,160.24 美元,当前浮亏 114.5 万美元。

  • 消息人士:特朗普政府正制定方案以夺取伊朗核材料储备

    Cointime 报道,3月21日消息,据美国哥伦比亚广播公司(CBS)报道,多位知情人士透露,特朗普政府一直在谋划获取或转移伊朗核材料的方法和选项。此时,由美国和以色列领导的针对伊朗的军事行动正进入一个更加不确定的阶段。 关于特朗普是否会下令实施此类行动,目前时机尚不明确。一位消息人士表示,他尚未做出任何决定。但两位消息人士表示,相关规划的核心是可能部署来自联合特种作战司令部的部队,该部队是精英军事单位,常负责最敏感的防扩散任务。(金十)

  • GameFi板块市值暂报45.15亿美元,FLOKI排名第一

    3 月 21 日,据 Coingecko 数据,GameFi 板块市值暂报 45.15 亿美元,FLOKI 以 2.86 亿美元市值排名第一,排在第二第三位的分别为:The Sandbox(2.18 亿美元)、Undeads Games(2.11 亿美元)。此前 Solana 基金会主席 Lily Liu 表示,区块链游戏「不会再回归」。她认为,尽管行业曾寄望通过链上资产与开放世界推动 Web3 与元宇宙发展,但实际表现远未达预期。市场观点称链游长期依赖「Play-to-Earn」等代币激励模式,却缺乏真正吸引核心玩家的游戏性与内容构建能力,导致用户留存与生态可持续性不足。包括 Andreessen Horowitz(a16z)、Framework Ventures、Animoca Brands 在内的机构曾向该领域投入数十亿美元,但回报表现不佳。

  • Karpathy:大多数App不该存在,3个提示词让AI接管整个智能家居

    据 1M AI News 监测,Andrej Karpathy 在 No Priors 播客中称,应用商店里的大多数智能家居 App「根本不该存在,一切都该是 API 端点,Agent 才是智能粘合层」。他分享了今年 1 月构建的家庭 Agent「Dobby the elf claw」:只用三个提示词,Agent 自行扫描局域网发现了 Sonos 音响,逆向工程其协议后接管播放控制。如今 Dobby 通过 WhatsApp 对话统一控制灯光、空调、窗帘、泳池、安防系统,取代了此前六个独立 App。他还接入了视觉模型监控安防摄像头,有人到访时自动推送图片消息到 WhatsApp。「这在一两年内应该是免费的,不涉及任何 vibe coding,这是基本功,」Karpathy 说,「客户不再是人类了,而是代替人类行事的 Agent。这场重构的规模将相当可观。」

  • OpenAI创始成员:12月以来没写过一行代码,Agent用不好?「那是你菜」

    据 1M AI News 监测,「vibe coding」概念提出者、OpenAI 创始成员 Andrej Karpathy 在 No Priors 播客中透露,去年 12 月是他工作方式的分水岭。此前他自己写代码与委托 Agent 的比例约为 80:20,12 月之后反转为 20:80,「到现在可能已经不止了」,「我大概从 12 月起就没打过一行代码」。他将这种状态称为「AI 精神病」(AI psychosis):Agent 的能力边界尚未被充分探索,「一切皆有可能,而一切失败归根结底都是技能问题(skill issue)」。他开始像 PhD 时期看 GPU 利用率一样关注 Token 吞吐量,「订阅额度没用完就意味着你没有最大化产出」。他还描述了 Agent 的「锯齿感」:「我同时感觉在和一个极其聪明的、做了一辈子系统编程的博士生对话,又在和一个十岁小孩对话。」

  • 日媒:伊朗准备允许日本船只通过霍尔木兹海峡

    3 月 21 日,据日本共同社报道,伊朗外长阿巴斯·阿拉格奇表示,经两国官员协商,伊朗已准备好允许与日本相关的船舶通过霍尔木兹海峡。日本石油进口严重依赖中东地区。伊朗战争促使日本本月动用石油储备。日本一直面临特朗普要求其协助保卫该海峡的压力。本周早些时候,日本首相高市早苗在华盛顿与特朗普当面会晤时,向其说明了日本参与此类行动在法律上的限制。同时,她也强调了双方共识领域,包括承诺增加从美国进口石油以及就导弹研发开展合作。(金十)

  • Solana基金会主席:链游已「死亡」,行业数十亿美元投入或成最差赌注之一

    3 月 21 日,Solana 基金会主席 Lily Liu 表示,区块链游戏「不会再回归」。她认为,尽管行业曾寄望通过链上资产与开放世界推动 Web3 与元宇宙发展,但实际表现远未达预期。Solana 曾被视为最有潜力支撑大规模链游的公链之一,凭借高性能和低成本支持实时交互。然而,包括 Star Atlas、Stepn 等项目虽一度获得关注,但整体 GameFi 赛道自 2021 年高峰后持续下滑。市场观点指出,链游长期依赖「Play-to-Earn」等代币激励模式,却缺乏真正吸引核心玩家的游戏性与内容构建能力,导致用户留存与生态可持续性不足。包括 Andreessen Horowitz(a16z)、Framework Ventures、Animoca Brands 在内的机构曾向该领域投入数十亿美元,但回报表现不佳。不过,部分公司仍在探索转型路径,例如 Mythical Games 与 Gunzilla Games,逐步弱化区块链要素,将其作为可选功能而非核心机制,以提升用户体验与市场接受度。

  • 现货黄金失守4500美元关口,现货白银日内跌近7%

    3 月 21 日,据 Bitget 行情数据,现货黄金失守 4500 美元/盎司关口,日内跌超 3%;现货白银日内跌近 7%,现报 67.845 美元/盎司。消息面上,受美元走强影响,以及有报导称美国已为在伊部署地面部队做好详细准备,加剧了市场对油价上涨、通胀以及随之而来的利率上升的担忧。独立贵金属交易员 Tai Wong 表示:「随着市场的担忧在周末前走高,金银价格正被拖累走低。在经历了本周因加息担忧引发的剧烈回调后,贵金属走势尤为震荡。价格应会很快进行盘整,但过程将充满波折。」全球主要券商认为,欧洲央行和英国央行加息的可能性正在增加,最早可能在 4 月。美联储周三维持利率不变,并预测通胀将走高,而主席鲍威尔表示,由于战争的影响,未来的政策路径面临异常高的不确定性。