...蚁BAAS的官方帮助文档和辉哥的实践，按照一课讲透一个知识点或者功能的逻辑，把蚂蚁BAAS系统深入浅出的做了分析和输出，希望能为大家熟悉蚂蚁区块链系统提供帮助，少走弯路。 ## 2，系列文章 （1）蚂蚁区块链第1课 蚂...
...上管理状态和执行智能合约的虚拟机。zkEVMs 旨在通过零知识电路来证明 EVM 的执行，这个领域在过去的一年里已经有了显著的增长并扩张为一个行业。在该领域涌现了许多不同的项目和社区，每个项目和社区都采取了自己独特的...
一份分享去中心化隐私保护技术、隐私协议开发和零知识系统领域最新进展的月度新闻通讯 ## ZK 网格：2025 年 10 月回顾 欢迎来到 ZK 网格，一份精选的月度新闻通讯，涵盖先进的隐私增强密码学、分布式协议开发和零知识...
Fiat-Shamir 转换是零知识证明 (ZKP) 和多方计算 (MPC) 中的一个重要组成部分。它允许基于交互式协议的零知识证明变为非交互式。本质上，它将对话转换为文档。这种能力是 SNARK 和 STARK 等强大技术的核心。非常有用的东西！ 但是...
## 1\. PCS (多项式承诺方案) 在零知识证明系统中，**多项式承诺方案 (Polynomial Commitment Scheme, PCS)** 是一种密码学原语，它允许证明者将多项式“绑定”到一个短的承诺值，并有效地证明该多项式在特定点上满足某些性质（例如，...
... ## 什么是Elusiv？ Elusiv自称为“一个基于区块链的零知识隐私协议”，其“使用户和应用程序能够访问通用加密”。Elusiv旨在通过将零知识密码学和多方计算应用于用户和网络，实现隐私而不牺牲安全性、安全性和去中心化...
...零成本和极快的速度促进交易。 ## Rollup 乐观 Rollup 和零知识 Rollup 通过在链下执行智能合约状态更改并在链上证明它们来提供更高的吞吐量和更低的成本。Rollup 的可扩展性是通过以下三种方法实现的。 1. Rollup **执行链下**交...
...资源。虚拟机必须能够执行字节代码，执行任何必要的零知识证明的生成和验证，并管理整个执行环境。所有这些任务都需要大量的计算资源，这可能会增加系统的总体开销。另一个开销来源是执行字节代码所需的时间。由于虚...
## ZK Bulletproofs 简介 Bulletproofs 是一种零知识内积论证，它使证明者能够说服验证者他们正确计算了内积。也就是说，证明者有两个向量 $\mathbf{a} = [a_1, a_2, \dots, a_n]$ 和 $\mathbf{b} = [b_1, b_2, \dots, b_n]$，并且他们计算了 $v = \langle\ma...
...nc是基于ZK rollup的Layer 2扩容方案，利用最新一代的简洁零知识证明（succinct zero-knowledge proofs），保证了底层区块链的安全性。 zkSync v1是用于支付的ZK rollup方案，已于2020年7月在以太坊主网上线。zkSync v1被众多协议、钱包和dApp...
... Optimistic rollups，赋能开发者生成有效性证明，使得在零知识下确认 rollup 衍生。 今天，我们宣布 **Kailua**，一个将乐观 rollups 升级为 Hybrid ZK rollups 的软件套件，其第一个实现基于 Optimism 的 [Kona](https://www.notion.so/112051ebc1b5801ebc2...
bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。项目地址： https://github.com/zcash/librustzcash/tree/master/bellman ## 1\. 总体流程  总体流程大致可以...
...。** 也许过去十年中最强大的加密技术是通用的简洁零知识证明，通常称为 zk-SNARKs（“零知识简洁论证”）。一个 zk-SNARK 允许你生成一个证明，表明某些计算有某个特定输出，这种证明可以被极快速地验证，即便基础计算需要...
**为 Solana 生态系统带来可扩展的零知识证明** * * * **要点**: 我们极速的 zkVM SP1 现在有了一个 [Solana 验证器](https://github.com/succinctlabs/sp1-solana?ref=blog.succinct.xyz)。希望在 Solana 上使用 ZKP 来实现可扩展性（网络扩展或大规模 ZK 协...
...**。 这不是渐进式的改进，而是一次飞跃，直接解决了零知识证明中最顽固的瓶颈。 在一台高端游戏 PC 上运行，他们的开源模拟器在短短半秒内处理了一个包含 230 笔交易的复杂以太坊区块。 这一成就不仅仅关乎速度，还关乎...