...2493) sigma协议与Fiat-Shamir变换 [区块链中的数学 - 何谓零知识证明?](https://learnblockchain.cn/article/2445) 何谓零知识证明 [区块链中的数学 - RSA累加器的非成员证明](https://learnblockchain.cn/article/2444) RSA Accumulator非成员证明以及区块链...
...nce >审阅 | Franci, ECN 在以太坊生态系统中,使用零知识证明 (ZKPs) 来改善**隐私和可扩展性**的工作非常有前景的。 我想重点强调的是,还有一小部分人专门致力于以太坊上的 ZKP 技术的社交应用。我几乎将所有不以扩展...
...换执行中的应用。 ## 精选视频课程 [**伯克利 零知识证明课堂**](https://learnblockchain.cn/video/play/1087?collection_id=18)  本系列视频课程将为大家带来零...
...  关于零知识证明、zkEVM和2层技术,我们需要知道的是什么。 让我们面对现实吧:区块链技术可能会变得很复杂。 对于我们这些不是编码员或计算机科学家的人来说,理解支...
TFHE-rs v0.6 引入了一种补充 FHE 的密码学技术,称为零知识证明。此外,此版本还增强了对有符号整数运算的 GPU 支持。此外,它还引入了额外的密码学特性,例如加密随机数的生成。 ### **用于紧凑公钥加密的零知识证明** 除...
...ps://chain.link/use-cases/insurance) 的全新的设计空间,现在 [零知识证明](https://blog.chain.link/what-is-a-zero-knowledge-proof-zkp/) 正在帮助 Web3 生态系统扩展以支持数亿用户。 同态加密不仅可以单独解锁许多令人兴奋的用例,还可以将当今世...
Trail of Bits 公开披露了多个零知识证明系统(包括 PlonK 和 Bulletproofs)实现中存在的严重漏洞,这些漏洞破坏了系统的可靠性。这些漏洞是由 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)*证明某物的知识而不暴露该知识。例如,如果我们想证明我们已经解决了一个谜题,而又不透露解决方案,我们可以使用...
... 128 49,856 5 (256-bit) ``` ### ML-DSA — 使用零知识证明的 Fiat Shamir 签名 现在,我们将看一下右侧,看看对于我们的基于格的签名生成方法,我们不再需要陷阱门: ![](https://img.learnblockchain.cn/2025/04/24/1LwRZLxZbEV_hZsOB5_z8...
...ml 的开源发布,这是我们用于生成机器学习模型执行的零知识证明的框架。zkml 建立在我们早期的论文上,关于将零知识证明扩展到 ImageNet 模型,但包含了许多可用性、功能性和可扩展性的改进。通过我们的改进,我们可以验证...
...up 是什么?了解你需要知道的一切关于 Optimistic 和基于零知识的 Rollup,它们是如何工作的,以及它们之间的区别。 **区块链 Rollup 是一种 L2 扩展解决方案,通过将多个链下交易“ _汇总_”成一个,增加以太坊每秒的交易数量...