[博客](https://www.gelato.cloud/blog) — Gelato 大学 ## 什么是零知识（ZK）EVM？  以太坊的可扩展性问题促使人们使用Layer2（L2）扩展方法，例如 **rollup**——或者更具体地说是 ZK **ro...
前一段时间，介绍了几篇零知识证明文章：[入门zkSNARK](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)， [从 QSP 到 QAP](https://learnblockchain.cn/2019/05/07/qsp-qap/)，[Groth16 算法介绍](https://learnblockchain.cn/2019/05/27/groth16/)， 今天这篇文章分享下...
...包”交易，并将“打包”后的交易数据连同一个 SNARK 零知识证明发布到链上。交易的合法性由链上智能合约通过零知识证明来验证，负责“打包”的操作者不可能发布恶意或无效的交易。这样就能做到一次性执行一批链下交易...
...t 6：递归 ZK-SNARK 与常规 ZK-SNARK 有何不同？ 在之前的零知识证明系列文章中，我们详细介绍了ZK-SNARKs技术及其使用优缺点，本期内容我们将继续介绍另外两种零知识证明类型ZK-STARK和递归ZK-SNARK？ ## 什么是 ZK-STARK？ ZK-STARK ...
...B**（相当于几条推文的大小）。 * 采用 **zk-SNARKs**（零知识证明）的递归压缩技术，无需存储完整的区块链历史。 2. **轻量化与去中心化** * 用户可以运行一个完整的 Mina 节点，硬件需求极低（如普通手机或笔记本电脑...
...以太坊的流行替代方案。 目前，Polygon 正在开发一套 [零知识 Rollup](https://learnblockchain.cn/article/14331) (ZK Rollup)，以提高以太坊的吞吐量，同时不牺牲去中心化或安全性。 ZK Rollup 在链下处理交易，并减少基础层上的计算，以实现...
...去年大段时间都在翻译PAZK。歇了一段时间，最近发现零知识证明技术有些新的方向和变化。感叹，总是有些有趣的人做着有趣的事情。羡慕，并努力让自己有趣。先说说Binius。Binius是个新颖的零知识证明系统，目的是降低证明...
...。个人对存储证明的部分比较感兴趣，也就是FPS。采用零知识证明技术，对存储进行证明是个大胆的尝试。 [Filecoin - PoRep和PoSt算法源代码导读](https://learnblockchain.cn/article/680) Filecoin团队，在2019年下半年出了个Lotus（莲花）测...
...防止通过暴力破解哈希以揭示 secret。 ### (非交互式)零知识证明 **零知识证明** 是一种加密协议，允许证明者向验证者展示特定陈述为真，而不泄露超出该陈述本身真相的任何其他信息。换句话说，它允许证明者说服验证者...
Semaphore是一个用零知识证明（zk-SNARK）技术的开源项目。Semaphore实现的是基于零知识证明的身份和信号。 https://github.com/barryWhiteHat/semaphore ## 整体框架 Semaphore整个项目，由三部分组成：nodejs模块（客户端/服务器端以及前端...
...有效的，使用**欺诈证明**在7天内证明虚假交易 2. [零知识汇总（Zero Knowledge (ZK) Rollups）](https://www.alchemy.com/blog/zero-knowledge-rollups) - 使用**有效性证明**即时证明交易是否有效 有效性证明和欺诈证明在交易录入基础链状态之...
在网络上看到一篇非常棒的介绍KZG多项式承诺的文章： https://dankradfeist.de/ethereum/cryptography/2020/06/16/kate-polynomial-commitments.html 翻译了一下，方便感兴趣的小伙伴查看。Dankrad多次帮忙校对翻译内容，甚至在他的blog创建了中文翻...