Supersonic

最后更新时间: 2020-08-26 23:00 Arwes – Futuristic Sci-Fi / Cyberpunk Graphical User Interface Framework - (arwes.dev) Arwes–未来科幻/网络朋克图形用户界面框架 得分:143 | 评论:30 Jacques Cousteau’s Grandson Wants to Build the ISS of the Sea - (smithsonianmag.com) 雅克·库斯托的孙子想建造海上国际空间站 得分:192 | 评论:97 Discrete Cosine Transform – Explain Like I'm Five - (ottverse.com) 离散余弦变换-像我五岁一样解释 得分:59 | 评论:25 What happens when you load a URL? (2015) - (danluu.com) 加载URL时会发生什么？（2015年） 得分:37 | 评论:12 Boom Supersonic hopes to test-fly its supersonic plane in 2021 - (engadget.com) Boom超音速公司希望在2021年试飞其超音速飞机 得分:67 | 评论:50 Draft of OCaml

zk-SNARK是一个快速发展的领域，仅在过去的两个月里，就宣布了数个突破性的zk-SNARK构建。曾经必须的可信设置现在已经是冗余的了，这意味着可以使用任何计算。然而关于这些新的zk-SNARK构建的资料很难找到。在这片文章中，我将比较这些新出现的zk-SNARK构建，并在以后不定期更新。 <!--more--> 像zk-SNARK这样的零知识证明有很多应用：Zcash利用零知识证明来保护隐私，Coda和Mir利用零知识证明将整个区块链压缩到只有几K字节，0x和Matter则利用零知识证明将许多交易封装为以太坊 上的单一证明。如果你还不了解零知识证明，可以看一下这里的 解释 。 相关链接： 以太坊 | 比特币 | EOS | Tendermint Core | Hyperledger Fabric | Omni/USDT | Ripple 1、可信设置 传统的zk-SNARK，例如Groth16有一个主要的缺点：依赖于一个公共的参考字符串，该字符串使用一次性可信设置创建。该设置创建一个供证明方和验证方同时使用的参考字符串。这里面有三个主要的问题： 可信设置生成的“有毒废料”，如果泄露的话，可以被用于生成无法 检测的伪造证明。多方计算通常会忽略这个问题，但是仪式的协调 异常复杂。 可信设置创建的参考字符串通常绑定到一个电路（基本上就是程序）。 不可能为任何计算创建一个单独的可信设置