...不断发展，能够快速匹配不断变化的生态系统。Linea 将零知识证明的力量与完整的以太坊虚拟机 (EVM) 等效性相结合，允许构建者创建可扩展的 dapps 或迁移现有的 dapps，而无需更改代码或重写智能合约的麻烦。 就 NFTScan 数...
...易数据，并且能够快速验证某笔交易属于这个区块(隶属证明)或者不属于这个区块(非隶属证明)。  相比于普通的二叉树，Merkle Tree采用了哈希...
...通过这篇文章，我们可以对Casper FFG的运行规则、安全性证明和活性证明有一个初步的了解。 为了对用户负责，任何区块链都必须保证链上区块的最终确定性和链的活性，而区块链共识机制的根本就是提供这些保障。在E...
...通过 Merkle 树的方式组合，实现更复杂的逻辑，这为 L2 上证明系统提供了可能性； 🔹 Tapscript 升级了比特币脚本，允许验证一系列脚本，来决定 [UTXO](https://learnblockchain.cn/tags/UTXO) 是否能被花费，这为 L2 的提款、罚没等操作...
## L2IV 与 Polyhedra 在 Bitcoin 上探索 ZK 证明的合作 L2IV 已与我们的投资组合公司 Polyhedra ( [$ZK](https://coinmarketcap.com/currencies/polyhedra-network/) ) 合作，研究在 Bitcoin 上验证 ZK 证明的相关问题。该研究文章由 L2IV 贡献，首次发布于 Polyhed...
...m/questions/27048/comparison-of-the-different-testnets **使用工作量证明的Ropsten** Ropsten测试网使用的是工作量证明共识协议，并支持挖矿，一般来说是目前最好的模拟以太坊生产网络。 **使用权威证明的Rinkeby和Kovan** Kovan和Rinkeb...
...行挤兑这样的最坏情况下也是如此。但是，我们如何正式证明 AMM 始终有足够的流动性来履行其义务呢？ 本文深入探讨了 [Uniswap v4 的流动性机制](https://v4.uniswap.org/)，并概述了一种正式的方法来证明其偿付能力。通过利用数学...
... 这就提出了一个根本性的问题： > **何时 hook 可以被证明改善路由？** 在本文中，我们将严格定义“**证明改善路由**”，并展示在特定条件下，hooks 会严格扩展执行可能性，改善交易者结果，并保持最佳路由问题的可解...
## 对Buterin对我的“权益证明”文章的批评的回应 我很高兴几天前，Vitalik Buterin [回应了](https://learnblockchain.cn/article/11016) 我对他“[权益证明设计哲学的批评](https://medium.com/@tuurdemeester/critique-of-buterins-a-proof-of-stake-design-philosophy-...
... Web3 项目的孵化器。团队在 Crypto Finance 领域拥有深厚的知识和经验。 >- 原文链接： [medium.com/verse2/defi-d...](https://medium.com/verse2/defi-derivative-%EC%8B%9C%EB%A6%AC%EC%A6%88-0-%EC%99%9C-defi-derivative%EC%9D%B8%EA%B0%80-401716681cd5) >- 登链社区 AI 助...
...b1402)：保存部署的合约，并添加 Sindri 集成（远程计算 zk 证明） - Foundry： - [独立模式](https://twitter.com/gakonst/status/1762624475676454957) 用于测量 gas - Base64 库（Solidity）： - OpenZeppelin Contracts [v5.0.2](https://twitter.com/OpenZeppelin/status/...
...g.' print('Success!') ``` ### 在轨迹多项式上解承诺 为了证明我们解承诺的 FRI 层确实是从组合多项式的评估中生成的，我们还必须发送： ![](data:image/svg+xml,%3csvg%20xmlns=%27http://www.w3.org/2000/svg%27%20version=%271.1%27%20width=%271496%27%20he...