# 大纲 - [1\. 引言](#35c276695033) - [2\. 零知识证明为什么重要？](#3e932a4fb951) - [3\. 为什么 ZKP 慢以及我们如何加速它们？](#5a462079fc40) - [4\. 硬件很重要](#8e30fb751236) - [5\. 结论](#91c3a28668e4) ## 引言 零知识密码学是过去五十年来计算机...
...换执行中的应用。 ## 精选视频课程 [**伯克利 零知识证明课堂**](https://learnblockchain.cn/video/play/1087?collection_id=18)  本系列视频课程将为大家带来零...
...nce >审阅 | Franci, ECN 在以太坊生态系统中，使用零知识证明 (ZKPs) 来改善**隐私和可扩展性**的工作非常有前景的。 我想重点强调的是，还有一小部分人专门致力于以太坊上的 ZKP 技术的社交应用。我几乎将所有不以扩展...
...不同。天真的方法通常看起来是正确的，但可能导致在零知识证明（ZKP）中存在多个有效解，从而破坏ZKP的健壮性属性。这可能导致ZKP实现中的多种安全漏洞。通过在电路层添加适当的约束——无论是通过实现位wise 除法算法，...
...  关于零知识证明、zkEVM和2层技术，我们需要知道的是什么。 让我们面对现实吧：区块链技术可能会变得很复杂。 对于我们这些不是编码员或计算机科学家的人来说，理解支...
...** Kroma Network 是一个基于 OP stack 的通用 rollup，它利用零知识证明进行主动容错证明。它的使命是通过提升用户和开发者的体验来加速区块链技术在日常生活中的应用。 作为发展成为通用 ZK rollup 的战略愿景的一部分，Kroma 预计...
TFHE-rs v0.6 引入了一种补充 FHE 的密码学技术，称为零知识证明。此外，此版本还增强了对有符号整数运算的 GPU 支持。此外，它还引入了额外的密码学特性，例如加密随机数的生成。 ### **用于紧凑公钥加密的零知识证明** 除...
... 128 49,856 5 (256-bit) ``` ### ML-DSA — 使用零知识证明的 Fiat Shamir 签名 现在，我们将看一下右侧，看看对于我们的基于格的签名生成方法，我们不再需要陷阱门： $ 的证...
...录，也算是对整个zkp逻辑做个梳理。 一段代码生成零知识证明可以分为代码变成多项式阶段，多项式生成承诺两个阶段。 **第一阶段，简单来说就是把代码转换成 a * b = c 三元算式的列表（就是写电路），然后套数据公式把...
## Highlights ### What Does It Mean To Know? 这是一篇探讨零知识中的知识的含义的博客，ZK-proofs 是加密货币最伟大的进步之一。但是，哲学家对 "知识" 的研究已有千年历史。在这篇文章中，我将比较哲学家对知识定义的 "合理真实信念" ...
...com/@maurosbicego?utm_source=medium&utm_medium=referral) on Unsplash 零知识证明使*证明者(Prover)*能够向*验证者(Verifier)*证明某物的知识而不暴露该知识。例如，如果我们想证明我们已经解决了一个谜题，而又不透露解决方案，我们可以使用...
...ttps://blog.matter-labs.io/introducing-the-zk-stack-c24240c2532a) 的基础知识，这是 zkSync 链（MatterLabs）背后的团队提出的愿景。但是，我们不会深入分析 zkSync 的历史、功能、架构等细节。 ## zkSync：以太坊的新纪元 zkSync 是一种革命性的协...
...ml 的开源发布，这是我们用于生成机器学习模型执行的零知识证明的框架。zkml 建立在我们早期的论文上，关于将零知识证明扩展到 ImageNet 模型，但包含了许多可用性、功能性和可扩展性的改进。通过我们的改进，我们可以验证...