... Optimistic rollups，赋能开发者生成有效性证明，使得在零知识下确认 rollup 衍生。 今天，我们宣布 **Kailua**，一个将乐观 rollups 升级为 Hybrid ZK rollups 的软件套件，其第一个实现基于 Optimism 的 [Kona](https://www.notion.so/112051ebc1b5801ebc2...
... 在本指南中，我们将： - 解释隐私转账扩展的基本知识以及隐私余额的工作原理。 - 高级别地看一个示例隐私交易的流程。 - 逐步讲解促成交易的账户结构。 - 查看实际需要执行转账的指令。 ### 你将需要什么 - 对 [S...
[系列一：初识「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) [系列二：理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-simu/) [系列三：寻找「知识」](https://learnblockchain.cn/2019/08/28/zkp-pok/) [系列四：「随机...
...组件，功能职责是负责执行智能合约并生成最新状态和零知识证明。 **什么是分层虚拟机？** 要解答这个问题，我们直接看下图（*参考 Bitlayer 白皮书，见附录*）。  —— 这是一种利用零知识 (ZK, zero-knowledge) 密码学以确保交易有效性的数学证明 * 欺诈证明 (Fraud Proofs) —— 这种证明引入了一种所谓的争议时间延迟 (Dispute Time Delay, DTD)，一旦证明提交至 L2，...
....learnblockchain.cn/2025/04/08/1n57IoqnNEVAC-1DksI0e2g.png) ## 介绍 零知识证明近年来迅速发展，Groth16 作为最广泛使用的证明系统之一，具有理想的区块链特性： - 验证仅需三次配对，使其成为最快的 ZK 证明之一。 - 生成的证明为恒定大...
...现。 > > ― **D. Todd Christofferson** 本文继续长篇大论零知识证明背后的机制原理，希望帮助大家理解这一类「现代密码学工具」的大致轮廓。本文约8000字，少量数学公式。 [系列一：初识「零知识」与「证明」](https://learnbloc...
... 介绍](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 ：数据链下...
...零成本和极快的速度促进交易。 ## Rollup 乐观 Rollup 和零知识 Rollup 通过在链下执行智能合约状态更改并在链上证明它们来提供更高的吞吐量和更低的成本。Rollup 的可扩展性是通过以下三种方法实现的。 1. Rollup **执行链下**交...
...OjM0MjIwMDcyfQ.-U8AkwL_OE4ohaiyQ7gtxYMu-kdgvdqPShRrL0y-zKE) 二、介绍零知识证明 (ZKP)。这是一类巧妙的数学技术，具有多种属性，其中...
...EVM 行为的深刻理解 - 通过代码优化最小化 gas 成本的专业知识 - 熟悉安全标准和审计准备 - 了解代理和工厂等合约设计模式 - 精通 Hardhat 和 Foundry 等测试工具 聘请一位 [**高级 solidity 智能合约开发者**](https://vegavid.com/hire-solidity-...
...应用领域将从智能合约逐步拓展到共识协议、跨链桥和零知识证明等关键环节。CertiK自主研发的形式化验证工具，已在zkWasm、TON主链和蚂蚁集团HyperEnclave TEE等顶级项目中发挥了重要作用。 同时，AI技术在漏洞审计、链上威胁...