PACE: Policy-Bound Multi-Party Authorization with State-Consistent Execution for Smart Contracts
本文介绍了 PACE，这是一个用于智能合约的框架，它通过一种两轮格基签名方案将集体决策与活动策略和执行上下文绑定，从而确保状态一致的多方授权，进而保证策略、决策、请求与执行之间的一致性，同时保持稳定的验证成本。
原始论文采用 CC BY 4.0 许可（https://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在智能合约的数字世界中，代码即法律，当满足特定条件时会自动执行协议。这些程序通常管理着有价值的资产或敏感的权限，因此需要关于“谁可以做什么”的严格规则。传统上，单个人或一个简单的密码可能授予访问权限，但对于涉及多个组织的重大决策，单一的审批点往往风险过高。相反，一组受信任的参与方必须共同达成一致，行动才能发生。这就是所谓的“多方授权”。然而，在小组达成请求共识与智能合约实际执行该请求之间，存在着一个显著的差距。在这两个时刻之间，规则可能会改变，请求可能会被篡改，或者权限可能会被重复使用。如果系统不能将协议与特定的行动及当前的规则紧密锁定，那么来自一组人的有效签名就可能被误用于授权他们从未意图授权的事项，或者在规则已经发生变化后执行交易。
研究人员开发了一个名为 PACE 的新框架，旨在解决数字授权中这种连接松散的问题。由 Yaowei Sun 及其同事领导的团队创建了一个系统，确保一组权威机构授予的权限与特定的请求、当前的规则集以及执行的确切时刻保持完美绑定。想象一下一组银行经理正在签署一张支票；通过 PACE，这个签名不仅是一个批准的标记，更是一个数字印章，它将签名锁定在确切的金额、特定的银行网点以及当前的日期上，从而防止任何人更改细节或在另一天使用该签名。研究人员构建了一个原型来测试这一想法，模拟了一个场景：在智能合约执行受保护的操作之前，必须由多个权威机构达成一致。他们的工作表明，通过将审批与特定的策略版本和唯一的会话（session）绑定，即使在规则发生变化或恶意攻击者试图重用旧权限的情况下，也能防止未经授权的行为。
PACE 系统的核心是一个三步流程，它将人、规则和行动连接成一条不可破坏的链条。首先，系统建立一个“政策绑定配置”（policy-bound configuration）。这意味着在任何小组给出许可之前，系统会记录哪些规则处于激活状态，以及哪些特定的人员被授权进行签名。如果规则随后发生变化，系统会进入一个新的“纪元”（epoch）或版本，旧版本中的签名将失效。这防止了小组利用旧协议来绕过新限制。其次，权威机构进行“上下文绑定联合授权”（context-bound joint authorization）。当请求到来时，每位获得授权的人都会审查请求的具体细节——包括要调用的特定合约、要发送的数据以及时间限制。然后，他们共同生成一段单一的加密证据。这段证据不仅仅是个人签名的集合，它是一个统一的证明，证明整个小组都同意了在特定时间执行这一组特定的细节。该系统使用基于格结构（lattice structures）的高级数学技术，这些技术旨在即使面对未来的量子计算机也保持安全，从而创建这种联合证明。
最后，系统执行“状态一致性执行”（state-consistent execution）。当请求到达智能合约时，合约不仅仅检查签名是否看起来有效。它会进行一系列严格的检查，以确保一切都吻合。它验证执行时刻激活的规则是否与小组达成一致时的规则相同；它检查正在执行的请求是否与小组审查的请求完全一致；它确认权限尚未过期且未被使用过。至关重要的是，系统将权限的消耗与行动的执行绑定在一个原子步骤（atomic step）中。这意味着，如果行动因任何原因失败，权限就不会被消耗；如果权限被使用了，则行动必须成功。不存在权限被消耗而没有相应结果，或者结果发生而权限未被妥善消耗的间隙。
为了测试该系统的效能，研究人员使用标准的计算机处理器和一组专门设计的数学参数构建了一个模拟环境，该参数旨在处理多达 32 个不同的权威机构。他们运行了数千次测试，以观察系统在不同条件下的表现，例如改变小组人数或处理数据的规模。结果显示，系统成功强制执行了所有预定规则。当研究人员试图通过提交旧权限、修改请求细节或尝试重复使用权限来欺骗系统时，系统正确地拒绝了这些尝试。测试证实，针对策略一致性、请求绑定和授权状态的检查均按设计正常工作。在目标行动失败的情景下，系统正确地回滚了整个过程，确保没有留下任何部分状态变更。
研究人员还测量了运行该系统的成本，包括时间和数据方面的成本。整个过程中最耗时的部分是协作签名和证据聚合，这占据了大部分计算时间。随着权威机构数量的增加，生成联合证据所需的时间也随之增长，但合约端验证最终结果所需的时间保持相对稳定。例如，在有 32 个权威机构的情况下，生成联合证据的过程耗时约 8 秒，而合约端的验证耗时不到 1 秒。在权威机构之间交换的数据量也随参与者人数的增加而增长，对于 32 人的小组，数据量超过 100 MB，但提交给合约的最终证据体积保持较小且固定。这表明，虽然系统需要小组之间进行大量的协调，但对最终执行步骤的负担是可控的。
研究人员还探讨了系统如何处理数学上的“拒绝采样”（rejection sampling）过程，这是一种通过偶尔丢弃不符合严格统计标准的操作来确保签名安全性的方法。他们发现，通过允许进行几次重试，系统能够以极高的概率成功完成授权过程。即使在拥有大型小组的情况下，只要给予合理的尝试次数，系统几乎都能成功完成任务。这表明该系统足够稳健，能够处理偶尔出现的数学波动而不至于无法交付有效的授权。研究结论指出，PACE 为智能合约提供了可靠的多方控制基础，有效地弥合了审批与执行之间的鸿沟。尽管当前版本假设了一个可信设置（trusted setup）和特定类型的组合协议，但结果表明，将政策、请求和状态结合在一起的核心思想是实现更安全数字治理的一条可行路径。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。