零知识（ZK）是过时的加密技术吗？是和不是。 围绕 ZK 的市场宣传将其提升为先进的加密技术，这在概念上是相当正确的。ZK 证明系统当然是非常优雅的加密构造。 另一方面，当涉及到一个有效的 ZK 产品时，它们只是半个...
...保整个过程的安全性与 Layer 1 保持一致。ZK Rollup 以 **零知识证明 zk-SNARKs** 的密码学技术确保安全性，而 Optimistic Rollup 则继承了 Plasma 的 **惩罚机制** ，以确保节点如果作恶将付出很大的代价。 领域中起着至关重要的作用。在核心上，ZK 证明解决了在不透露任何附加信息的情况下证明秘密数据中某些属性存在的挑战...
...题为基于线性概率检查程序（PCP）的SNARKs（简洁非交互式知识论证）。讲座首先回顾了之前讲解的SNARKs的基本概念和构建方法，包括基于多项式承诺和错误纠正码的方案。接着，Zhang详细介绍了线性PCP的构建方法，强调了其在SNAR...
...户发送到网络的交易）引起的状态转换。之后通过利用零知识功能创建有效性证明，证明这些链外状态变化计算的准确性。 zkEVM的主要组件包括： - 共识（POE）合约（PolygonZkEVM.sol） - zkNode - 同步器（Synchronizer） - 排序...
zkEVM是零知识证明相对复杂的零知识证明应用，源代码值得反复阅读和学习。 https://github.com/appliedzkp/zkevm-circuits.git 本文中采用的源代码对应的最后一个提交信息如下： ``` commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main) A...
...判断正确状态。zkRollup是最直接的状态同步方式，通过零知识证明技术，在向Layer1提交状态的同时提供状态变化的证明。Layer实现分类如下：  zkRollup，按照采用的零知识证明...
...rt 漏洞最早是由 Trail of Bits 团队命名的。“Frozen”代表零知识证明的铸造，而“Heart”则表明 Fiat-Shamir 转换是许多证明系统的核心。该漏洞指的是使用“弱 Fiat-Shamir”转换。在这种情况下，只对证明者的消息的部分进行了哈希，...
...讨论了基于纠错码的多项式承诺方案，重点介绍了其在零知识证明中的应用。以下是视频的核心内容和关键论据总结： 1. **核心内容概括**： - 本讲座介绍了基于纠错码的多项式承诺方案，强调了其在构建高效的SNARK（简洁...
...，Dan Boneh详细介绍了一个广泛使用的SNARK（简洁非交互式知识论证）构造，名为Plonk。讲座的核心内容是逐步构建Plonk的各个组成部分，并解释其工作原理。 ### 核心内容概述 Plonk是一个多项式交互式oracle证明（IOP），用于验证...
...kSync 是一种基于以太坊的二层扩容解决方案，它利用了零知识证明技术来提高交易吞吐量和降低交易成本。zkSync 属于目前以太坊比较流行的扩容方案 ZK-Rollup 的一种，通过将大量交易批量处理并将结果提交到以太坊主链来实现高...
...uffragium** 是一个安全、保护隐私的投票系统，它结合了零知识证明 (ZKP) 和全同态加密 (FHE)，以创建一个无需信任且防篡改的投票平台。利用 Zama 的 **fhEVM**，Suffragium 保留了安全投票系统的所有基本属性。 ### 对安全和私密投票...