DEFINITION 零知识证明区块链项目帮助开发者构建先进的 dApp，扩展 Web3 生态系统，同时保护用户的隐私。 零知识技术是密码学的一个子集，它正在帮助区块链项目克服许多 layer-1 [区块链](https://learnblockchain.cn/article/18907)固有的扩...
关于零知识证明是什么，也许你不一定很了解，但说到应用零知识证明技术的区块链产品，你也许并不陌生。zcash就是使用零知识证明技术的隐私币，以太坊上的混币合约也是零知识证明技术的一个应用，还有在今年比较热门的...
...交互的哈希方法 – 内存复制 – 使椭圆曲线数学用于零知识证明的方法 这些操作被认为足够重要，因此有了高效的气体机制来执行它们。在 Solidity 中实现这些算法的气体效率将大大降低。 预编译不会在智能合约内部执行...
零知识证明技术应用越来越广，隐私证明，计算证明，共识证明等等。在寻找更多更好的应用场景的同时，很多人逐步发现零知识证明证明性能是个瓶颈。Trapdoor Tech团队从2019年开始深入研究零知识证明技术，并一直探索高效的...
...包”交易，并将“打包”后的交易数据连同一个 SNARK 零知识证明发布到链上。打包的正确性可以通过零知识证明来见证，负责“打包”的操作者不可能发布恶意或无效的交易。这就是后来被 Vitalik Buterin 称之为 ZK Rollup 的二层扩...
...的 BTC 跨链解决方案？Ola 引入了一种创新方法：利用**零知识证明（ZK Proofs）和 BitVM2 挑战者机制**，为比特币跨链交易构建强大的安全基础设施。 ## 2. Ola 的创新跨链安全框架 Ola 是一个由零知识密码学支持的安全层，允许信任...
...，看看RISC0的源代码。zkVM一直是想深入的话题。zkVM将零知识证明技术抽象封装。复杂的业务，通过上层语言描述，经过zkVM的执行，轻松生成证明。可是迟迟看不清，zkVM的需求。只是觉得，复杂的程序也能快速地生成证明是一件...
...有效的，使用**欺诈证明**在7天内证明虚假交易 2. [零知识汇总（Zero Knowledge (ZK) Rollups）](https://www.alchemy.com/blog/zero-knowledge-rollups) - 使用**有效性证明**即时证明交易是否有效 有效性证明和欺诈证明在交易录入基础链状态之...
..._](https://twitter.com/NoahCitron)，_@ncitron_在Farcaster中）** ## 零知识、多方计算与后量子加密 零知识系统是强大且基础的技术，掌握区块链的可扩展性、隐私保护应用程序等关键。但在证明效率、证明简洁性与需要 [可信设置](https://a...
...作性提供无需信任且高效的跨链基础设施。zkBridge 使用零知识证明结构来[证明完整的 Ethereum PoS 共识](https://polyhedra.medium.com/proving-full-node-of-ethereum-in-zk-c7ffaaa688dd)以及各种 layer-1 和 layer-2 网络的state transitions。 凭借其高效的证明...
...来了一些重大改进和新功能。此版本引入了显著增强的零知识证明性能，以及一个新的加密字符串模块，该模块可以通过 `FheAsciiString` 类型在高级 API 中使用。此外，默认的密码学参数现在遵循调整后的均匀 (TUniform) 噪声分布，...
...507) sigma协议的扩展--OR proof [区块链中的数学 - 何谓零知识证明?](https://learnblockchain.cn/article/2445) 何谓零知识证明 [区块链中的数学 - RSA累加器的非成员证明](https://learnblockchain.cn/article/2444) RSA Accumulator非成员证明以及区块链...
...个主要的改进和新功能。TFHE-rs v0.11 引入了显著增强的零知识证明性能，以及一个用于加密字符串的新模块，可通过 FheAsciiString 类型在高级 API 中使用。此外，默认的加密参数现在遵循调整后的均匀 (TUniform) 噪声分布，而不是高...
...了几个主要的改进和新功能。此版本引入了显著增强的零知识证明性能，以及一个新的加密字符串模块，该模块可以通过 `FheAsciiString` 类型在高级 API 中使用。此外，默认的密码学参数现在遵循调整后的均匀（TUniform）噪声分布...
...，来保证计算的正确；而 zkRollup 则是靠着在主链完成零知识证明，保证无效的状态绝不会发生。因为所有计算都被 “汇总” 到证明里，所以无需信任或是检查执行者。 另外，zkRollups 对数据存储方面也带来了一定程度上的扩...