...绍如何使用 [Elusiv](https://elusiv.io/)，一个基于 Solana 的零知识 (ZK) 隐私协议，来创建一个私密的 SPL 代币转账。 ### 你将做什么 在本指南中，你将： 1. 了解 Elusiv，一个基于 Solana 的零知识 (ZK) 隐私协议 2. 使用 Elusiv SDK 创建一个...
大量零知识证明项目由于错误地使用了某个 zkSNARKs 合约库，引入「输入假名 (Input Aliasing) 」漏洞，可导致伪造证明、双花、重放等攻击行为发生，且攻击成本极低。众多以太坊社区开源项目受影响，其中包括三大最常用的 zkSNARK...
...构建了一种基于BitVM解决方案的分层虚拟机技术。通过零知识证明和乐观执行机制，该技术支持任意类型的计算操作，并在比特币上验证计算的有效性。分层虚拟机技术使我们能够支持任何前端类型的智能合约，例如那些在EVM中...
... | 部分区块链应用 | | Poseidon | 专用于零知识证明 | zk-SNARK、zk-STARK 等 | ### **3.Hash 函数特点** - 不可逆性：哈希结果无法逆向推导出原数据。 - 抗碰撞性：难以找到两个不同数据产生相同哈希值。 ...
...n 2018 年就提出了利用 zk-SNARKs 实现扩展，开创性引入了零知识证明技术证明区块状态变化的有效性，这也是 ZK Rollup 的雏形。 zk-SNARKs 绕不开的一个点就是中心化的 Trust Setup，也称之为CRS(the Common Reference String)。2019年由 Aztec 研...
# 零知识证明 (ZKP) 零知识证明（ZKP）是一个在区块链行业引起广泛关注的概念。许多人，包括我自己，曾将其视为一个神秘的“黑盒”。在本文及后续系列中，我将分享我对一种 ZKP 协议，特别是 zkSNARK [Groth16](https://eprint.iacr.org...
...个教程比较接近。 ## Lookup 要解决的问题 在零知识证明系统中，通常会利用算数化过程将一个计算问题转化为与之等价的数学表达形式(通常是多项式)，这样就可以利用数学性质来对多项式进行变换，计算和验证。这...
...公共代币余额。 所有这些步骤都利用**同态加密**和[零知识证明(ZKPs)](https://learnblockchain.cn/article/12639)，在幕后工作，使系统能够验证正确性，同时隐藏总额。 请参阅“[机密余额产品指南](https://learnblockchain.cn/article/14138)”...
... - ### VerITAS: Verifying Image Transformations at Scale VerITAS 使用零知识证明来证明只有某些编辑被应用于签名过的照片，首次实现了为真实大图像（3000 万像素）进行证明。其关键创新在于设计了一个新的证明系统，该系统能够证明对大...
...之前，先来简要了解 ZK 。 我们究竟是什么意思 ZK？零知识证明（ZK 证明）允许一方（证明者）向另一方（验证者）表明某个陈述是真实的，而不透露其如何真实或披露该陈述底层的敏感细节。正式来说，设 RXW 为一个二元关...
...了，[下一篇](https://learnblockchain.cn/article/2445)继续介绍零知识证明其他内容！。 --- 原文链接：https://mp.weixin.qq.com/s/WQxw2kAZsRHnZKXqtcPZSQ 欢迎关注公众号：blocksight --- ### 相关阅读 [区块链中的数学 - Accumulator(累加器)](https:...
...项目；大饼🫓：指比特币）。 随着zkSync的上线（零知识证明的以太坊扩容项目、兼容EVM），我们对Layer2的关注度越来越高，我们今天不聊黑话，聊聊这些Layer1、Layer2是什么意思，科普一下～ 所谓Layer，通常是对一类...
... | | 为 zkEVM、形式化验证打基础 | 其形式化定义为零知识证明和安全工具提供基准 |
...款证券化，收益按链上智能合约自动分配。 ### 4. **零知识证明（ZKP）赋能** * **隐私化流动性池** Penumbra 的 **zk-Swap** 实现完全隐蔽的交易路径： ` 用户A → [zkProof生成] → 验证节点 → [UTXO销毁/铸造] → 用户B ` ...