DoraHacks 和 Cryptosat 完成了 ZK 证明系统的太空试验

直到最近，在太空启动零知识证明系统似乎还是一个不可能实现的目标。然而，DoraHacks 和 Cryptosat 已经证明这是可以做到的。上周，两个团队都在国际空间站上展示了这种方法的可行性。 

太空零知识证明系统

在零知识证明环境中建立信任至关重要。它允许发送者证明某些内容对接收者有效，而无需共享任何额外信息。为了使这样的设置发挥作用，ZK 设置系统在软件和硬件方面都必须不受篡改。 

国际空间站（ISS）是一个理想的地点。里面有七名宇航员，没有其他人可以使用硬件。此外，国际空间站还与地面站保持射频连接。为了进行实验，团队预先上传了开源程序以生成带有通用引用字符串（CRS）的文件。 DoraHacks 的零知识证明投票解决方案使用 CRS，保护用户隐私并防止治理和投票中的共谋。 

DoraHacks 首席执行官兼创始人 Eric 张 补充道：

“最终，我们希望使用太空中的隔离计算环境来为零知识证明应用程序进行完整的可信设置，包括为多个证明系统（例如 PLONK）生成 CRS 的“太空仪式”。如果我们能够实现这一目标，我们就可以为所有零知识证明驱动的应用程序提供公共利益，以及启动一般加密协议的新范式。“

DoraHacks 因其在太空可信计算环境中的声誉而与 Cryptosat 合作。 Cryposat 部署了立方体卫星，旨在建立其低轨道卫星群以实现零知识证明。尽管目前的设置有局限性，但一旦卫星群变得更大，这些问题就会慢慢得到解决。因此，DoraHacks 和 Cryptosat 可以在未来的太空任务中进行合作，以扩大这种方法的范围。 

免责声明：本文仅供参考。 不提供或不打算将其用作法律，税务，投资，财务或其他建议。

零知识系统的巨大潜力

在国际空间站上进行这样的实验是一个重要的行业里程碑。零知识证明系统可用于各种目的，包括 DAO 中的抗共谋治理、私人投票和随机信标。 

Cryptosat 联合创始人 Yonatan Winetraub 补充道：

“我们很高兴能够解锁在太空中运行零知识方案的可信设置的可能性。在完全隔离的环境中执行可信设置的能力是使高效 SNARK 方案得到更广泛使用、更安全且更易于迭代的关键。通过让 Cryptosat 参与仪式，我们保证至少有一方能够使仪式更加安全。”

此外，国际空间站上的成功实验为基于卫星的解决方案铺平了道路，为项目启动 ZK 证明系统提供更快的周转时间。