...将每个交易压缩到仅 ~10 字节；因为它们的有效性通过零知识证明进行验证，签名不需要包括在内。通过 BLS 聚合签名，类似的吞吐量可以在影子链中实现（最近被称为“乐观 rollup”，以强调其与 ZK Rollup 的相似性）。即将到来...
 零知识虚拟机 (zkVMs) 利用零知识证明 (ZKPs) 来验证在特定指令集架构上执行的计算的正确性。实际上，zkVM 允许你用熟悉的级语言（例如 Rust 或 C）编写程序，而无需处理 ZKP 的细节...
...有控制权。 - 分布式账本 MobileCoin 区块链是一种零知识的数据结构，由 UTXO、密钥镜像（key images）和用于确保一致性和结构的 Merkle 证明的元数据块组成。 每个区块都包含可供未来花费的 UTXO，每笔交易都包含了未花...
...多项式是否一致。大多数实用的 SNARKs（简洁的非交互式知识论证）都是使用 PCS 构建的。它由以下三个算法组成： - setup(d)→pp: 给定一个关于阶数的上限 d，它输出公共参数 pp，用于承诺阶数小于 d 的多项式。 - commit(pp,f)→comf:...
...核心。 RISC Zero STARK 的构建是高度技术性的，依赖于零知识密码学领域的几项最近进展。 具体来说，构建 RISC Zero 的 zk-STARK 使用 DEEP-ALI 协议和批量 FRI 协议（经过随机预处理步骤）。 在这 12 个简短的课程中，我们将通过一...
...。Polygon zkEVM 继承了以太坊 L1 网络的安全特性，并使用零知识证明（ZK 证明）来确保交易有效性并保护用户资金。这为在 Polygon zkEVM 上处理的交易提供了额外的安全层。 通过使用 ZK 证明，Polygon zkEVM 降低了交易成本，使其更...
...头理解椭圆曲线，不如研究一堆其他代数群，然后将这些知识和直觉转移到椭圆曲线上。 在加法下有理数构成一个群。在模素数下的整数构成一个乘法群。非零行列的矩阵在乘法下构成一个群。 你进行二元运算，你会在集...
...PCD/SNARKs，性能与前量子折叠方案竞争力相当 - [最小化零知识证明电路中的外来算术](https://eprint.iacr.org/2024/265) - [Pedersen DKG 实现中的 DoS 漏洞](https://blog.trailofbits.com/2024/02/20/breaking-the-shared-key-in-threshold-signature-schemes/) 用于门限...
...能合约的执行到跨链验证、从去中心化应用（DApp）到零知识证明（ZKP）的生成，一切链上行为最终都需要被一种形式的**虚拟机（Virtual Machine, VM）**解释与执行。而支撑虚拟机运行的底层，是一个通常被忽视却极其关键的部分：...
...的交易者，允许流动性提供者根据其他参与者交易的内幕知识来调整他们的报价。由于在中心化限价订单簿（CLOB）交易所中订单簿是公开的，因此做市商可以实时查看涌入的订单并相应地采取行动。不幸的是，Alice无法防止她的...
...生态系统。例如，**Polygon 的 BUIDLit 黑客松** 为专注于零知识工具的项目提供了一个特定赛道，这是一项他们正在优先考虑的新技术，他们的目标是开发一个 [零知识 EVM (zkEVM)](https://learnblockchain.cn/article/12892) 就证明了这一点。 ...
...与 Antalpha Labs 合作，在苏州支持 ZK Research HackerHouse，为零知识证明 (ZKP) 社区创建了一个创新和知识共享的中心。 到 5 月，Massive 达到了一个重要的里程碑，在全球 170 多个国家/地区拥有 200,000 个注册节点，突显了其日益增长的...
弥补你在以太坊开发和Solidity编程方面的知识空白 RareSkills 英文训练营在[这里](https://www.rareskills.io/solidity-bootcamp) 申请 。 登链社区是RareSkills的合作伙伴，登链社区的集训营在[这里](https://learnblockchain.cn/openspace/1) 申请 。 ...
... * **交易聚合：** 将用户交易聚合成批次，然后生成零知识证明，提交给外部区块链进行验证，减少链上数据负载和交易费用。 * **中间件：** 可以理解为部署在以太坊和 ZK Chains 之间的中间件，以促进 ZK Chains 之间的全面互...