DAOrayaki：太空轨道中的zk-SNARK可信启动-ODAILY

作者：

时间：1900/1/1 0:00:00

在ETHDenver的一周里，我们看到了两个与零知识证明相关的趋势。

开发者社区对zk应用的兴趣浓厚。Hacker们正在将注意力从zk作为Layer2基础设施转移到具体的zk应用上，如位置证明、所有权证明、教育游戏等。

DoraHacks团队在ETHDenver社区内首次成功地进行了抗共谋的二次方投票资助轮次。MACI轮次很有意思，根据SPORK社区的投票，有效地将匹配池资金分配给了30个决赛选手。所有的投票都是加密的，其结果由零知识证明来验证。

隐私和规模效应是零知识安全系统所具备的两个最重要的特征。在治理系统中，我们重视可信度。正常的二次方资助轮次经常被批评，因为存在各种形式的共谋，这损害了整个系统的可信度，最终使系统无法扩展。ETHDenver的MACI轮次，社区对结果几乎没有争议，整个过程显然更可信。

在更大的范围内，由zk驱动的基础设施和应用的质押量飙升。区块链和Layer2协议的锁仓价值TVL也在不断的积累，在这些基础设施之上的应用程序正在开发，从而形成了一个快速增长的生态系统。

很大比例的zk应用是基于zk-SNARK的，它需要预先进行可信启动。一个zk应用的规模越大，对可信设置的安全性要求就越高。在这篇文章中，让我们先总结可信设置初始化的安全假设，并探索我们如何使用太空轨道设备作为隔离的执行环境来安全地计算可信设置。太空可信启动解决方案，不仅能够成为目前基于MPC的可信启动过程的替代品，而且还能支持即将到来的太空原生数字经济。发射成本正在迅速降低，这不再是科幻小说。为此，DAOrayaki社区贡献者编译了DoraHacks发起人EricZhang撰写的“太空轨道中的zk-SNARK可信任启动”，其中涵盖了可信任设置初始化、太空轨道上的可信设置及太空轨道可信设置的几个客观指标。

21Shares推出适用于Lido DAO流动性质押平台的交易产品:金色财经报道，加密交易产品提供商21Shares推出适用于Lido DAO的流动性质押平台交易所交易产品21Shares LidoDAO ETP(LIDO)，这是一种无息、开放式证券。每个系列的产品都与一个指数或特定的基础资产LidoDAO相关联。这些产品面向包括法国、德国和葡萄牙在内的22个欧盟国家的公众提供，并在SIXSwiss Exchange、BX Exchange和Stuttgart Exchange等多家交易所进行交易。ETP目前的管理资产(AUM)为100,000美元，而21Shares的总资产管理规模超过11亿美元。21Shares将该产品归类为风险最高的第7类别，标注为“高风险”的几类：保本市场风险、监管风险、二级市场风险、异常事件发生风险、股票价值快速变动风险。[2023/6/12 21:32:10]

01可信任设置初始化

目前，zk研究领域正在快速发展。有大量的研究和工程工作正在进行，以建立不需要可信启动，具有透明参数生成的ZKP。另一方面，学术界和区块链太空正在进行密集的研究，以创建通用的SNARK方案。

PeopleDAO多签钱包被攻击，损失76枚ETH:3月12日消息，PeopleDAO推文显示，PeopleDAO 在数字资产管理平台 Safe（原 Gnosis Safe）上的社区金库多签钱包在3月6日发放月度贡献者奖励时，被黑客通过社会工程攻击盗取 76 枚 ETH（约 12 万美元）。该事件与 PEOPLE 代币合约无关。PeopleDAO 通过 Google Form 收集每月贡献者奖励信息，会计负责人在 Discord 公共频道中错误共享了一个具有编辑权限的链接，黑客通过该链接获得编辑权限后，在表格中插入一笔支付 76 枚 ETH 给自己地址的付款，并将其设置为不可见。由于该恶意隐藏，团队领导在复查时没有发现，在下载带有 insertef 数据的 csv 文件后提交到 Safe 的 CSV Airdrop 工具进行奖励发放。由于交易中有 80 笔转账，9 个多签账户中有 6 个没有注意到恶意转账，在签署并执行交易后，76 枚 ETH 转入黑客地址。

在慢雾与 ZachXBT 协助下，团队发现被攻击资金已存入 HitBTC 和币安两个交易所，并与两个交易所进行联系。此外，PeopleDAO 已向美国联邦调查局（FBI）和联邦贸易委员会（FTC）报告通过此次案件，并将继续与多方合作，追回损失。PeopleDAO 表示，若黑客在接下来 48 小时内归还被盗资金，将向其提供 10% 的白帽赏金。[2023/3/12 12:58:36]

**图注:关于目前零知识证明算法方案的一个有用说明，来自"了解PLONK"，阅读这篇文章也很有用.

BitDAO提议向加密艺术品收藏平台PleasrDAO投资650万美元:4月10日消息，BitDAO社区发布新提案，拟向加密艺术品收藏平台PleasrDAO投资650万美元，其中95%以ETH/USDT形式，5%以BIT形式。[2022/4/10 14:16:20]

SNARK的痛点是需要进行可信设置。这比较令人讨厌，因为整个方案的安全性依赖于可信启动。如果可信启动的设置不安全或者它被破坏，SNARK就会被破坏。然而，考虑到简洁性，zk-SNARK仍然占据重要地位，因为效率是构建zk基础设施和应用时的主导因素。因此，只要zk-SNARK继续成为zk应用的首要选择，可信启动就很重要。

为了可信启动的安全，我们需要保护用于生成共同参考字符串的随机元素，其中包含证明者密钥和验证者密钥。这些随机元素，通常被称为“有废物”。有废物如何帮助创建假的zk-SNARK证明，可以在这篇文章中找到。

可信设置初始化有一个演变，从2016年的第一个版本ZCash初始化到现在常用的PowerofTau初始化。PowersofTau初始化允许串行参与和验证，因此它可以扩展参与者的数量。DoraHacks的MACI仓库是基于MACI1.0的，它依赖于Groth16和一个MMORPG类型的可信设置初始化。该初始化分为两个阶段，第一步是永续PowersofTau初始化，然后使用SnarkJS将输出和电路转换为一个特定关系的CRS，例如:

跆拳道工作室KickHouse与JPEG DAO合作发布NFT:12月29日消息，跆拳道工作室KickHouse宣布推出NFT收藏品。JPEG DAO艺术家Nettie Bella负责设计KickHouse NFT，这些NFT由KickHouse与JPEG DAO合作在Litemint上铸造。（PRNewswire）[2021/12/29 8:12:26]

snarkjsgroth16setupcircuit.r1csfinal.ptaucircuit.zkey

可信设置的复杂性通常取决于问题的复杂性和应用所需的安全级别。例如，对于ETHDenver的MACIgrant，可信设置是以一种比较简单的方式进行的，只需要一个用于bn128的ptau文件和一个包括2*22次方的信标。将输出结果与电路一起，为每个有一个contribution的电路创建一个Groth16pkey文件。

这对于一个实验性的轮次来说足够了。然而，如果所涉及的价值很高，我们就需要一个更安全的初始化和来自利益相关者/社区的多个贡献来生成最终的输出。如果问题的规模增加，那么ptau文件的输出就会呈指数级增长。

PowerofTau初始化的假设是，众多参与者中至少有一个是诚实的，而且他/她的计算硬件是安全的。一般来说，应该在完成初始化后删除随机性。随着参与者数量的增加，最终输出被破坏的概率也变得可以忽略不计。

DerivaDEX已启动保险挖矿及DerivaDAO:金色财经报道，去中心化衍生品交易协议DerivaDEX（DDX）已启动保险挖矿及DerivaDAO。此前消息，该保险挖矿计划是一个用于DerivaDEX协议保险资金的独特系统，由去中心化自治组织（DAO）启动和管理。用户可以通过在保险挖矿基金质押来共同启动DDX保险基金，同时通过质押获得DDX代币，支持的抵押品包括USDT、cUSDT、aUSDT、USDC、cUSDC、aUSDC、HUSD和GUSD。[2020/12/5 14:04:04]

在实践中，PowersofTau初始化有以下限制。初始化通常在某一群体中进行，这有内在的人口统计学限制。另一个限制是，初始化一般比较耗时，需要一群人在相当长的一段时间内进行协调。有一些提案用于提高效率，但限制仍然存在。

02太空轨道上的可信启动

可信启动的目标是确保生成CRS的随机元素是安全的。安全地生成CRS有两个基本挑战：我们能否在生成CRS后安全地计算和存储或销毁随机元素？以及我们能否防止相关人员和设备有意的共谋？

具体来说，我们要防止以下攻击：

物理黑客。服务器和计算机可以被物理黑客攻击或入侵。这在现实世界中其实是经常发生的，也是在地面上很难解决的一个问题。

网络入侵。通信被意外的入侵者监控。

故意勾结或泄露秘密信息。产生CRS的一方由于贿赂、共谋或任何其他原因，故意引导信息。

为了应对这些挑战，我们可以确保计算的硬件和软件安全，设计机制或MPC算法来减少单点故障以及隔离计算环境。

由于向太空发射有效载荷的成本正在不断降低甚至会变得更低，太空隔离可以帮助创建一个可信的执行环境。因此，现在我们考虑一下太空轨道中的可信设置过程，将会发现它不需要MPC过程来保证安全。

太空可信设置的目标是创造一个完全隔离的执行环境，以计算CRS和储存有废物。

太空的执行环境自动避免了第一种攻击，因为很难在太空轨道上物理访问一个物体。先进的军事技术可能被开发出来，使捕捉和访问卫星的成本降低。然而，正如SpaceTEE论文中所概述的，我们可以采取多种措施来监测和防止太空的潜在攻击：

北美航空航天防御司令部有一个雷达系统，持续监测和预测太空物体的轨迹。

有各种方法来增加发射前的物理保护。一旦卫星被物理访问，一些内部状态将发生变化，并能够被监测。

我们肯定还可以设计其他机制来保护安全。一个想法是，我们可以在卫星上植入一个自毁系统。如果卫星被抓，自毁系统就会被触发，彻底摧毁卫星内的数据。

一个更简单的方法是在CRS生成和传输后立即摧毁卫星。这是基于这样的假设，即卫星除了创建可信设置外不提供任何其他功能。更通用的方法是持续监测卫星的惯性力矩。一旦发现一个意外的变化，卫星就会自动销毁自己。有几种方法可以搭建自毁的组件，其中一些需少量成本。

如果CRS是在太空中产生的，并且卫星保持完好无损，那么卫星可以与地面站或其他卫星进行通信。自毁并不都是可用选项。在某些情况下，自毁可能会危及其他有效载荷，或者我们希望卫星能够提供其他功能，使卫星得到最大的利用。这种情况下，我们需要确保通信安全，并确保随机元素不会从卫星电子设备中传输出去，以及防止恶意软件从卫星硬件中窃取信息和泄漏有废物。

为了防止恶意软件获取信息，我们可以将整个可信设置程序加载到硬件可信执行环境中。可信设置计算可以在可信模块内执行，而有废物会无限期地留在可信模块内。我们有预先定义函数表，可以调用这些函数来访问可信模块，只要这些函数不访问和泄露来自TrustZone的有废物数据，有废物数据就保持安全。然后，从可信设置程序中产生的CRS可以通过veneertable上可以访问的一些函数进行传输。