...ECDSA 签名等基本组件来发挥作用。配对、全同态加密和零知识证明等创新技术也已进入区块链领域。 对于许多人来说，密码学似乎是一个复杂而令人困惑的 “数学魔法” 难题。作为一名区块链安全工程师，我一直对密码学着...
...门加强对新兴技术的验证与审计，特别是在同态加密、零知识证明、多方安全计算（MPC）等复杂加密技术的应用上，避免因实现不当、甚至“暗门后门”而酿成系统性风险。例如某使用ZK技术的项目，曾因绕过验证流程而发生安...
...在链外执行交易，并使用证明——无论是欺诈证明还是零知识证明（ZKP）——来验证 Layer2 （L2）的状态并处理提款。 然而，存在一个重大挑战：以太坊本身不原生验证 EVM 执行，迫使 rollup 独立在链上实现自己的证明系统以验...
... ZK Rollups：额外的安全层 我们常被问到“你们会采用零知识证明技术吗”？答案是这有可能，但不是你想的那样。还有很长的路要走，但如果 ZK 技术足够强大以支持 EVM 等效性，完全有可能作为这一多客户端生态系统中的另一...
...做的工作。这个证明会通过有效性证明（注：生成一个零知识证明）或欺诈证明（注：回溯性证明根哈希是错误的）来进行验证。zkRollup采用的是有效性证明，而optimistic rollup采用的则是欺诈证明。 在optimistic rollup中，当生成...
...生态系统。例如，**Polygon 的 BUIDLit 黑客松** 为专注于零知识工具的项目提供了一个特定赛道，这是一项他们正在优先考虑的新技术，他们的目标是开发一个 [零知识 EVM (zkEVM)](https://learnblockchain.cn/article/12892) 就证明了这一点。 ...
...前已呈现给合约。因此，**_isValid()_** 方法充当了一种 **_知识证明_**。  图1：数据流，分为不同阶段。在阶段（1）中，事实和相应的证人被传递到登记合约中，该合约...
...## Awesome-ZKP-Security 帝国理工博士 Stefanos Chaliasos 整理的零知识证明安全性研究的博客，播客，披露，审计，访谈，CTF，和谜题，论文，工具列表。 A curated list of awesome ZKP Security resources, papers, tutorials, and tools. - ### An Introducti...
...不喜欢 ZK-Rollup 这个术语，因为从数学上讲，它并不是零知识的，但你们都明白我们的意思 ² 不同于当前在主网上部署的 StarkEx 维护的单独状态 **更新（2021 年 11 月）：** StarkNet Alpha 在以太坊主网正式上线 >- 原文链接： [medium...
...否已被支出... > > **在这种情况下，很难想到如何应用零知识证明。** > > 我们试图证明不存在某事物，这似乎需要了解所有事物并检查该事物是否未包含在内。 > > —— 中本聪 [^1] 自从比特币创始人中本聪首次考虑如何使用零知...
...sts/circle-starks-1/ > 译者：Kurt Pan ### 引言 在零知识证明系统中，我们（几乎）总是在有限域上进行操作，并且由于证明者通常必须进行大量的域操作来生成证明，因此我们自然希望我们的域操作要尽可能快。如果使用...
...思维都是在解决可用性问题。而可信性更多的是拓宽人类知识的边界，比特币这类就是在解决我们所有人如何去相信一个事物、数据。在这样一个脉络里，有这两种需求存在，就一直会有分叉出现。如果把比特币的创世当作源头...