找到约 12 条结果

文章 手把手教你从0到1构建UniswapV2:part1

...肿和固执己见。使用OpenZeppelin的ERC20不允许将代币转移到地址,这个限制并不是我们想要的。反过来**Solmate**是一个**Gas**优化合约的集合,并且没有那么多限制。 还值得注意的是,自 2020 年 Uniswap V2 推出以来,很多事情都发...

文章 单Slot最终性研究

...大的努力,但共识机制仍无法最终确定,那么现有的领域知识将极大地有助于为其他形式的研究甚至现有架构的规范和原型设计做出贡献。 ### 项目目标 成功完成项目的最终目标是发表一篇学术论文,概述一种新的共识机制,...

文章 全面了解 Solana 质押

... Solana 与以太坊在质押方式上有所不同。Solana 将委托权益证明(dPoS)直接集成到其核心协议中,使得无需依赖外部解决方案即可进行委托。以太坊则从工作量证明转型为权益证明,主要依赖像 Lido 和 Rocket Pool 这样的第三方平台...

文章 Concrete ML v1.6:更大的神经网络和预训练的基于树的模型

...从头开始训练模型容易出错,并且需要更深入的机器学习知识。此外,实施特定的训练算法,例如 federated learning,需要单独的专用工具包,但对此类训练模型的安全部署仍然至关重要。Concrete ML v1.6 现在支持使用 `from_sklearn` 函...

文章 EVM模拟器与半抽象Nonce更新审计

...所有的顺序排序账户被视为直到现在一直使用 `key` 值为。更新随机数排序不再可能,`KeyedSequential` 是账户创建时的默认值。 #### 集成注意事项 此更改引入了几个集成者应注意的考虑因素,例如: - 可以通过 [`increaseMinNo...

文章 以太坊核心开发者会议更新 010⛓

...分,这些提款随后会在执行层上分发出去,与今天工作量证明分发给矿工一样。 对于在共识层上需要做出的多个变更有一个[追踪问题](https://github.com/ethereum/consensus-specs/issues/2758),这个内容现在已经在 `consensus-specs` (共识层规...

文章 利用形式化验证查找编译器 Bug

...程序,我们的检查器使用现有的 Certora Prover 基础设施来证明程序在所有输入上都是等价的,这意味着程序产生相同的结果,同时具有相同的可观察的副作用。 这个等价性检查器有许多潜在的应用,但我们特别兴奋的一个是编译...

文章 比最小代理更小的代理合约

...市面上智能合约应用的架构与实现的仓库。欢迎关注开源知识项目!

文章 a16z:如何设计 NFT 版税设计 - 挑战和新想法

...念(也执行版税!)。该开发人员需要联系 NFT 创作者,证明他们尊重版税,并请求被添加到每个 NFT 的允许列表。这是一个高摩擦的过程。 * **仍然有绕过版税的方法**,取决于市场的实现方式以及创作者对 NFT 转移施加的限...

文章 Vetomint:Simperby 的 BFT 共识协议

...将广播 nil 预提交。 5/6 的阈值是经过仔细选择的。为了证明这一点,请考虑以下极端情况,其中阈值为 2/3(小于 2/3 或大于 1 的阈值毫无意义)。 假设提出了一个无可争议的可接受区块,除了一个试图延迟共识的恶意验证者之...

文章 如何实现 Permit2

...户特定代币和受信任的支出者的 `allowance` 映射更改为非金额。这最终通过执行所有 ERC20 代币中固有的内部 `_approve()` 函数来完成。 **Permit2 是一种与所有 ERC-20 代币兼容的代币批准系统,简化了用户体验并减少了他们的经济...

文章 每周以太坊进展 2020/10/18

...e98a0b6954c0bb/EIPS/eip-3000.md):乐观制定的治理标准 ## 权益证明启动 * 最新的 [what’s new in eth2](https://hackmd.io/@benjaminion/eth2_news/https%3A%2F%2Fhackmd.io%2F%40benjaminion%2Fwnie2_201018):押金合约已经准备好;**只要你不是跟钱过不去,就请关...