...构造正用于创建压缩的区块链；诸如「必要工作量证明」 之类的提案利用 zkSNARK 的功能在网络的共识层提供安全性；借助诸如 Zexe 之类的结构，ZKP 使进行链外计算甚至是全新的编程模型变成了可能。「零知识证明」通常被作为一个整体引用，但请务必记住，有许多不同类型的 ZKP。严格来说，ZKP 方案是...
知识:加密货币,去中心化,仪式,参与者
...链；诸如“必要工作量证明”(https://eprint.iacr.org/2020/190.pdf) 之类的提案利用zkSNARK的功能在网络的共识层提供安全性；借助诸如Zexe之类的结构，ZKP使进行链外计算甚至是全新的编程模型变成了可能。「零知识证明」通常被作为一个整体引用，但请务必记住，有许多不同类型的ZKP。严格来说，ZKP方案是一...
知识:加密货币,去中心化,参与者,仪式
...大神phd Ben Fisch给我们轮流上课，花了两周时间讲完了零知识的起源、概念和zkSNARK的实现。这两天考完期末考试，复习的过程中在脑海中再三回味整堂课，觉得最精彩的部分还是零知识证明。想着最近趁着假期总结一下，分享给大家。前言写完第一稿之后，分享给朋友Proofread的时候，发现很多朋友反馈...
知识:公钥,比特币,链上,智能合约
早上很多朋友@我，安比实验室发表了一篇文章zkSNARK的“输入假名”的攻击。迅速看了看，很赞。这个攻击原理其实比较简单，但是，不深入理解zkSNARK以及使用场景的朋友确实很难发现和理解。本文讲讲我对这个攻击的分析和理解。 源于三天前 这种攻击方式一直潜伏着，没被发现。直到三天前： ...
知识:合约,以太坊,函数
...大神phd Ben Fisch给我们轮流上课，花了两周时间讲完了零知识的起源、概念和zkSNARK的实现。这两天考完期末考试，复习的过程中在脑海中再三回味整堂课，觉得最精彩的部分还是零知识证明。想着最近趁着假期总结一下，分享给大家。 前言 写完第一稿之后，分享给朋友Proofread的时候，发现很多朋友反...
知识:零,知识,证明,学习,笔记,背景,与,起源,副标题,
...神 phd Ben Fisch 给我们轮流上课，花了两周时间讲完了零知识的起源、概念和 zkSNARK 的实现。这两天考完期末考试，复习的过程中在脑海中再三回味整堂课，觉得最精彩的部分还是零知识证明。想着最近趁着假期总结一下，分享给大家。前言写完第一稿之后，分享给朋友 Proofread 的时候，发现很多朋友反...
知识:零知识证明,默克尔树,UTXO,比特币,匿名性,Zcash
...决的问题以及现存应用进行了介绍，然而对于零知识证明中细分的两种算法 zkSNARKs 及 zkSTARKs 并未进行细节介绍。本文出自零知识证明领域加密研究者 Alex Beckett，本文详述了零知识证明的两种细分算法的不同之处。律动 BlockBeats 对全文进行了翻译：在密码学领域中，零知识证明是最前沿的技术之一，它...
知识:zk-SNARKs,zkRollup
...议。其实，零知识证明是一种不泄露输入并且能直接证明输出正确的算法。zkSNARK则是目前零知识证明算法中验证效率最高的算法，所以在区块链上有很好的应用场景。万龙链一直积极探索存储证明等技术，zkSNARK零知识证明也是其核心技术之一。zkSNARK的全称 zero-knowledge succint non-interactive arguments of ?knowled...
知识:链上,在区块链,合约,跨链交易
...管的混币服务。但是，这样做必然会引入高度的对手方和监视风险。Zcash的zkSNARKs的出现在解决该类问题，其使用了零知识证明的各种密码学方法，让转账信息实现加密。近日，笔者发现了一款特别的币种，都说前有Tornado，后又有了旋风协议Cyclone，在区块链上也有可能实现真正的隐蔽交易，旋风协议Cycl...
知识:智能合约,提币,链上,匿名性
...管的混币服务。但是，这样做必然会引入高度的对手方和监视风险。Zcash的zkSNARKs的出现在解决该类问题，其使用了零知识证明的各种密码学方法，让转账信息实现加密。近日，笔者发现了一款特别的币种，都说前有Tornado，后又有了旋风协议Cyclone，在区块链上也有可能实现真正的隐蔽交易，旋风协议Cycl...
知识:智能合约,链上,提币,通证
zkSNARKs是一种创建零知识证明的方法。具体来说，是简洁的、非交互式的创建零知识证明的方法。zkSNARKs到底是什么可以参考以下内容1. zkSNARKs在Zcash中是如何构建的--由Zcash团队提供。https://z.cash/technology/zksnarks/2. 私人数据的无信任计算—QED-it的首席密码学家Daniel Benarroch和Aviv Zohar教授的博文。https://qed-it....
知识:区块链,加密货币,比特,多项式
...戏了：这种不会暴露答案本身的证明方式就叫做零知识证明。零知识证明（zkSNARK）相信看完上文，大家已经对我们想要解决的问题大概有所理解了。我们想要证明数字之间的关系，比如0 <= a <= 2^256，或者SHA256(x) = y。但是我们又不想暴露出这几个数字来，比如说前文的a和x。如何构建一套系统来实现...
知识:公钥,比特币,链上,数字货币
...戏了：这种不会暴露答案本身的证明方式就叫做零知识证明。零知识证明（zkSNARK）相信看完上文，大家已经对我们想要解决的问题大概有所理解了。我们想要证明数字之间的关系，比如0 <= a <= 2^256，或者SHA256(x) = y。但是我们又不想暴露出这几个数字来，比如说前文的a和x。如何构建一套系统来实现...
知识:公钥,比特币,链上,数字货币
...该证明，而不再需要每个人都花很长时间来直接验证；ZK 主要有两种类型：zkSNARK （简洁非交互式零知识证明）和 zkSTARK（简洁全透明零知识证明）。zkSNARK 的概念最早于 2013年被学者提出，目前已比较成熟， Zcash 是首个应用 zkSANRK 技术的区块链项目。ZK 技术目前已被用于各大 Rollup 方案，来解决以太坊...
知识:链上,去中心化,以太坊,区块链
...该证明，而不再需要每个人都花很长时间来直接验证；ZK 主要有两种类型：zkSNARK（简洁非交互式零知识证明）和 zkSTARK（简洁全透明零知识证明）。zkSNARK 的概念最早于 2013 年被学者提出，目前已比较成熟，Zcash 是首个应用 zkSANRK 技术的区块链项目。ZK 技术目前已被用于各大 Rollup 方案，来解决以太坊的...
知识:zk-SNARKs,ZK Rollup