...，还有一个相当复杂的过程用于创建这个见证的实际“零知识证明”，以及一个单独的过程用于验证其他人传递给你的证明，但这些细节超出了本文的范围。 我们选择的例子是一个简单的例子：证明你知道一个三次方程的解：x...
...的闭环，知其然知其所以然！ 我们一直认为**碎片化的知识没有力量，系统化的体系才能行稳致远！** 另外基于sigma协议还有一些其他例子 如Okamoto’s protocol，And proof等不再介绍！ 参考: https://zhuanlan.zhihu.com/p/144899541 https://...
...个随机数，从而暴露我们的身份。 ## 用球为例解释零知识 现在，如果我们能向警卫证明，我们知道一个秘密的数字，在不透露实际数字的情况下，在碗内对承诺进行哈希运算呢？那么，我们可以用零知识证明来做到这一点...
...ent * of method *** is not a provable type` 错误. ## 如何编写零知识证明应用(zkApp), 有哪些要求? 在 ZkNoid 中进行构建主要围绕创建你自己的运行时模块展开, 这与智能合约类似. 每个运行时模块都有其自身的状态以及用户可通过钱包...
...ttps://learnblockchain.cn/article/10821)，我们深入探讨了一个 _零知识证明_ 协议的特定示例。尽管优化和性能问题不谈，它涵盖了所需的用例：证明一个数字在 _某个范围_ 内。然而，该协议是 _极其具体_ 的，为了另一个声明而制作另...
...隐私保护的场景。 ### 3. Miden - 定义：基于 ZK（零知识证明）的虚拟机，支持私有链和专用链的构建。 - 特点: 🎯提供隐私保护和高效的链上运算能力。 🎯专为企业级、定制化场景设计。 - 应用场景：企业私...
...ium.com/remix-ide/circom-in-remix-part-1-definitions-4e982786b380)介绍零知识证明术语的文章，以及[这篇](https://medium.com/remix-ide/circom-in-remix-part-2-playtime-4fc98d109511)关于如何使用Circom插件的文章。 如果您有无法解决的问题，可以点击“向**GPT**...
...一个区块时间内，生成PoST证明。PoST证明生成，涉及K次零知识证明（zk-SNARK）的证明计算，相当来说，计算时间较长。通过GPU加速，可以缩短PoST证明的时间。 ## 总结： Filecoin采用了新的节点选举算法，在区块生成时，必须...
...伴应该知道，这些协议的基础就是多项式承诺。 **[零知识证明 - Plookup算法介绍](https://learnblockchain.cn/article/2786) ** **[零知识证明 - 深入理解PlonK算法](https://learnblockchain.cn/article/2180) ** ## uVM的整体框架 uVM由如下的模块组...
...新的密码学证明方案（有些人会把这些方案统称为 “零知识证明”、“ZKP”）。 像 [zk-STARK](https://academy.binance.com/blockchain/zk-snarks-and-zk-starks-explained) 这样的密码学证明系统（[很快](https://twitter.com/deversifi/status/1262673383520690176?s=...
...Cryptography（MIT）](https://hackmd.io/@gubsheep/B1LF02t9i)⭐ - [MIT零知识证明(中文版)](https://www.bilibili.com/video/BV1D64y1K78q/?share_source=copy_web&vd_source=9f57b166a79e3fa3c92ed5cb6c246c5a)（大纲基本和前面的MIT的差不多）⭐ - [密码学 I | Coursera](https://www.c...
...的趋势之一是把 "zk "放在单词的前面，这两个字母代表零知识证明。维基百科上有很多[例子](https://en.wikipedia.org/wiki/Zero-knowledge_proof)（我最喜欢的是 "两个球和色盲的朋友 "问题）。如果你对它们不熟悉，我建议此时花几分钟时...
...文为 [EthWorks](https://ethworks.io/index.html) 撰写的一份关于零知识证明和区块链扩展方案关系的报告；对可扩展性问题、零知识证明和 ZK rollup 扩展方案都做了简洁的介绍。本译稿的校对得到了[安比实验室](https://secbit.io/)的大力支持...
...rt 漏洞最早是由 Trail of Bits 团队命名的。“Frozen”代表零知识证明的铸造，而“Heart”则表明 Fiat-Shamir 转换是许多证明系统的核心。该漏洞指的是使用“弱 Fiat-Shamir”转换。在这种情况下，只对证明者的消息的部分进行了哈希，...