...希函数，它与非 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利用零知识...
... 7 分钟 * * * 像 Starknet、ZKsync 和 Polygon 这样的领先的 [零知识 Rollup (ZK-rollup)](https://learnblockchain.cn/article/14331) 区块链提高了可扩展性和安全性，允许开发者构建具有高速和低费用的产品。这些 [二层解决方案](https://www.alchemy.com/ov...
...并为消息生成签名。椭圆曲线密钥配对还与 zk-SNARKs 和零知识证明一起使用。它可用于“加密乘法”。 对于椭圆曲线，我们为私钥（p）生成一个 256 位的随机数，然后取椭圆曲线上的一个点（G）\[x,y\]，然后将其乘以私钥以获...
.../0xparc.org/blog/zk-id-1) *今年 1 月，我们启动了 0xPARC 零知识身份 (ZK-Identity) 工作小组：一个尝试使用 zkSNARKs 来构建数字身份工具的工作小组。在解释为什么密码学的进展对实现新的身份原语很重要的系列文章中，本文系第一...
...室灯光下的红色苹果图片” ## **我们的动机** 当将 [**零知识证明 (ZKP)**](https://www.ingonyama.com/ingopedia/zkbeginner) 纳入推理或训练中以用于问责、监管或隐私目的时，不确定性是一个主要障碍： 经典的 ZK 证明器依赖于完全确定的...
...pA.png) 示意；L3 仍在研发中，但在概念上可以通过递归零知识证明实现 在本文中，我将： - 概述 AppChains 的历史 - 解释 AppChains 的优缺点 - 描述未来的 AppChain 市场结构 - 概述 AppChain 设计空间 - 比较目前已上线的不同 AppChain 解...
...://eprint.iacr.org/2018/046.pdf?ref=blog.lambdaclass.com)（可扩展透明知识论证）近年来受到广泛关注，因为它们能够帮助扩展以太坊和其他 L1s。它们提供了一种通过加密证据来保证由不可信方进行的计算的完整性。这种证明的验证速度远...
...力](#利用-sagemath-打开-ecc-的潜力) - [理解椭圆曲线的基础知识](#理解椭圆曲线的基础知识) - [椭圆曲线的定义](#椭圆曲线的定义) - [椭圆曲线上的点](#椭圆曲线上的点) - [可视化椭圆曲线上的点](#可视化椭圆曲线上的点) - [探...
...更消息加上时间戳，从而提供有关 B 或 C 哪个先到的共同知识。 [3] 和 [4] 则更难。一般来说，我自己更倾向的解决方案是[多签名和社会恢复钱包](https://learnblockchain.cn/article/11589)，其中一组朋友、家庭成员和其他联系人能在你...
## 写在前面 在零知识证明（如 FRI、STARK 等）和多项式承诺场景中，我们经常需要对**多个矩阵**的数据进行批量承诺和验证。传统的 Merkle Tree 主要用于向量（单列数据）的承诺，但在实际工程中，我们常常需要对**不同高...
...Verfier合约进⾏数学验证。 **欺诈证明虽然不能像零知识证明那样具有⾼度的简洁性，但Arbitrum使⽤了⼀种“多轮分割-单步证明”的轮流式交互流程，最终需要证明的仅仅是单⼀的虚拟机操作码，成本相对较⼩。** ### ...