SNARKs 和 STARKs 是零知识证明技术，允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。 [零知识证明 (ZKP)](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/) 引起了广泛关注，因其在增强安全性、保护用户隐私...
...以太坊Layer 2扩展方案 - 乐观Rollups (Optimistic rollups) - 零知识Rollups / ZK rollups - 乐观Rollups vs 零知识Rollups - 总结 ## Rollups——以太坊Layer 2扩展方案  Rollups旨在创建通...
...GAS消耗应该不是168w，应该在40w左右。 如果使用Groth16零知识证明的话，大约需要不到50w的GAS（EIP1008情况下）。  值得一提的是，使用Groth16零知识证明，需要将...
...涌现。Starknet 作为以太坊的二层扩展方案，基于 STARK 零知识证明技术，正逐渐成为业内关注的焦点。为了更好地理解 Starknet 及其背后的技术和组织，我们需要深入了解与其相关的名称和概念。本文将重点介绍 STARKWARE、STARKEx、Ca...
...性质的正确，从而消除了大量的潜在错误及漏洞。 零知识证明（ZKP）对于区块链的扩展性至关重要。未来的智能合约将在先进的零知识虚拟机（zkVM）上运行，例如用于以太坊合约的zkEVM和用于Wasm合约的zkWasm。这是从传统虚拟...
...有数据触发智能合约执行。现在，越来越多项目都采用零知识证明（ZKP）技术在公链上保护隐私。（注：零知识证明指一方向另一方发送加密证明，在不透露数据内容的情况下证明自己拥有某个数据。）在区块链网络中，零知识...
...文章中的第一篇。** **zkVM 安全系列:** 📚 第一部分：零知识虚拟机 (zkVM) 简介 📚 第二部分：识别 zkVM 中的常见漏洞 📚 第三部分：编写和审计安全的 zkVM 应用程序：RISC Zero 的一个实际例子 ## 简介 零知识虚拟机 (zkVM) 正在...
... 但是在章节开始之前，你需要**必须 🚨**掌握以下前置知识： - 基础的计算机知识 - [有限域](https://www.zk101.io/knowledges/0_field) - [乘法群](https://www.zk101.io/knowledges/1_multiplicative_cyclic_group) 以上内容均为超级精简版，强烈推荐...
... [ICICLE](https://github.com/ingonyama-zk/icicle) 是一个旨在加速零知识证明（ZKP）的密码学库。 我们很高兴地宣布发布 [ICICLE v3](https://dev.ingonyama.com/icicle/overview)，这是一个引入了强大的多平台支持的重大更新。我们的最新版本包括一...
Groth16算法确实比较美，优点是证明小，非常适合链上验证的场景。但是，Groth16算法需要可信的初始设置(Trusted Setup)，而且每个电路都需要初始设置。特别在业务电路升级的时候，还需要重新初始设置。PLONK算法，只需要一次初...
## RareSkills 零知识证明之书 这是最友好的零知识证明教程， 完整的专栏参考： https://learnblockchain.cn/column/117 本书的构建指导思想很简单：令人瞩目的清晰度  ...
...w.morphl2.io/) 的optimistic zkEVM 集成将optimistic汇总的效率与零知识证明的安全性相结合，使用一种称为响应有效性证明 (Responsive Validity Proof，RVP) 的新方法。改进如下： 1. 效率和速度：**通常 7 天的挑战窗口可以缩短到 1-3 天**...
### 概况 zkMove 是一个面向零知识证明的 Move 语言运行环境。它最初的构想是提升零知识证明的可编程性和可组合性，用户可以基于 zkMove 运行安全、可扩展、隐私的智能合约。关于 zkMove 的设计初衷我曾经在[《聊一聊 zkMove》](h...