zkSNARKs

人们对于零知识证明（zk-SNARKs）有了更大程度上的关注和讨论

IPFS.CN 2021-08-05

zkSNARKs IPFS

零知识证明系统辣么多，我该如何选才好？

洒脱喜 2020-01-09

零知识证明 zkSNARKs zkSTARKs

Quadratic Span Programs 在上一部分中，我们看到了 NP 问题的计算是如何被相互化简的，尤其是那些 NP 完全问题，那些 NP 完全问题基本上又都再次形成了其他的 NP 问题——包括交易验证问题。那么对我们来说找到一个对所有 NP 问题都通用的 zkSNARKs 就变的很容易了：我们只需要选择适合的 NP 完全问题。所以如果我们想展示如何使用 zkSNARKs 来验证交易的话，那么展示如何处理这个确定的 NP 完全问题就是一个有效的方法，并且比从理论上解释更容易让人接受。 ...

格密链 2019-02-09

区块链 以太坊 zkSNARKs

零知识证明已成为解决加密货币和其他应用隐私和可扩展性问题的主要工具。在很多系统中，每个客户端下载并验证每一个新的证明，所以证明的验证必须是小而便宜的。而来自伦敦大学学院的Mary Maller、Sarah Meiklejohn，爱丁堡大学的Markulf Kohlweiss，以及来自Zcash公司的Sean Bowe，共同提出了一种称为Sonic的零知识证明协议，其对此前存在的zk-SNARK方案进行了改善，此外，论文中也提到了该方案与其他隐私方案（如防弹证明协议）的对比。 译者简单介绍了该论文...

洒脱喜 2019-02-02

零知识证明 zkSNARKs Sonic

以太坊基金会和初创公司Matter Inc的开发人员已经在测试网上推出了一个Plasma扩展解决方案，该解决方案使用ZKSNARK技术来实现每秒500次交易的处理能力。 他们表示： “在该方案中，用户对交易的验证由以下方法代替，即发起区块的运营商必须提交一个可以证明新区块正确的SNARK，智能合约会自动验证。运营商不能将不正确的区块放进区块链中，因此用户无需始终保持在线状态，也不需要持续监控交易活动。” 不幸的是，数据可用性仍然是一个问题，如果不进行权衡妥协的话，似乎无法解决。 该方案遵循Vit...

Zewei 2019-01-07

以太坊 Plasma zkSNARKs

译者按：此前以太坊创始人Vitalik根据ZK-SNARKs技术提出的500tps扩容方案，引发了社区对区块链扩容的更多思考，而此后由以太坊研究者Barry Whitehat，Alex Gluchowski，Harry R，Yondon Fu和Philippe Castonguay共同提出的snark侧链方案，更是号称可让以太坊网络实现17000 tps 的交易吞吐量。那这种方案究竟是怎么回事呢？本文试图给出答案。 (图片来自：The Cryptonomist) nbsp; 原文作者：Barry...

洒脱喜 2018-10-08

以太坊 zkSNARKs