zkSNARKs

在区块链世界，Zcash、门罗币、零知识证明等存在，被称为隐私的最强之盾，它们可以有效确保交易信息不被泄露，然而，这个世界真的存在密不透风的墙吗？

洒脱喜 2020-03-03

Zcash 门罗币 zkSNARKs

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

洒脱喜 2020-01-09

零知识证明 zkSNARKs zkSTARKs

本文将带你亲自上手实践，在短时间内迅速入门 libsnark，一步步了解 libsnark 的基本概念，学会如何开发 zk-SNARKs 电路。

安比（SECBIT）实验室 2020-01-03

零知识证明 zkSNARKs

当我们谈到隐私时，并没有什么灵丹妙药能够解决所有的问题，而是需要针对特定的用例使用不同的方法和机制。本文旨在评估各类以太坊隐私技术方案的优缺点及适用场景。

洒脱喜 2019-10-08

以太坊 zkSNARKs 安全多方计算

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，智能合约会自动验证。运营商不能将不正确的区块放进区块链中，因此用户无需始终保持在线状态，也不需要持续监控交易活动。” 不幸的是，数据可用性仍然是一个问题，如果不进行权衡妥协的话，似乎无法解决。 该方案遵循Vitali...

Apatheticco 2019-01-07

以太坊 Plasma zkSNARKs

所谓零知识证明（zero-knowledge proofs），最初是由麻省理工教授Shafi Goldwasser、Silvio Micali（注：两人都是图灵奖得主）以及另一位密码学大牛Charles Rackoff于20世纪80年代初共同提出的{{1}}。有了零知识证明，就允许一方（证明者）说服另一方（验证者），一个给定的论断是真实的，而不会泄露任何超过论断本身有效性的信息。 由于这一话题确实艰涩难懂，这里便以著名的《阿里巴巴洞穴》{{2}}为例，以便让读者更好地了解零知识证明的概念： “很久以前，...

洒脱喜 2018-10-11

零知识证明 zkSNARKs 学术向

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

洒脱喜 2018-10-08

以太坊 zkSNARKs