在2月19日的斯坦福区块链会议上接受Cointelegraph采访时，斯坦福大学密码学博士生Ben Fisch将Supersonic描述为一种无需信任的零知识证明系统（也称为zk-SNARK）。

来源：Pixabay

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

无需信任与受信任的zk-SNARK 

虽然需要零知识证明系统来保护区块链网络之间的隐私，但几乎所有系统都需要可信设置。 Fisch说：

“这意味着隐私工具的用户必须信任第三方才能正确配置系统。”

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

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

“特别是，零知识证明系统涉及一些随机生成的数字。受信任的设置意味着必须信任第三方才能正确生成这些数字并将其保密（即丢弃这些秘密并销毁任何踪迹，以便将来没有人发现它们）。如果这些秘密泄露了，那么零知识证明系统的安全性就会受到损害。”

Fisch还指出，信任可以在受信任设置系统中的一个协作委员会中传播。这意味着只要一方丢弃了自己的秘密，该系统就可以被认为是安全的。

尽管通过协作“仪式”已经多次完成，但Fisch表示，对于需要zk-SNARK的每个新应用重做此操作都是不切实际的。 “这是可以理解的，因为在去年之前还没有实用的通用设置或无需信任设置zk-SNARK。”

斯坦福大学博士生Benedikt Bünz与Fisch联合编著了一份密码学和加密货币论文。他表示，与可信任的设置系统不同，Supersonic完全不需要第三方的信任。

Bünz解释说：

“在受信任的设置中，执行此操作的一个或多个人可以证明无效交易是有效的。在加密货币中，这可以用来凭空赚钱。以前没有受信任设置的证明要么是数百KB，要么不具有可伸缩性。”

用于DeFi的无需信任zk-SNARK 

根据Fisch的说法，像Supersonic这样的无需信任的zk-SNARK在过去一年中是密码学的重大突破，特别是在去中心化金融应用越来越受欢迎的情况下。 Fisch解释说，尽管区块链有望使金融系统变得更加开放和透明，以防止庞氏骗局和欺诈活动，但隐私通常会被完全破坏。

Fisch指出，Supersonic背后的公司Findora的主要目标是金融用例，为要求保密的公司（例如银行）带来去中心化和透明性。他说：

“许多企业可以在不立即去中心化的情况下从区块链中受益，但是拥有一个可信任的，去中心化的金融网络的好处是能够使用相同的基础架构连接服务和个人。”

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

 

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

这是因为Supersonic的关键组件之一是一种称为“未知顺序组”的加密工具。 Fisch补充说，最近宣布了一个新的GUO，并补充说：“如果我们使用此新的GUO工具而不是当前使用的工具，那么这将缩小在大小和时间方面的性能差距。”

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

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

最近，以太坊联合创始人Vitalik Buterin更加关注隐私解决方案。当被问及有关Supersonic的问题时，Buterin告诉Cointelegraph，“ Supersonic能够很好地解决它要解决的问题。”

原文：https://cointelegraph.com/news/defi-can-now-choose-to-run-trustless-zero-knowledge-proofs
作者：Rachel Wolfson
译者：夕雨
稿源（译）：巴比特资讯（https://www.8btc.com/article/561111)