...cn/2025/04/26/1EWFTsK17r_PazCjf1pXw4A.jpeg) 我们建议使用新兴的零知识证明 (ZKP) 技术来解决这个问题。在 ZKP 方案中，证明者希望说服验证者他们知道一个证人 𝑊，该证人服从某个函数关系 𝐹(𝑋,𝑊) = 0，而不泄露 𝑊。关系 𝐹 通常...
...函数进行承诺是我们将在将来的文章中要关注的一些_零知识证明_的关键成分。  > 此外，回想一下，当我们谈论门限密码学时，我们提到过某些情况需要**可验证的秘密共...
...数学证明通过，就可以直接修改Layer1的状态 缺点：零知识证明的复杂和大量运算
zk-STARK 是一种零知识证明技术，旨在提供高效、安全和可扩展的证明系统。：zk-STARK 不需要可信设置, 并且生成证明和验证过程非常高效，适合处理复杂和大量的数据。
...被接受，增强了智能合约的安全性。 3. **隐私：** 像零知识证明（ZKP）这样的技术可以在不透露任何敏感信息的情况下验证交易。 ## StarkNet 和 Cairo StarkNet 是以太坊上的一个 Layer-2 网络，使用 STARK（可扩展透明知识论证）...
...造假除了加强监管一直没有很好的解决办法，但是随着零知识证明技术逐渐成熟，我们可以看到一种新的解决思路。 如果每个用户都可以验证自己部分的资产是否有财务作假行为，那么只要验证的用户足够多，那么一个组...
...速原理进行简单科普。在下文中， **我们将对Cysic的相关知识进行简要概括，帮助更多人降低理解门槛。**  # 从工作流程理解ZK证明系统 ZK证明系统其实...
...will-change-the-gaming-industry/) 带来了哪些好处。 ## 什么是零知识 Rollups？ [ZK-Rollups](https://www.zeeve.io/appchains/polygon-zkrollups/) 是一种 L1 的扩展解决方案，它使用一种称为 ZKP 或 [零知识证明](https://www.zeeve.io/blog/what-are-zero-knowledge-proofs-...
...杂的投票系统并不仅仅使用区块链；它们依赖于诸如 [零知识证明](https://learnblockchain.cn/article/10962) 的密码学来保证正确性，以及多方计算以保证抗强迫能力。因此，它们避免了更简单系统的缺陷，这些简单系统仅仅“将投票直...
...除了我们在审计关键区块链基础设施协议、智能合约和零知识实现方面的丰富经验外，我们团队中的许多成员还有学术研究背景。 在这篇博客文章中，我们希望介绍我们团队成员进行的关于 **智能合约** **安全性** 的学术研究...
...在明文输入上执行计算的结果一致。 简洁的非交互式知识论证 (SNARKs) 是另一种密码学技术，它允许证明者说服验证者某些任意计算已被正确执行。 FHE 本身不提供关于计算正确性的保证，因此不提供任何关于完整性的保证...
>出品：DODO Research > >编辑：yaoyao & Lisa > >作者：dt > 以太坊二层扩容机制，是当今区块链的显学，也是兵家必争之地。 > > $\,$ > > > 本文将介绍第一个上线主网使用 zk-rollup 技术的二层网路 zkSync 从公链本身介绍到生态项...
...，提现是L2发起的；不仅要提交state root， 还需要生成零知识证明提交到L1主链 ### 5.2.2 安全模型不一样 Plasma: 使用欺诈证明机制，通过主链处理争议来确保安全性。用户有一定时间窗口提交欺诈证明。 Validium: 主要依赖零知...
视频 AI 总结： 该视频讨论了零知识虚拟机（ZKVM）及其在区块链技术中的应用。ZKVM 是一种特殊的 SNARK，它允许开发者在不了解底层 SNARK 机制的情况下，编写程序并生成程序正确执行的证明。视频重点介绍了 Jolt，一种新型 ZKVM ...