...链技术是个有趣的行业，爱并痛着。上个星期，自己把零知识证明证明的理解梳理了一下，也尝试直播五天分享我的理解。直播非常好玩，Zoom直播性能不错。感受比较深的是，像这样需要比较繁杂的理论基础的知识不太好讲，...
...于 Zama 的 [TFHE-rs](https://github.com/zama-ai/tfhe-rs) 库中的 [零知识证明](https://en.wikipedia.org/wiki/Zero-knowledge_proof) (ZKPoKs)，以及用于 BGV和 BFV 加密方案的简单版本的门限解密和密钥生成的代码——即使它没有在 Zama 的产品中使用。 **适...
...中立的生态系统范围内的机制，通过该机制，任何使用零知识证明系统的应用程序（L2、隐私协议和类似 zkemail 的钱包恢复是最自然的初始用例）中的证明者都可以提交他们的证明，并让一个聚合器将这些证明组合成一个单一的...
## 写在前面 上一篇介绍了[多项式知识和承诺](https://learnblockchain.cn/article/2165)， 本文继续讲述完整的Kate承诺。 ## Kate承诺 Kate承诺是Kate，Zaverucha，Goldberg等人在2010年提出的多项式承诺方案。 该方案包含以下六个方法： ...
...es-affecting-girault-bulletproofs-and-plonk/)中，我们披露了破坏零知识证明系统多个实现健全性的严重漏洞。这类我们称之为 Frozen Heart (冰冻之心) 的漏洞，是由 Fiat-Shamir 转换的不安全实现引起的，这些实现允许恶意用户伪造随机声明的...
...通讯，涵盖了高级隐私增强密码学、分布式协议开发和零知识系统研究的最新进展。 我们为你带来最新的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。预计每个月都会有新的版本。请务必分享并[订阅](http...
大量零知识证明项目由于错误地使用了某个 zkSNARKs 合约库，引入「输入假名 (Input Aliasing) 」漏洞，可导致伪造证明、双花、重放等攻击行为发生，且攻击成本极低。众多以太坊社区开源项目受影响，其中包括三大最常用的 zkSNARK...
...到过去十年来诞生的最强密码学技术，肯定免不了提及零知识证明 (zero knowledge proof)。在区块链领域中，它们有两大应用场景：可扩展性和隐私。[zk-SNARK](https://learnblockchain.cn/article/1662) 作为其中一种 zkp 技术，在近几年来也得到...
...算方法，如全同态加密（FHE）、安全多方计算（MPC）和零知识证明（ZKP），在成本、灵活性和可用性方面存在缺陷。 同态加密的主要限制是计算开销高和处理成本。 MPC是一种良好的隐私保持计算方法。然而，它可能是最昂贵...
...前 UTXO 集，就可以同步修剪后的全节点。运行一个经过零知识同步（zerosync）的全节点无需修改 Bitcoin Core 的代码。我们会在验证后将 此 UTXO 集复制到 Bitcoin Core 的链状态目录中。理想情况下，我们会将此 UTXO 集与 [AssumeUTXO](https:...
...n 2018 年就提出了利用 zk-SNARKs 实现扩展，开创性引入了零知识证明技术证明区块状态变化的有效性，这也是 ZK Rollup 的雏形。 zk-SNARKs 绕不开的一个点就是中心化的 Trust Setup，也称之为CRS(the Common Reference String)。2019年由 Aztec 研...
...构建了一种基于BitVM解决方案的分层虚拟机技术。通过零知识证明和乐观执行机制，该技术支持任意类型的计算操作，并在比特币上验证计算的有效性。分层虚拟机技术使我们能够支持任何前端类型的智能合约，例如那些在EVM中...