找到约 15 条结果

文章 技术详解 | Divide and Conquer:ZK除法中隐藏的漏洞

.../1725936355186003.jpg) ## **ZK的崛起与演变** 曾几何时,知识证明(以下简称ZK)仍然被认为是密码学教科书中的理论概念,至少在传统安全研究中很少被主流社群深入探索。然而在Web3.0领域,区块链技术的迅速发展,用短短几...

文章 Medjai:保护 Cairo 代码免受漏洞影响

...合约,但其中一些语言(包括 Cairo)在能够支持构建 **知识证明**方面是独特的。知识证明 (ZKPs) 允许一方(“证明者”)向另一方(“验证者”)证明他们知道某个信息而无需泄露任何秘密信息。这对智能合约尤其有用,...

文章 抽象代数

...我们在这里的目标是明确理解什么是 **群**,因为这在知识证明中到处使用。我们可以现在就给出一个定义: **群是一个具有封闭、结合、具有单位元素的二元运算符的集合,并且每个元素都有一个逆元素。** 但这个简短...

文章 L2 桥接风险架构

...上验证来源链状态转换有效性的桥接。该验证过程通过知识证明实现 (状态转换过程伴随着一个 zk 证明的生成) 或是欺诈证明系统完成 (允许独立的验证者就新状态根的有效性提出争议)。 - 例子:所有 Rollup 都算是这里的例...

文章 用于3SF的Native Rollup

...1 侧通过实际执行计算来确认正确性,而 L2 侧通过验证知识证明来确认正确性。 ### 2.2. 3SF 的原生 Rollup 将 3SF 适配到此架构将导致以下结果。 [![スクリーンショット 2025-01-29 22.57.28](https://img.learnblockchain.cn/2025/08/06/7e8a7ab0ff84c...

文章 侧链算不算L2?

...诈证明的费用太高时,其安全性就更小了 * 同样的,知识证明也不是万能的,会出现排序者掉线以及 L1 无法应对大规模退出的情况 他还提到,L2 解决方案可以归结为以下四点: * 数据可用性 (委员会/rollup/等) * 状态转换...

文章 加密货币之夏:热门话题、数据、文本(书籍)、读物及更多

...了这里的所有数据,从月度开发者活动到乐观 Rollup 和知识 Rollup 等 Layer 2 趋势将如何改变区块链的格局。但真正令人震惊的是数据告诉我们 web3 向创作者支付了多少: **[在此处查看或下载报告](https://img.learnblockchain.cn/2025/07/1...

文章 开始学习zk-SNARK(一)-多项式的性质与证明

...早接触 zk-SNARK 开始,就断断续续得学习了一些 zk-SNARK 的知识,但对其原理始终存在诸多困惑,没有形成一个完整的认识。偶然一次机会,看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起,从一个简单易懂的证明...

文章 Vitalik :让以太坊重归加密朋克

... clients)[开始真正存在](https://github.com/a16z/helios)。 * 知识证明(Zero knowledge proofs),一种我们认为还有几十年才能实现的技术,现在已经出现,越来越对[开发者友好](https://kndrck.co/posts/practical_guide_build_zk_dapps/),并即将可用...

文章 前沿|区块链热点项目技术复盘-0601

...,Polychain Capital 和 Lemniscap 共同领投。Webb Protocol 通过知识证明提供跨链中包括资产、数据和位置等信息的隐私功能。 Webb 协议是一个用于构建和管理跨链应用程序的系统,可以在兼容区块链上的一组相同的桥接系统中支持共...

文章 友好的知识证明介绍

...chain.cn/article…](https://learnblockchain.cn/article/6184) ## 知识证明是魔法 知识证明是一种魔法。它能让我们做到以前想都不敢想的事情。 首先,让我引用几句名言来刺激你的大脑。有些可能是你耳熟能详的,有些可能是...

文章 内嵌原生L2和无状态区块构建-分片

...本变得越来越高。因此,盈利能力取决于复杂的、专有的知识,这大大增加了新参与者在区块构建方面的竞争力。当拍卖是赢者通吃时,没有竞争力的构建者无法生存,最终会导致高度中心化(双头垄断或垄断对我来说并不奇怪...

文章 ZK压缩主题演讲:breakpoint 2024

...链上指纹验证其完整性。这一过程的最后一步是利用[知识SNARKs](https://www.helius.dev/blog/zero-knowledge-proofs-its-applications-on-solana#-zk-snarks-and-circuits),这为验证这些账户的完整性提供了证明系统。 ### 为什么ZK压缩? 几个关键特...

文章 什么是重放攻击?

...使用下一代密码学来保护数据隐私和安全: - [什么是知识加密?](https://learnblockchain.cn/article/18954) - [什么是知识证明?](https://learnblockchain.cn/article/18952) - [什么是同态加密?](https://learnblockchain.cn/article/18953) [什么是女巫攻击...

文章 Sangria

... 博客文章](https://cryptography.land/2023/03/05/nova)。 ## **预备知识** ### **PLONK算术化** 在 PLONK 中,计算被表示为一个矩阵$ M$,具有三列$ a、b、c$ 和$ n+s+1$ 行。$ n$ 是公共输入的数量,$s $是门的数量,额外的一行检查最终...