找到约 12 条结果

文章 stark证明实操python实现02

...hiker.mirror.xyz/atnvLVVSIexOf8iN57ZzAw4OS1f8tJLspyL44de2tTM stark证明实操python实现03:

文章 Greenfield 和Filecoin的对比分析

...的BNB Token。【这个算法和古老的分散存储区块链sia的存储证明是一样的。但是sia存储的时候，就要求对数据进行分片，然后把分片存储到不同的SP】 Filecoin则是通过PoRep复制证明算法和WindowPost时空证明算法来保证数据的复制和保...

文章 以太七日谈 • 2021/3/15

...主题主要为：合约的优化、协议的修改、layer2、ETH2.0、零知识等等。 申请方式：[https://scaling.ethglobal.co/](https://scaling.ethglobal.co/) # 本期最佳meme  ECN的翻译工作旨在为中...

文章 又一个重入攻击 - 是什么阻止我们成为更好的智能合约开发者？

...合约的必要组成部分，并且至少学习智能合约安全的基础知识，如果你还没有这样做的话。 一旦你考虑到这一点，你就不能再仅仅依赖于为你的智能合约编写测试用例。 毫无疑问，测试脚本很有帮助，但是，它们更倾向于确...

文章 突破区块链不可能三角（终）——分片（下）

...大概地说了是写在智能合约里的—— 一笔交易合法的证明是什么？ 我们知道在比特币中，是整个账本。 而在Chainspace的举例中，我们说一笔从片A到片B的分片交易的证明是片A和片B的账本。这里，我们牺牲了安全性。 但...

文章 如何在不被 REKT 的情况下优化你的Gas消耗 第二部分

...如何使用简单的 3 行“**等价规范**”来检测该漏洞，并证明其修正是无错误的。 **注意：** 由于这是本系列的第二部分，我们将自由使用在上一篇博客文章中讨论的等价性检查、形式验证、Certora Prover 和 Certora Verification Languag...

文章 以太坊主网验证节点推荐硬件配置

...制了一个准系统 NUC 以适应该预算。 - 由于我们对可能的证明系统进行的基准测试，它们显示了 [大量的内存使用](https://learnblockchain.cn/article/15185)。 这些仍在原型设计中，因此未来内存使用量可能不需要那么高。 但是，鉴于额...

文章 以太坊主网验证者硬件要求

...制了一个准系统 NUC 以适应该预算。 - 由于我们对可能的证明系统进行的基准测试表明它们 [大量使用内存](https://learnblockchain.cn/article/15185)。这些仍在原型设计中，因此将来可能不需要那么高的内存使用量。但是，考虑到额外的...

文章 MEV机器人：如何保护自己 - CoW DAO

...### 降低公平性 其核心是，价值提取优先考虑拥有手段和知识来利用交易并从细微的套利机会中获利的复杂交易者。 可能只是在交易所进行交易或铸造 NFT 的用户无法与这些价值提取者竞争，除非他们可以编写更好的机器人来...

视频 费用增长初始化第1部分 | Uniswap V3核心合约解析 - 第34部分

... i时，f out of i被初始化为当前fee增长f of g；否则初始化为零。随着当前tick的变化，f out of i会根据特定规则进行更新。此外，视频还讨论了如何计算fee_inside，定义了f of i lower和f of i upper，并通过不同的情况（当前tick小于、在i low...

文章 标题 ：Aweave 第 17 版白皮书解读（四）：存储完整数据副本才是王道

...的可行性进行了论证。文中的 Bob 与 Alice 一起参与了这场证明游戏。那在 [#Arweave](https://twitter.com/search?q=%23Arweave&src=hashtag_click) 挖矿中，协议部署了这个 SPoRes 游戏的修改版本。在挖矿过程中，协议充当了 Bob 的角色，而网络中的...

文章 EIP-7732：链上提案者-构建者分离

...它降低了由 blob 交易引起的重组风险，并防止验证者错过证明。此外，它消除了区块构造委托中对受信任中间件的需求。  **potuz 演讲中的 ePBS Slot** ### 规范 该实现将遵...