...，但也存在其他后量子替代方案。一种是使用 STARK 以零知识证明许多基于哈希的签名是有效的。这些方法通常会导致更大的证明大小 - [对于 10k 签名约为 300KB](https://learnblockchain.cn/article/17654) - 但受益于更快的验证时间。 在本...
...月 23 日 在 [Helius 和 Light Protocol 宣布他们在 Solana 上的零知识 (ZK) 压缩项目](https://x.com/LightProtocol/status/1804241026334548366)后的几天里，关于 ZK 压缩的讨论很多。大量的讨论集中在命名法上。它是 ZK rollup？L2？还是完全不同的东西...
...*Tachyon 项目** 中的 set-noninclusion accumulator 所需的预备数学知识——如果你已经熟悉基本的抽象代数，可以跳到下一篇文章。 ## 一些数学预备知识 ### 音乐的动机 18 世纪，作曲家 **约翰·塞巴斯蒂安·巴赫** 创作的音乐因其...
...，但也存在其他后量子替代方案。一种是使用 STARK 以零知识证明许多基于哈希的签名是有效的。这些方法通常会导致更大的证明大小——[对于 1 万个签名约为 300KB](https://learnblockchain.cn/article/17654)——但受益于更快的验证时间。...
...限域是否具有该阶的乘法子群。 我们将介绍以下预备知识，然后介绍循环群基本定理： 1. 子群的定义 2. 群或子群的阶 3. 乘法群中元素的幂 4. 循环子群、循环群及其生成元 ### 1. 子群的定义 给定一个群 G，G 的一个子...
...历史上看，zkEVM rollup 很难构建，需要深厚的密码学专业知识，这使得定制和维护变得复杂且耗时。在过去的一年中，零知识证明取得了巨大的进展，其中像 SP1 这样的 zkVM 处于领先地位。 SP1 使任何开发人员都可以使用标准 Rust ...
...种商品的特征或者说属性，并没有不费力就可获得的完美知识。持有不同商品的两个人，对对方所提供的商品的真实属性所知越少，他们之间的交易就会受到越大的阻碍（更费力）。我们假设对不同商品的知晓程度存在人际差异...
...）。这些主要通过有效性证明来证明（这其中没有任何零知识的内容），并且在过去一年中，针对具体存储证明及其计算进行了一系列的优化和性能改进。我们还看到了一些针对链上数据的协处理器的兴起，以及用于链下-to-链...
...上手摸摸 CKB 这条链， > > 才能更好体会到前面的理论知识。 --- 我们已经在云端运行了一条测试链， 并预先生成了一些账户地址，方便这次教程的使用。 试试点击下面的按钮，查看这条链最新的区块。 Fetch Blocks ...
...inal.com/explorer/tokenized-assets ## 实时 ZK 证明 2025 年，零知识 (ZK) 技术跨越了一个关键门槛：从学术研究转向生产就绪的基础设施，这重新定义了区块链网络如何扩展和保护自身。 领先的团队（例如，Succinct，Brevis）已经在 Et...
...特殊的哈希函数，它具有一些特殊的性质，使其适用于零知识证明场景。与传统的哈希函数不同，zk-friendly 哈希函数通常具有以下特点： 1. 低计算复杂度：zk-friendly 哈希函数通常具有较低的计算复杂度。 2. 低内存占用：zk-frien...
...语言（DSL）需要具有大多数软件开发人员无法接触的专业知识。 零知识虚拟机（zkVMs）的发展克服了这第三个可用性障碍，因为zkVM允许开发人员使用Rust或Go等高级编程语言编写程序 - 而无需了解将证明其执行的底层SNARK。但是...
>出品：DODO Research > >编辑：yaoyao & Lisa > >作者：dt > 以太坊二层扩容机制，是当今区块链的显学，也是兵家必争之地。 > > $\,$ > > > 本文将介绍第一个上线主网使用 zk-rollup 技术的二层网路 zkSync 从公链本身介绍到生态项...
...GAS费，在以太坊伊斯坦布尔升级后，引入了 zk-SNARKs（零知识证明）技术，降低了某些运算所需的 gas 费，后面Loopring的ZkRollUp方案才慢慢得到应用，然而这是一个非常漫长的过程，需要从发起提案到最后矿工升级，以太坊的EIP1159...