Cointelegraph专访|BenFisch讲述DeFi遇上零知识证明

在2月19日的斯坦福区块链会议上接受Cointelegraph采访时，Findora CTO、斯坦福大学密码学博士Ben Fisch将Supersonic描述为无可信设置的零知识证明系统（zk-SNARK）。

Ben Fisch帮助创建了一个专为去中心化金融设计的无可信设置的零知识证明系统。

无可信设置与有可信设置的零知识证明

零知识证明系统的对于保护区块链网络之间的隐私非常重要，但目前几乎所有系统都需要有可信设置。Fisch说：“这意味着隐私工具的用户必须信任第三方才能正确设置系统。”

例如，隐私数字货币Zcash（ZEC）利用zk-SNARK允许用户交换信息而无需透露其身份。这意味着Zcash的区块链仅显示发生了什么交易，而不显示用户名称和交易金额。

尽管这可以确保Zcash区块链网络的隐私性和透明性，但Fisch指出，Zcash依赖于称为Groth-16的有可信设置zk-SNARK。他解释说，诸如此类的可信设置可能会损害公众对系统的信任：

“零知识证明系统涉及一些随机生成的数字。有可信的设置意味着系统内会有一个第三方生成这些数字并将其保密，所以用户必须信任这个第三方正确地做到这些步骤，包括丢弃秘密数字并销毁任何痕迹，以便不会被人发现。如果这些秘密泄露了，那么零知识证明系统的安全性就会受到损害。”

Fisch指出，有可信设置内的秘密数字生成可以分布化。这意味着只要一方丢弃了自己的数字，该系统就可以被认为是安全的。但是，虽然这个多方生成秘密数字的仪式可行，并且业内的一些公司已经做过，每一次有新应用都重做这个操作是不缺实际的。Ben提到之前的公司也是被逼无奈，“因为在去年之前还没有实用的无可信设置的zk-SNARK。”

与Fisch共同撰写密码学和加密货币论文的Findora首席科学家，Benedikt Bünz，告诉Cointelegraph，Supersonic与有可信设置系统完全不同，因为它不需要第三方的信任。Bünz解释说：

“在有可信设置中，执行此操作的人可以证明无效交易是有效的。在加密货币中，这可以用来凭空印钞。在Supersonic之前的无可信设置的零知识证明系统要么是文件大小太大，要么不具有可扩展性。”

无可信设置的零知识证明系统用于去中心化金融

根据Fisch的说法，像Supersonic这样的无可信设置的zk-SNARK是最近一年来密码学领域的一项重大突破，特别是在去中心化金融应用程序日益受到青睐的情况下。Fisch解释说，尽管区块链有望使金融系统减少不透明性、减少欺诈活动，完全透明的数据也会牺牲隐私。

Supersonic背后的公司Findora主要致力于区块链和金融行业的结合，在保持隐私的同时帮助企业 (如银行) 促进去中心化和提高信息透明度。Fisch指出：

“许多企业可以从不完全去中心化的区块链中获利。但是，一个可信任的分散金融网络可以使用相同的基础架构将服务和个人连接起来，从而产生效应。”

例如，Fisch指出，在中国和美国的点对点借贷系统可以在Findora的区块链上运行。他解释说，商务可以通过一个共识协议在两个系统之间运行，该协议可以方便人们使用两个网络，而Supersonic可以确保信任。

但必须指出的是，无可信设置系统不如有可信设置系统高效。Fisch评论说，在证明大小和计算时间方面，Supersonic的性能与有可信设置系统相差10倍。

这是因为Supersonic的关键组件之一是一种称为“未知顺序组”（“Group of Unknown Order”）的加密工具。Fisch补充说，最近宣布了一个新的GUO，并补充说：“如果我们使用这个新的GUO工具，将大大缩小在文件大小和处理时间方面的性能差距。”

无论当前性能如何，Bünz都提到Supersonic在即将来临的DeFi项目（如ETH 2.0）中引起了轰动，并指出Supersonic中使用的基础工具与可验证的延迟功能相同：

“VDF是一种加密工具，可用于创建完美的随机性，这是股权证明网络必需的。VDF将在ETH 2.0中使用。为VDF构建良好的硬件和软件支持已经进行了大量投资。”

最近，以太坊联合创始人Vitalik Buterin开始关注隐私解决方案。当被问及有关Supersonic的问题时，Vitalik告诉Cointelegraph，“ Supersonic是一个针对于它的问题的很好解决方案。”

—-

编译者/作者：Findoraorg

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。