... 在本指南中，我们将： - 解释隐私转账扩展的基本知识以及隐私余额的工作原理。 - 高级别地看一个示例隐私交易的流程。 - 逐步讲解促成交易的账户结构。 - 查看实际需要执行转账的指令。 ### 你将需要什么 - 对 [S...
...型： * 有效性证明 (Validity Proofs) —— 这是一种利用零知识 (ZK, zero-knowledge) 密码学以确保交易有效性的数学证明 * 欺诈证明 (Fraud Proofs) —— 这种证明引入了一种所谓的争议时间延迟 (Dispute Time Delay, DTD)，一旦证明提交至 L2，...
...kchain.cn/2025/09/13/35567163_image.png) > ## **要点总结** > > - **零知识证明 (ZKPs)**：Aleo 使用 ZKPs 实现私有交易，而无需泄露敏感数据。 > > - **zkVM**：Aleo 独有的 zkVM 支持安全、可扩展和私有的智能合约，超越了基于以太坊的 zkEVM。 > > - *...
....learnblockchain.cn/2025/04/08/1n57IoqnNEVAC-1DksI0e2g.png) ## 介绍 零知识证明近年来迅速发展，Groth16 作为最广泛使用的证明系统之一，具有理想的区块链特性： - 验证仅需三次配对，使其成为最快的 ZK 证明之一。 - 生成的证明为恒定大...
[系列一：初识「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) [系列二：理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-simu/) [系列三：寻找「知识」](https://learnblockchain.cn/2019/08/28/zkp-pok/) [系列四：「随机...
...零成本和极快的速度促进交易。 ## Rollup 乐观 Rollup 和零知识 Rollup 通过在链下执行智能合约状态更改并在链上证明它们来提供更高的吞吐量和更低的成本。Rollup 的可扩展性是通过以下三种方法实现的。 1. Rollup **执行链下**交...
...和一个使用 arkworks 框架实现的、以 Aleo 指令为目标的零知识虚拟机。 你可以查看代码： - [Tendermint 区块链实现](https://github.com/lambdaclass/aleo_lambda_blockchain) - [使用 Arkworks 实现的虚拟机](https://github.com/lambdaclass/aleo_lambda_vm) 这个...
...完整堆栈： - 研究前沿：PSE 开创了应用密码学，包括零知识证明，并得到了数十位领先研究人员和工程师的贡献。 - 协议层：这些突破性进展为如何将可扩展性和机密性嵌入到以太坊本身提供了信息。 - 应用层：诸如 Semaphore...
... 介绍](https://hackmd.io/benjaminion/bls12-381) * [可视化适用于零知识证明的高效默克尔树](https://kndrck.co/posts/efficient-merkletrees-zk-proofs/) * Haseeb Qureshi：[写给程序员的密码学货币品类介绍](https://nakamoto.com/introduction-to-cryptocurrency/) * Eli Ben...
... Labs Arbitrum rollup、Fuel Network； * ZK Rollups ：数据上链、零知识证明。应用团队包括 Loopring、Starkware、Matter Labs zkSync、Aztec 2.0； * Validium ：数据链下保存、零知识证明。应用团队包括 Starkware、Matter Labs zkPorter； * Plasma ：数据链下...
...t Cowlishaw** (LinkedIn: ) 是一位航空航天工程师，率先研究零知识证明、可信执行和卫星图像的交叉领域。他正在开发一个原型应用程序，该应用程序可以在自然灾害发生后自动且可验证地触发应急响应系统。他的工作包括与联合国...
在本章中，我们将探索 *零知识密码学* 的迷人世界，并了解它如何完美地应用于以太坊的路线图，使其能够真正扩展并满足大规模采用对区块空间的需求。零知识技术是一个非常复杂的主题，依赖于许多我们无法详细解释的数...
...密 | 隐私投票、ZK 认证 | | **ZK + FHE** | 密态计算 + 零知识验证 | 隐私 AI、机密 DeFi | | **TEE + MPC** | 可信硬件与分布式结合 | 去中心化计算网络 | 例如： * **Fhenix** 在 EVM 层集成 FHE，实现原生加密智能合约； * **Oasis P...
...现。 > > ― **D. Todd Christofferson** 本文继续长篇大论零知识证明背后的机制原理，希望帮助大家理解这一类「现代密码学工具」的大致轮廓。本文约8000字，少量数学公式。 [系列一：初识「零知识」与「证明」](https://learnbloc...
...的用户无法获得与主链可比的安全保证。 ## 新希望：零知识证明 我们工作的灵感来自于近年来取得巨大进展的技术： [零知识证明](https://en.wikipedia.org/wiki/Zero-knowledge_proof) (ZKP)。这是一类巧妙的数学技术，具有多种属性，其中...