...i=1}^4a_iv_i(x) = \sum_{i=1}^4a_iw_i(x) + h(x)t(x)$$ ### 记号和初步知识 我们将群 $\mathbb{G}_1$ 和 $\mathbb{G}_2$ 中的生成椭圆曲线点称为 $G_1$ 和 $G_2$。群 $\mathbb{G}_1$ 中的元素表示为 $[X]_1$。群 $\mathbb{G}_2$ 中的元素表示为 $[X]_2$。如果下标...
...有`public`函数，这有什么有趣的地方？答案是这个额外的知识使EVM能够进行_优化_。 > 我讨厌这个词**优化**。它们应该被称为**改进**。[优化某事](https://en.wikipedia.org/wiki/Mathematical_optimization)指的是寻找极值（最小值或最大值），...
...的复杂度和 Gas 成本，也可以更加高效地实现和支持零知识证明（如 zk-SNARKs）和同态加密等功能。在隐私和互操作性（尤其是与 ZCash 等其他支持 BLS 的区块链）会起到作用。 ### EIP-2935 (Serve Historical Block Hashes from State) **...
...m/lambdaclass/lambdaworks?ref=blog.lambdaclass.com)，一个用于开发零知识应用的库。一个重要的证明系统是 [STARKs](https://eprint.iacr.org/2018/046.pdf?ref=blog.lambdaclass.com) (Scalable, transparent arguments of knowledge，可扩展的，透明的知识论证)。STARKs 是一...
...非常强大的一个数学工具。配对给我们带来了最简洁的零知识证明，最高效的门限签名，第一个可用的身份基加密（IBE）方案，以及其它很多高效的密码系统。本文中，我将介绍一点配对的性质，其密码学应用和令人着迷的历史...
...际上将实现高可扩展性。行动胜于言语，Polygon 团队在零知识技术方面投入 10 亿美元的行动值得称赞。 - 说到 Cardano，他们也是一个处于非常早期的 beta 产品，和 Solana 一样，也必须实现费用市场。Cardano 的系统要求仍然很低。...
.... ### c) zk Rollup 的原理 **zk Rollup 顾名思义是用了 zk 零知识证明技术 (实际上是 Validity Proof), 采用的类似是有罪推定, 大家会默认质疑每个执行都是错误的, 通过每个批次所包含的证明保证安全性.**  密码学以确保交易有效性的数学证明 * 欺诈证明 - 这种证明引入了一种所谓的争议时间延迟 (Dispute Time Delay, DTD)，一旦证明提交至 L2，验证者留有一...
...定义其意图并提交给求解者进行处理。意图随后使用像零知识证明（ZKP）这样的隐私机制进行处理，经过信任评分和ZKP验证，最终在执行者的监督下完成，以确保安全和可靠的交易执行。 1. **意图定义 -** 用户定义其意图，包...
...很强，那么如何结合二者呢？ 由于非对称密码学和零知识证明对具有不对称性，我设想了两种可能的方案： - 如果想使用ID-密码体系，可以将这个保存密码的模块不做进SCP中，这样其他人也就不可见。SCP执行层内部依然使...
...写为 Halo2。 好的，让我们更好地介绍一下... “零知识”绝对是一个可怕的词（或者说是两个词）！几个月前，当我开始学习它时，我什么都不懂🤯 最近，我开始学习 Halo2，阅读了一些代码和[教程](https://zcash.github.io/hal...
...参与方都是平等的；无法通过让 “敌手” 仅拥有不完全知识（incomplete knowledge）来获得安全性。因此，我们使用以下三部分定义了 DMMS。这些部分都不同于传统签名的密钥生成算法： * 使用代价函数 c 来追踪算法的执行并输出...
...现在你拥有了开始在 Mumbai 测试网上进行开发所需的所有知识。与往常一样，如果你发现本文档有帮助，我们将非常感谢你与需要的其他开发者分享它。 在 Alchemy，我们总是很高兴看到使用我们的平台和服务构建的令人惊叹的项...