...** 的。 有各种证明系统允许我们这样做，即： - **零知识证明**（如 [SNARKs](https://learnblockchain.cn/article/10776) 或 [STARKs](https://learnblockchain.cn/article/9468)）证明计算的正确性，可以选择不泄露某些信息。 - **欺诈证明**，假设计...
...将每个交易压缩到仅 ~10 字节；因为它们的有效性通过零知识证明进行验证，签名不需要包括在内。通过 BLS 聚合签名，类似的吞吐量可以在影子链中实现（最近被称为“乐观 rollup”，以强调其与 ZK Rollup 的相似性）。即将到来...
...。而这一点本身就很难找到一个通用的解决方案，比如零知识证明就是这个问题的最贴近的技术，然而现有的零知识证明方案本身就不是通用的，它对于不同问题的证明难度大相径庭，同时，把一些场景用数学的方式描述出来就...
...简单的 ETH 转账在 optimistic rollup (OR) 上需要几美元，在零知识 rollup (ZKR) 上需要大约 0.25 美元。虽然这可能看起来不是特别高，更复杂的交易需要更高的费用，以及大多数以太坊的使用仍然发生在 L1 上。随着用户转移到 L2，这些...
...太坊的执行客户端部分，只保留共识部分，再添加一些零知识证明验证者，基本上把整个执行层也变成一个Rollup。 我的意思是非常极端的选项在左边，而在右边它可以是一个基础层，但也可以尝试为L2提供更多功能。在这...
在本段视频中，讲解了如何构建一个简洁非交互式知识论证（SNARK）的基本组件和流程。视频的核心内容包括： 1. **SNARK的构建框架**：构建SNARK的过程主要结合了两种概念：功能承诺方案和交互式Oracle证明（IOP）。功能承诺方案...
...HE) 过于缓慢，可信执行环境 (TEEs) 受到攻击的威胁，而零知识证明 (ZKPs) 在共享加密数据时效果不佳。 - **Arcium 重新构想了隐私保护计算**，通过新的多方计算 (MPC) 架构，仅需一个诚实的节点即可实现隐私，同时结合经济激励...
...*LaZer：** LaZer 是一个有趣的库，它使用格来促进高效的零知识证明 (ZKP)。对于某些指标，该证明系统实现了比当前某些最先进的证明系统更好的性能。但是，由于 LaZer 使用格，因此它的算术化与现有的 R1CS 和 Plonkish 证明系统完...
... * [ERC7503](https://github.com/ethereum/EIPs/pull/7522/files)：零知识虫洞 * [ERC7504](https://github.com/ethereum/EIPs/pull/7523/files)：动态合约（一对多代理合约） ## 开发者资料 * Foundry: * Vulcan [v0.2.0](https://twitter.com/nomoixyz/status/...
...以解决潜在的错误。这个阶段的特点是实现了功能完备的证明系统，欺诈证明提交的去中心化，以及在没有 operator 协调的情况下提供用户退出的机制。由多元化的参与者组成的安全委员会提供了一个安全网，但其权力也带来潜...
...助于密码学作为解决方案，在密码学中，诸如Merkle树和零知识证明之类的工具已经帮助我们实现了以前认为不可能的事情。 这正是“无状态区块链”的目标。但是，尽管对它们进行了大量工作，但它们仍然远未实用。但事实证...
...编程语言的支持、跨不同区块链的程序性桥接方式及对零知识证明的内建支持。Solana的新代币标准[Token22](https://learnblockchain.cn/article/10915)引入了多项如保密转账和转账钩子(called transfer hooks)等功能，进一步增强了在SPE内进行构建...
...的 preconfer。实际上，preconfer 可以（链下和链上）宣传零知识证明，证明它们是各自 slot 的 preconfer，而无需透露有关其验证者公钥的更多信息。在用户和 preconfer 之间进行中介的 Preconf 中继可以屏蔽任何一方的 IP 地址。 - **委托 ...
...它们不断购买 Blob 以保持链的运行。它们不同于乐观和零知识 Rollup，后者在 Rollup 上提供交易的软确认，然后在未来某个时间在 L1 上确认。这允许排序器在购买的 Blob 数量和 L1 交易频率上有更多的灵活性。尽管是一个相对较新...