...innet-alpha-launch-743c6bc2b95e) 时，这是成为 web3 首屈一指的零知识（ZK）应用中心的重要一步。开发者现在可以使用第一代 [通用电路](https://mantanetwork.medium.com/universal-circuits-101-d182a86956b6) 构建，这是一个多功能的 ZK 电路库，专门为...
...次的方式提交至以太坊 L1 链上，但这种方案并不使用零知识证明来证明交易的有效性：**Optimistic Rollups “乐观地”假设了交易的有效性**，除非通过所谓的“**欺诈证明**”(fraud proofs) 成功地挑战了交易的有效性。 简单来说就...
...互动。Railgun 建立在以太坊及其他 EVM 兼容链上，借助零知识证明（zk-SNARKs）和单一全球 Merkle 树创建一个私密、可审计且可扩展的环境。其架构将先进的零知识加密技术与可编程性相结合，创建了一个为 DeFi 应用提供无缝、机密...
...公开课主题为Bitcoin ZK Rollup实时证明。Stephen Duan分享了零知识证明的背景、关键技术及Goat Network的实践方案。 小结 1. ZK Rollup与实时证明（Real-Time Proving） 概念: 实时证明旨在最小化生成证明所需的时间，理想场景是在承担后...
...lithium（又名 ML-DSA）的精彩世界和 Fiat Shamir 方法 ### 当零知识证明方法变成数字签名 你知道零知识证明（ZKP）方法现在正被用于数字签名吗？我将在本文中解释，届时我们将遇到将 ZKP 方法扩展到具有量子鲁棒性的数字签名世...
...# 背后的思考 这一项目的初衷，是希望将 Mina 的高效零知识证明技术，与 Eliza 的用户友好平台结合起来，为区块链生态注入更多活力。Mina 一直以来以其轻量级、高效率著称，而 Eliza 则专注于 AI 技术与用户体验的深度结合。...
...能合约验证器 | | Risc0 验证器 | 250k | 250k | 几乎即时 | 零知识验证器 | | KnowNothingLab 的验证器 | 520k | 520k | ~4 秒 | 零知识验证器 | | Circom | 230k | 300k | 几乎即时 | 零知识验证器 | | 带 EVMMAX 的验证器 | 73k | 73k | 即时 | 核心协议变更 ...
...ipt](https://docs.rs/risc0-zkvm/*/risc0_zkvm/struct.Receipt.html) 基于零知识加密技术领域的几项最新进展。 该证明系统基于 [STARK](https://github.com/risc0/risc0/blob/main/website/docs/reference-docs/about-starks.md)，实现 [DEEP-ALI & FRI](https://github.com/risc0/risc0/bl...
在本次讲座中，Dan Boneh 介绍了非交互式零知识证明（SNARKs）的概念及其应用，特别是在区块链技术中的重要性。以下是视频的核心内容和关键论据的总结： 1. **核心内容概述**： - SNARKs 是一种简洁的非交互式证明，能够有...
....learnblockchain.cn/2025/04/08/1n57IoqnNEVAC-1DksI0e2g.png) ## 介绍 零知识证明近年来迅速发展，Groth16 作为最广泛使用的证明系统之一，具有理想的区块链特性： - 验证仅需三次配对，使其成为最快的 ZK 证明之一。 - 生成的证明为恒定大...
_本文是系列文章中的第三篇。我们在零知识证明的电路上下文中介绍有限域。前两篇内容为 [P 变 NP 及其在零知识证明中的应用](https://learnblockchain.cn/article/9569) 和 [算术电路](https://learnblockchain.cn/article/11317)。_ 在前一章关于算...
一个 **零知识虚拟机** (ZKVM) 是一个可以创建 ZK 证明的虚拟机，该证明验证它正确执行了一组机器指令。这允许我们获取一个程序（一组操作码），一个虚拟机规范（虚拟机如何运行，它使用什么操作码，等等），并证明生成的...
... 可验证凭证可从三个方面解决这些问题： - 使用[零知识证明](https://101blockchains.com/zero-knowledge-proof/)来证明申领数据的有效性而不透露私人信息 - 使用公钥密码学来验证凭证发布机构 - 将索赔信息存储在可验证的数据注册...
### 比特币零知识证明（ZK）的创新方法 https://polyhedra.medium.com/breaking-ground-in-bitcoin-polyhedra-zk-research-breakthrough-6238ba52377d **李一笑**: polyhedra团队推出了一种直接在比特币区块链上验证 ZK 证明的创新方法，使用 FRI（Fast Reed-Solomo...
...（EIP-4844）。 在密码学中，多项式是表示关于各种实体知识的强大工具。例如，一组数字可以通过插值作为一个多项式表示。同样，计算也可以通过算术电路转化为多项式。因此，能够以一种方式承诺一个多项式，使得承诺者...