...采用可争议 Rollup 和多重证明结构的关键考虑因素是对零知识证明 (ZKPs) 的绝对可靠性的健康怀疑。鉴于软件的复杂性经常会增加出现错误的概率——正如 OpenSSL 中的 [Heartbleed 漏洞](https://heartbleed.com/) (2014) 和 [关键的 Linux Kernel ...
...去中心化的以太坊 L3 区块链； ￮ Zklink: 是一个基于零知识技术承载交易场景的多链 rollup 基础设施; ￮ Xdai: 利用 Arbitrum AnyTrust 实现下一代视频游戏的开放交易。 ### 3.2 **各 Layer3 的优逆势分析** • Arbitrum orbit: Arbitrum 推...
...com/remyroy/ethstaker/blob/main/monitoring.md) ## Layer2 - [Hermez零知识EVM](https://blog.hermez.io/introducing-hermez-zkevm/) 路线图 - 使用StarkEx担保的无信任[L2到侧链桥](https://medium.com/starkware/a-trustless-sidechain-to-starkex-bridge-secured-by-ethereum-61e00f19f7e0)...
...网络上，实现它并不是一件简单的事情。幸运的是，[零知识证明（ZKP）](https://learnblockchain.cn/article/1189)技术使这成为可能，但不幸的是，ZKP是一项非常复杂的技术。这就是我构建 [zk-merkle-tree](https://www.npmjs.com/package/zk-merkle-tree) ...
...将交易数据存储在链上。链下计算的状态更改然后使用零知识证明（zk-Rollup）主动地在链上证明为有效，或使用欺诈证明（Optimistic Rollup）被动地证明为无效。 **优点：** 模块化区块链将交易执行和状态卸载到更便宜、更精简和...
...-381 曲线运算添加新功能，BLS12-381 曲线是一种广泛用于零知识密码学的代数结构。零知识密码学可以为基于区块链的应用程序提供多种好处，包括更强的隐私保护、安全性和可扩展性。执行 BLS 曲线运算的能力将有利于已经使用...
...，即使面对复杂的攻击也是如此。 虽然它需要对专业知识和资源进行更高的投资，但防止灾难性漏洞（从财务损失到声誉损害）的好处远远超过了成本。通过将形式化验证集成到你的开发生命周期中，并将其与其他强大的安...
...御这些攻击的方法。读者可能需要掌握一些信标链的基础知识才能从本文中获得最大价值。此外，对信标链的激励层和分叉选择算法 LMD-GHOST 有一个基本的了解，也会对你有所帮助。 这些都是很大的话题。但我在下面...
...earnblockchain.cn/2025/02/28/State-of-Crypto-2024-MASTER-19.jpg) 关于零知识（ZK）证明，作为扩展区块链、隐私和互操作性的重要技术，其故事也是类似的。尽管每月在以太坊上验证 [ZK证明](https://learnblockchain.cn/article/11450/) 的花费有所下降，...
...不得披露任何个人数据。我们提倡将隐私保护技术（如零知识证明、隐秘地址或同态加密）集成到以太坊生态系统中，使用户能够自信且匿名地进行交易、互动和认证。 ##### 安全 我们意识到在去中心化系统的设计和实施中，...
... STARK 的样子，以及 Python 中的实现。STARKs（"可扩展透明知识证明"）是一种生成证明的方法，证明形式为 f(x)=y，其中 f 的计算可能需要很长时间，但证明可以很快得到验证。一个 STARK 是 “双重可扩展”的：对于一个执行 t 步的...