找到约 15 条结果

文章 密码学 - ZaKi介绍 - Ingonyama

...移到 GPU 加速实例的潜在性能优势，而无需立即掌握硬件知识。 2. **硬件加速部署**：ZaKi 采用按证明付费的模式运行，类似于 AWS Lambda，允许开发人员在我们优化的 ZK 实例上运行他们的证明者或特定的子协议。 我们通过定制的...

文章 零知识证明的先进形式化验证：两个ZK漏洞的深度剖析

...attachments/2024/10/QJWQNumU6705eccc0729b.png) 我们曾经讨论了[零知识证明的先进形式化验证：如何验证一条ZK指令](http://mp.weixin.qq.com/s?\__biz=MzU5OTg4MTIxMw==\&mid=2247502807\&idx=1\&sn=e5a6deabb78220190c027570b58943f0\&chksm=feacaf45c9db26539e50d6973bcc0c85d2bd22d51...

文章 探索零知识证明系列3 - 寻找「知识」

[系列一：初识「零知识」与「证明」](https://learnblockchain.cn/2019/08/01/learning-zkp/) [系列二：理解「模拟」](https://learnblockchain.cn/2019/08/06/zkp-simu/) [系列三：寻找「知识」](https://learnblockchain.cn/2019/08/28/zkp-pok/) [系列四：「随机...

文章 Kailua：其工作原理

... Optimistic rollups，赋能开发者生成有效性证明，使得在零知识下确认 rollup 衍生。 今天，我们宣布 **Kailua**，一个将乐观 rollups 升级为 Hybrid ZK rollups 的软件套件，其第一个实现基于 Optimism 的 [Kona](https://www.notion.so/112051ebc1b5801ebc2...

文章 Solana上的隐私转账：开发者指南

... 在本指南中，我们将： - 解释隐私转账扩展的基本知识以及隐私余额的工作原理。 - 高级别地看一个示例隐私交易的流程。 - 逐步讲解促成交易的账户结构。 - 查看实际需要执行转账的指令。 ### 你将需要什么 - 对 [S...

文章 ICICLE-Snark：世界上最快的 Groth16 实现

....learnblockchain.cn/2025/04/08/1n57IoqnNEVAC-1DksI0e2g.png) ## 介绍 零知识证明近年来迅速发展，Groth16 作为最广泛使用的证明系统之一，具有理想的区块链特性： - 验证仅需三次配对，使其成为最快的 ZK 证明之一。 - 生成的证明为恒定大...

文章 以太坊主流 L2 方案回顾与展望

...型： * 有效性证明 (Validity Proofs) —— 这是一种利用零知识 (ZK, zero-knowledge) 密码学以确保交易有效性的数学证明 * 欺诈证明 (Fraud Proofs) —— 这种证明引入了一种所谓的争议时间延迟 (Dispute Time Delay, DTD)，一旦证明提交至 L2，...

文章 首个获美 ETF 许可机构千万融资的 BTC L2 ，盘盘 Bitlayer 的技术架构

...组件，功能职责是负责执行智能合约并生成最新状态和零知识证明。 **什么是分层虚拟机？** 要解答这个问题，我们直接看下图（*参考 Bitlayer 白皮书，见附录*）。 ![3.png](https://img.learnblockchain.cn/attachments/2024/07/lDkxap4K66a4e2...

文章 探索零知识证明系列4 - 亚瑟王的「随机」挑战

...现。 > > ― **D. Todd Christofferson** 本文继续长篇大论零知识证明背后的机制原理，希望帮助大家理解这一类「现代密码学工具」的大致轮廓。本文约8000字，少量数学公式。 [系列一：初识「零知识」与「证明」](https://learnbloc...

文章 每周以太坊进展 2020-01-11

... 介绍](https://hackmd.io/benjaminion/bls12-381) * [可视化适用于零知识证明的高效默克尔树](https://kndrck.co/posts/efficient-merkletrees-zk-proofs/) * Haseeb Qureshi：[写给程序员的密码学货币品类介绍](https://nakamoto.com/introduction-to-cryptocurrency/) * Eli Ben...

文章 以太坊 Layer 2 资产桥方案解析：Arbitrum、zkSync 与 DeGate Bridge

... Labs Arbitrum rollup、Fuel Network； * ZK Rollups ：数据上链、零知识证明。应用团队包括 Loopring、Starkware、Matter Labs zkSync、Aztec 2.0； * Validium ：数据链下保存、零知识证明。应用团队包括 Starkware、Matter Labs zkPorter； * Plasma ：数据链下...

文章 零知识证明学习资料汇总

零知识证明技术是现代密码学三大基础之一，由 S.Goldwasser、S.Micali 及 C.Rackoff 在 20 世纪 80 年代初提出。早期的零知识证明由于其效率和可用性等限制，未得到很好的利用，仅停留在理论层面。直到近年来，零知识证明的理论研...

文章 什么是Layer 2？

...零成本和极快的速度促进交易。 ## Rollup 乐观 Rollup 和零知识 Rollup 通过在链下执行智能合约状态更改并在链上证明它们来提供更高的吞吐量和更低的成本。Rollup 的可扩展性是通过以下三种方法实现的。 1. Rollup **执行链下**交...

文章 garaga+noir+starknet starter项目实战

...OjM0MjIwMDcyfQ.-U8AkwL_OE4ohaiyQ7gtxYMu-kdgvdqPShRrL0y-zKE) 二、介绍零知识证明![](https://uploader.shimo.im/f/3mJDAca8UmrHnpUN.png!thumbnail?accessToken=eyJhbGciOiJIUzI1NiIsImtpZCI6ImRlZmF1bHQiLCJ0eXAiOiJKV1QifQ.eyJleHAiOjE3NTA1NTY5NDgsImZpbGVHVUlEIjoiNXJrOUtqNVd6RGNkb1czeCIsImlhdCI6MTc1MDU...

文章 Proof of Talk专访CertiK联创顾荣辉：全周期安全方案护航Web3生态

...应用领域将从智能合约逐步拓展到共识协议、跨链桥和零知识证明等关键环节。CertiK自主研发的形式化验证工具，已在zkWasm、TON主链和蚂蚁集团HyperEnclave TEE等顶级项目中发挥了重要作用。 同时，AI技术在漏洞审计、链上威胁...