## 概述 - Loorping zkRollup 用户可以利用批处理交易和零知识证明，在 L2 直接与 L1 dApp 交互，便宜快捷 - Loopring 现已支持便宜且资本高效的 L2-L2 双向转账 - 中心化交易所可以使用标准的 L1 功能来将款项直接取出到 Loopring 的 zkRol...
... Papers ### 【论文速递】Crypto 2024 （多项式承诺、SNARKs、零知识证明、数据可用性采样、后量子聚合签名） - ### Improved Lattice Blind Signatures from Recycled Entropy - ### Raccoon: A Masking-Friendly Signature Proven in the Probing Model - ### Identity-Based En...
...来可能还可以拿到一笔 zkSync的空投。 > zkSync 是使用零知识证明进行 L2 扩容（zkRoolup）的龙头项目，潜力很大，zkSync 很可能会发行自己的代币，给自己的用户空投，是最近 DEFI 项目的传统，如果zkSync空投，估计未来是不小的一...
...背了 L2 的宗旨。因此，才会有 OP（欺诈证明）和 ZK（零知识证明）这样的懒惰验证法。 4/ OP 的意思是：我作为 L1，默认不亲自验证，任何第三方都可以来验证，发现不对的地方告诉我，我再来亲自验证核实，核实确有欺诈...
.... 证明生成与验证** 目标：使用多项式承诺生成最终的零知识证明。 核心操作： - 将多项式承诺与挑战结合生成最终的证明。 - 确保证明的正确性和有效性。 # 2. Poseidon 哈希的trace填充机制 在 Poseidon 哈希电路的实现中，*...
...n 提问：** 是否有在消费级的硬件/低成本 ASIC 上运行零知识证明的可能性，从而使得基于零知识基础层实现完全去中心化？ **Justin Drake 回复：** 当然！我们现在有高效的 SNARK 递归技术 (如Halo 2 和 Nova)，它允许互不信任和...
...尚待完全测试，因此都只是作为考虑选项。 ### **零知识(ZK)见证压缩** 大约70％的见证都是哈希。也许可以使用ZK-STARK证明技术来压缩和验证那些中间哈希。目前有许多关于零知识相关的研究，但是它到底如何起作用，或...
... **ZK Rollup：** 除了交易数据和结果，还提交交易执行的零知识证明（ZK Proof），在数学上证明交易的正确性。代表项目有zkSync、StarkWare、Linea。 - Layer 2的优势在于更高的TPS和更快的确认时间，但安全性验证机制有所不同。 ...
...权访问它以及在什么条件下访问。 ### 隐私增强技术：零知识证明、同态加密和差分隐私 Web3 利用一系列隐私增强技术来保护用户数据，并确保即使在与第三方共享时，个人信息仍然保密。零知识证明 (ZKP) 使用户能够证明声明...
...关者手中。Base 下一步将探索其他证明系统，包括基于零知识证明的故障证明，以进一步强化网络，使其顺利迈向第二阶段。此次升级将加强 Base 与以太坊和OP Stack 的一致性，同时推进构建一个人人皆可访问的弹性全球链上经济...
... [SNARK](https://a16zcrypto.com/posts/tags/snarks/)（简洁非交互式知识论证）是一种密码协议，任何人都可以向不可信的验证者证明他们知道满足某些性质的“证据”。 web3 中的一个重要应用就是二层 (L2) 汇总向一层 (L1) 区块链证明其知...
...tarkEx/StarkNet StarkWare 团队研发了基于 STARK 加密证明的零知识 Rollup (即我们熟知的 ZK-Rollup)，目前其提供的方案有 StarkEx 和 StarkNet。 StarkEx 是 StarkWare 开发的一个独立运行的非托管式 ZK-Rollup 软件服务 (SaaS)。创新性地支持一系...
... ## Papers ### 【论文速递】USENIX Security '24（密钥交换、零知识证明、安全多方计算、区块链） - ### Towards Quantum-Safe Blockchain: Exploration of PQC and Public-key Recovery on Embedded Systems - ### Tight Time-Space Tradeoffs for the Decisional Diffie-Hellman Probl...
...Justin Thaler 介绍了基于交互式证明的 SNARK（简洁非交互式知识论证）的设计，重点讨论了如何利用交互式证明构建 SNARK，特别是在电路可满足性问题上的应用。 ### 核心内容概括 1. **SNARK 定义**：SNARK 是“简洁非交互式知识论...