零知识证明

短期内，Optimistic rollups 很可能在通用的 EVM 计算中胜出，而 ZK rollups 则可能在简单的支付、交易和其他特定应用场景中胜出，主要原因还是 Zk rollup 虽然比 Optimistic rollup 更快、更高效，但并没有为现有的智能合约提供一个简单的方式来迁移到

A lot of fancy stuffs, plz enjoy!

高耗费和和低隐私是Web3用户当今主要的痛点，也是未来的采用和创新的最大障碍。Espresso Systems正在创造的扩容隐私方案能为Web3应用带来崭新可能。

本地搭建和测试zkLogin零知识证明服务

重要‼️Stark101虽然是希望成为任何软件工程师的入门教程，但是ZK确实有太多不得不说的概念，不过，我会尽量用最简单，最少公式的方式来讲解。所以，Start101绝对不会教会你如何成为数学大师，其目的在于让你轻松的理解Stark的逻辑。但是你需要遵守以下规则：任何标题开头为附加内容

计算轨迹是 Stark 的第一步，也是最简单的一步，但是最为重要的一步。
但是在章节开始之前，你需要必须 🚨掌握以下前置知识：

低度拓展(LDE)是Stark中用于提高安全性的一个步骤，通过把多项式的域拓展到更大的域，从而提高计算的安全性。

承诺（Commitments）是Stark中用于去除需要交互验证的步骤，通过将Trace的值进行默克尔树构建，从而获得虚拟的交互验证。

那些应该学 ZK 数学，有些人也许不需要学 ZK 数学

大量零知识证明项目由于错误地使用了某个 zkSNARKs 合约库，引入「输入假名 (Input Aliasing) 」漏洞，可导致伪造证明、双花、重放等攻击行为发生，且攻击成本极低。众多以太坊社区开源项目受影响，其中包括三大最常用的 zkSNARKs 零知开发库 snarkjs、ethsnarks、ZoKrates，以及近期大热的三个混币（匿名转账）应用 hopper、Heiswap、Miximus。这是一场由 Solidity 语言之父 Chris 两年前随手贴的一段代码而引发的血案。

这篇文章解释利用ZKP(零知识证明)与区块链来实现去中介的交易协议的原理，讲讲我们是怎么把这个理论变成实用的代码的，这是一篇概述，希望了解更多的朋友请关注后续。

Zcash的发展大体经过了OverWinter(过冬) -> Sprout(发芽) -> Sapling(树苗)这几个阶段，随着业务和功能的逐渐丰富，密钥系统也越来越复杂，刚开始接触时感觉一头雾水，但是静下心来仔细分析，就能逐渐领略其中的魅力。

Rollup 是一种 Layer 2 扩展解决方案，通过将大量交易数据打包(rollup)并提交到以太坊主网，以提高交易吞吐量和降低交易费用

本文分类汇总了以太坊上使用zk技术的社交项目，分别是：身份、治理和消息领域。

比特币即将迎来 Zero-knowledge rollups