...史上，zkEVM Rollup 一直难以构建，需要深厚的密码学专业知识，使得定制和维护变得复杂且耗时。过去一年中，零知识证明取得了巨大进展，像 SP1 这样的 zkVM 引领了这一潮流。SP1 使任何开发者都能无缝地使用标准 Rust 代码[集成]...
...沿着Root==>N5==>N2就可以定位到交易C发生改变。 * 零知识证明：例如，想要证明一组交易中包含某个交易A，但又不想让对方知道交易A的具体内容，那么就可以构建Merkle树（如上图），向对方公布N0、N1、N4和Root，对方就可以...
...问你的门票的说明。 我们有一些 Devcon SEA 活动通过 [零知识证明](https://ethereum.org/en/zero-knowledge-proofs/) 来控制。我们将与 [Meerkat](https://forum.devcon.org/t/dip-45-meerkat-q-a-tool-for-audience-engagement/3805) 进行匿名实时问答，与 [Fileverse](https:...
...希函数，它与非 zk-friendly 哈希函数有何不同？ 32. 在零知识的背景下，什么是 nullifier，它的用途是什么？ ## 加入集训营 参加 [区块链技术及英语集训营](https://learnblockchain.cn/openspace/1)，不仅可深入了解以太坊智能合约开发...
该repository作为本人读书笔记, 记录知识的获取, 以blog的形式记录下来. 该文库我会不断更新, 如果喜欢的话麻烦点一下`star`. 由于文章由markdown的方式编写, 部分链接与图片显示可能存在问题, 大家可以移步到[github源](https://github.co...
...方法时，独立工作才能进行。 其中一种解决方案是[零知识证明](https://ethereum.org/en/zero-knowledge-proofs/) ，这是一种计算廉价的验证区块链是否正确发展的方法。一个节点可以生成证明，其他节点可以廉价验证区块链，**而无需重...
...*LaZer：** LaZer 是一个有趣的库，它使用格来促进高效的零知识证明 (ZKP)。对于某些指标，该证明系统实现了比当前某些最先进的证明系统更好的性能。但是，由于 LaZer 使用格，因此它的算术化与现有的 R1CS 和 Plonkish 证明系统完...
...们的[Noir语言](https://noir-lang.org/)利用加密状态机制进行零知识电路开发。这使得在其生态系统内进行机密交易，同时仍然允许可验证性，尽管Aztec的采用和扩展性仍在不断发展。 - **[RAILGUN](https://railgun.org/):** RAILGUN利用零知识...
...并为消息生成签名。椭圆曲线密钥配对还与 zk-SNARKs 和零知识证明一起使用。它可用于“加密乘法”。 对于椭圆曲线，我们为私钥（p）生成一个 256 位的随机数，然后取椭圆曲线上的一个点（G）\[x,y\]，然后将其乘以私钥以获...
... 7 分钟 * * * 像 Starknet、ZKsync 和 Polygon 这样的领先的 [零知识 Rollup (ZK-rollup)](https://learnblockchain.cn/article/14331) 区块链提高了可扩展性和安全性，允许开发者构建具有高速和低费用的产品。这些 [二层解决方案](https://www.alchemy.com/ov...
...室灯光下的红色苹果图片” ## **我们的动机** 当将 [**零知识证明 (ZKP)**](https://www.ingonyama.com/ingopedia/zkbeginner) 纳入推理或训练中以用于问责、监管或隐私目的时，不确定性是一个主要障碍： 经典的 ZK 证明器依赖于完全确定的...
.../0xparc.org/blog/zk-id-1) *今年 1 月，我们启动了 0xPARC 零知识身份 (ZK-Identity) 工作小组：一个尝试使用 zkSNARKs 来构建数字身份工具的工作小组。在解释为什么密码学的进展对实现新的身份原语很重要的系列文章中，本文系第一...
...pA.png) 示意；L3 仍在研发中，但在概念上可以通过递归零知识证明实现 在本文中，我将： - 概述 AppChains 的历史 - 解释 AppChains 的优缺点 - 描述未来的 AppChain 市场结构 - 概述 AppChain 设计空间 - 比较目前已上线的不同 AppChain 解...
...://eprint.iacr.org/2018/046.pdf?ref=blog.lambdaclass.com)（可扩展透明知识论证）近年来受到广泛关注，因为它们能够帮助扩展以太坊和其他 L1s。它们提供了一种通过加密证据来保证由不可信方进行的计算的完整性。这种证明的验证速度远...
...区块链交易签名、TLS 签名、可信执行环境 (TEE) 证明或零知识证明的任意组合。 - **计算** – 为智能合约执行某种类型的安全链下计算，例如从多个 Oracle 提交中计算中位数，或为游戏应用程序生成[可验证的随机数](https://chain.lin...