...个主要的改进和新功能。TFHE-rs v0.11 引入了显著增强的零知识证明性能，以及一个用于加密字符串的新模块，可通过 FheAsciiString 类型在高级 API 中使用。此外，默认的加密参数现在遵循调整后的均匀 (TUniform) 噪声分布，而不是高...
> 零知识证明已在区块链领域大放异彩，包括第一个实现 zkSNARK 的匿名加密货币 Zcash > 和 Layer 2 的主要解决方案 ZK Rollup。 **原文标题：《零知识证明最简介绍：历史、原理、实现》 撰文：DeGate** 密码学可以说是区块链技术...
...tps://www.gelato.cloud/blog) — Gelato 大学 ## 构建未来：引领零知识技术发展的项目  可扩展性是以太坊面临的挑战，导致了像 ZK rollups 这样的 Layer-2 解决方案...
前段时间在翻译一本零知识证明技术的书。上个月底基本内容已经翻译完成。翻译时间比我预想的长得多。目前正在和作者讨论书中的一些笔误，准备最后的定稿。 anyway，终于有点时间看看新鲜东西。先从Nova算法开始～ ...
浅谈零知识证明系列文章已有如下更新： 1. [背景与起源](https://learnblockchain.cn/article/278) 2. [简短无交互证明（SNARK）](https://learnblockchain.cn/article/352) --- 上个学期在斯坦福跟着Dan Boneh学习了区块链和数字货币相关的技术。和以...
...提交的 blob 数据在需要时是可用且可验证的。这类似于零知识证明，通过数学方法验证数据的完整性和有效性，而不需要将所有数据永久存储在链上。 3. **如何验证 Rollup 交易？** 1. **Rollup 压缩交易**：Rollup 链（例如 zkSync）...
...常缺乏基本功能。 通过克服传统链上计算和复杂零知识解决方案的限制，zkVM 1.0 使开发者能够轻松构建可扩展、互操作和创新的应用程序。 **为什么这很重要** -------------------- zkVM 1.0 为构建链上协议和去中心化...
一个 zkVM (零知识虚拟机) 使用零知识证明来证明和验证在特定 ISA (指令集架构) 中运行的计算。现有的 zkVM (例如, [risc0](https://risczero.com/), [sp1](https://github.com/succinctlabs/sp1), [jolt](https://github.com/a16z/jolt), [valida](https://github.com/valida-xy...
...以太坊的流行替代方案。 目前，Polygon 正在开发一套 [零知识 Rollup](https://learnblockchain.cn/article/14331) (ZK Rollup)，以提高以太坊的吞吐量，同时不牺牲去中心化或安全性。 ZK Rollup 在链下处理交易，并减少基础层上的计算，以实现...
...来发展。 ## 什么是 zkVM？ Rami 解释说，zkVM 本质上是零知识证明的实践实现。他将零知识证明比作签名的泛化。在签名中，私钥生成消息上的签名，公钥可以验证该签名。利用零知识证明，“私有部分”可以是任何输入，“签...
...环和域如何在密码学中使用，以及为什么它们对于理解零知识证明背后的数学是必要的。 _"F 是一个超多项式大小的素域 _ ”**PLONK：用于普适非交互式知识论证的基于拉格朗日基的排列（2019）** 在本文中，我们将最终了解...
...个随机数，从而暴露我们的身份。 ## 用球为例解释零知识 现在，如果我们能向警卫证明，我们知道一个秘密的数字，在不透露实际数字的情况下，在碗内对承诺进行哈希运算呢？那么，我们可以用零知识证明来做到这一点...
...ttps://learnblockchain.cn/article/10821)，我们深入探讨了一个 _零知识证明_ 协议的特定示例。尽管优化和性能问题不谈，它涵盖了所需的用例：证明一个数字在 _某个范围_ 内。然而，该协议是 _极其具体_ 的，为了另一个声明而制作另...
## **一. 从隐私到扩容，零知识证明的崛起** 自区块链问世以来，如何在去中心化的环境下保证数据隐私与系统可扩容，一直是产业和学界的共同难题。区块链承诺为我们带来**不可篡改、无需信任**的分布式账本，但交易透明...
...了 BitSNARK v.0.1，第一次使得使用户能够验证比特币上的零知识证明。允许任何人在不分叉代码的情况下升级网络。BitSNARK 协议是在比特币网络上验证零知识证明执行情况的一种方法，它允许将比特币的转移与可证明的外部事件（...