...rate/1699317337526) ### 简介 领域特定语言（DSL）在[零知识（ZK）证明](https://learnblockchain.cn/article/5440)领域中起着至关重要的作用。在核心上，ZK 证明解决了在不透露任何附加信息的情况下证明秘密数据中某些属性存在的挑战...
...chments/2025/03/oOlSJ4VA67cd47868c4f4.png!/scale/60) 你是否听说过零知识证明（ZK）的神奇之处，却不知其运作机制？那么，“ZK白板系列”专栏将是你打开这扇魔法之门的钥匙！ 从零知识证明的基本概念出发，逐步深入到高级协议，并探...
zkEVM是零知识证明相对复杂的零知识证明应用，源代码值得反复阅读和学习。 https://github.com/appliedzkp/zkevm-circuits.git 本文中采用的源代码对应的最后一个提交信息如下： ``` commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main) A...
...rt 漏洞最早是由 Trail of Bits 团队命名的。“Frozen”代表零知识证明的铸造，而“Heart”则表明 Fiat-Shamir 转换是许多证明系统的核心。该漏洞指的是使用“弱 Fiat-Shamir”转换。在这种情况下，只对证明者的消息的部分进行了哈希，...
...作性提供无需信任且高效的跨链基础设施。zkBridge 使用零知识证明结构来[证明完整的 Ethereum PoS 共识](https://polyhedra.medium.com/proving-full-node-of-ethereum-in-zk-c7ffaaa688dd)以及各种 layer-1 和 layer-2 网络的state transitions。 凭借其高效的证明...
...户发送到网络的交易）引起的状态转换。之后通过利用零知识功能创建有效性证明，证明这些链外状态变化计算的准确性。 zkEVM的主要组件包括： - 共识（POE）合约（PolygonZkEVM.sol） - zkNode - 同步器（Synchronizer） - 排序...
...判断正确状态。zkRollup是最直接的状态同步方式，通过零知识证明技术，在向Layer1提交状态的同时提供状态变化的证明。Layer实现分类如下：  zkRollup，按照采用的零知识证明...
...kSync 是一种基于以太坊的二层扩容解决方案，它利用了零知识证明技术来提高交易吞吐量和降低交易成本。zkSync 属于目前以太坊比较流行的扩容方案 ZK-Rollup 的一种，通过将大量交易批量处理并将结果提交到以太坊主链来实现高...
...题为基于线性概率检查程序（PCP）的SNARKs（简洁非交互式知识论证）。讲座首先回顾了之前讲解的SNARKs的基本概念和构建方法，包括基于多项式承诺和错误纠正码的方案。接着，Zhang详细介绍了线性PCP的构建方法，强调了其在SNAR...
...SC Zero zkVM——一个利用RISC-V架构进行安全和私密计算的零知识虚拟机。 虽然我们为RISC Zero完成了多次安全审核，但我们的安全合作不仅限于审核。 在这篇博客文章中，我们强调了我们是如何合作的，使用**Picus**，Veridise的自动...
#### Polygon Miden 将通过使用先进的零知识密码学技术STARK来压缩交易，然后在以太坊上验证它们，从而增强 Polygon 的可扩展性和安全性。  ...
...讨论了基于纠错码的多项式承诺方案，重点介绍了其在零知识证明中的应用。以下是视频的核心内容和关键论据总结： 1. **核心内容概括**： - 本讲座介绍了基于纠错码的多项式承诺方案，强调了其在构建高效的SNARK（简洁...