AURA: Blockchain-Enabled Privacy-Preserving Edge Computing via Zero-Knowledge Proof Aggregation
AURA 是一个边缘辅助的 ZK-Rollup 框架，它通过将繁重的密码学计算卸载到边缘节点，并利用一种新颖的二叉树聚合协议，将 64 个设备级证明压缩为单个低成本且高能效的链上验证，从而实现保护隐私的物联网交易。
原始论文采用 CC BY 4.0 许可（https://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在数字时代，区块链充当着公共账本的角色，即一个任何人都可以检查但任何单个人都无法篡改的共享交易记录。这种透明度是其安全性的最大优势，却也是其隐私性的最大弱点。当家庭中的智能电表或工厂机器上的传感器向区块链发送数据时，传统系统会揭示究竟是谁发送了什么、发送了多少以及发给了谁。对于数十亿个物联网设备而言，由于它们通常依靠小型电池运行且计算能力有限，这种暴露成为了一个关键问题。这意味着公用事业公司可以精确观察到一个家庭何时在家，或者竞争对手可以通过观察公共账本来推断出工厂的生产计划。为了解决这个问题，研究人员开发了一种名为“零知识证明”的方法，这是一种密码学技术，允许设备在不泄露交易任何细节的情况下证明交易的有效性。然而，创建这些证明在历史上需要台式电脑进行繁重的计算工作，使得微小的、由电池供电的传感器无法直接使用它们。
华东师范大学的一个研究团队通过一种他们称为 AURA 的新系统解决了这一瓶颈。他们的工作架起了高强度数学运算所需的隐私保护与日常传感器微小硬件之间的桥梁。AURA 并没有要求小型设备去做不可能完成的任务，而是将工作进行了拆分。微小设备执行一个快速、简单的加密步骤，耗时不到一毫秒。随后，它将这个小的加密数据片段发送到附近的、功能更强大的边缘服务器——例如智能网关或路侧单元。该服务器拥有处理复杂数学运算的计算能力，它可以同时处理来自许多设备的数据并将其打包。接着，它生成一个单一的、紧凑的证明，以验证所有这些交易都是有效的，而无需透露发送者是谁或传输了多少金额。随后，这个证明被发送到主区块链。其结果是一个既能保护隐私，又不会让主网络因海量数据而拥堵，同时还能让微小设备保持在严格能量限制内的系统。
研究人员通过构建一个完整的运行系统并在真实区块链网络的测试版本上运行，对这种方法进行了测试。他们发现，微小设备仅需执行一个大约耗时 330 微秒的简单加密任务，这仅仅是不到一秒的极短时间，几乎不消耗电池电量。生成隐私证明的繁重工作由边缘服务器承担，该服务器可以在约 481 毫秒内处理一批包含 64 笔交易的数据。当这一个批次的证明提交到区块链时，网络验证其成本比以往的方法显著降低。具体而言，在批次中验证单笔交易的计算量降至约 30,712 个单位，相比于旧版隐私系统所需的数百万个单位，这是一个巨大的降幅。这种效率意味着，运行在标准电池上的设备理论上可以在其寿命周期内进行数百万次此类交易，且密码学的能耗相对于仅用于无线传输数据的能量而言几乎可以忽略不计。
该系统通过一种巧妙的设计实现了这种效率，即将来自多个设备的数据视为一个整体。边缘服务器不再逐一验证每笔交易，而是将它们分组成一个批次，并利用二叉树结构来压缩证明。这使得区块链能够通过一次快速的数学检查，即可验证数十笔交易的有效性。研究人员还设计了一套特定的规则（或称电路），使其能够适配标准边缘服务器的内存限制，从而确保该系统可以在价格合理的硬件上运行，而非依赖昂贵的超级计算机。他们证明了这种方法适用于三种截然不同的现实场景：邻里间进行能源交易的智能微电网、机器订购零件的工业供应链，以及支付通行费的联网车辆。在每种情况下，系统都成功隐藏了涉及的金额和身份，同时保持了交易的快速与廉价。
其中一项最重要的发现是，该系统并不要求微小设备信任边缘服务器其隐私。虽然服务器在生成证明的过程中会看到原始数据，但最终在区块链上的结果仅包含加密信息和数学保证。即使服务器表现出不诚实的行为，它也无法伪造有效的证明，或向公众泄露交易的隐藏细节。研究人员验证了该系统能够防止将发送者与接收者关联起来，或确定交易金额的尝试，即使观察者监控了整个数据流也是如此。他们还展示了该系统可以处理物联网流量的突发性特征（即许多设备可能同时发送数据），方法是等待一个小规模的批次形成后再进行处理。这种灵活性使系统能够适应不同的需求，例如能源交易所需的瞬时定时，或供应链更新所能接受的较长间隔。
这项研究还探讨了该设计中所涉及的权衡。通过增加批次的大小，单笔交易的成本会进一步下降，但设备等待交易确认的时间也会略微增加。研究人员绘制了这种关系图，表明 64 笔交易的批次大小是一个实际的“甜点区”（sweet spot），在低成本与快速确认时间之间取得了平衡。他们确认，只要网络中的大多数节点保持诚实，即使部分设备受到攻击，系统依然保持安全。这项工作代表了从理论隐私向实际部署的转变，证明了即使是在最小、受限程度最高的设备上，也可以实现高水平的隐私保护，且不会牺牲区块链的安全性。通过将繁重的计算转移到边缘，并保持设备的职责简单化，AURA 使得未来的数十亿传感器和仪表能够私密、安全且可持续地与区块链进行交互。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。