找到约 14 条结果

文章 2023:L2 赛道爆发前夕,浅析各类 zkEVM

...EVM 等效的链无法原生支持账户抽象,需要通过以太坊的 [ERC-4337](https://eips.ethereum.org/EIPS/eip-4337) 来实现。 ### 缺点: - 大量现有的以太坊应用程序无法被复制到这类 zkVM 中,或者在复制过程中会出现问题:比如 合约在 Type 4 ...

文章 SMTChecker 检查合约漏洞的超能力

...`totalSupply(LP) * (x1 / xReserves)` LP代币; - 只支持精度为18 ERC20代币 功能只有这些,甚至连LP代币分发都没有,代码如下: ```js // SPDX-License-Identifier: MIT pragma solidity >=0.8.7; /// @dev bare minimum of IERC20 and IERC20Metadata that we'll use in...

文章 PuppyRaffle 智能合约全面安全审计报告

...ppelin/contracts/security/ReentrancyGuard.sol"; contract PuppyRaffle is ERC721, Ownable, ReentrancyGuard { //... function refund(uint256 playerIndex) public nonReentrant { //... 原有逻辑... } } ``` ### \[H-02] Integer Overflow and Unsafe Casting in selectWinner ...

文章 模糊测试和形式验证在区块链安全中的力量

...-Protocol/tree/main/test/FormalVerification/Ityfuzz) ### Bastion Wallet:ERC-4337,帐户抽象 SDK - 模糊测试:[Foundry-1](https://github.com/ZealynxSecurity/BastionWallet/tree/main/test/Initiator/Foundry/Fuzz), [Foundry-2](https://github.com/ZealynxSecurity/BastionWallet/tree/main/test/Su...

文章 在闪电网络上发行稳定币:好的,坏的,未知的

...接近两个世纪的时间,是没有什么事情发生的。 [Vivian Mercier](https://en.wikipedia.org/wiki/Vivian_Mercier) 对《等待戈多》的著名评语是“一出在连续两次的无事发生中上演的戏剧”。但如果是连续 191 次的无事发生呢?我还是更喜欢有趣...

文章 Sky Strife 在 MUD 中构建的游戏

...得第一名或第二名,你将获得 Orbs 🔮 的奖励,这是一种 ERC-20 代币,可用于召唤(即创建)新的比赛。 要开始游戏,每个玩家都会生成一个主要定居点、1000 金币(游戏内货币)和一个名为英雄的单位。 单位是 Sky Strife 运...

文章 进入多元宇宙 - 构建连接链路的桥梁

...了在以太坊上使用比特币,需发行与 $BTC 价值 1:1 Hook的 ERC-20 标准的 $WBTC,已发行的数量会有相应的 $BTC 锁定在数字金库中。通过这种方式,可以在以太坊网络中使用表现比特币角色的代币,而如果想将 $WBTC 转换为 $BTC,则需销...

文章 使用流和React可视化实时区块链数据

...示的事件签名进行跟踪。对于 USDC 转移,它是: ``` const ERC20_TRANSFER_EVENT_SIGNATURE = Web3.utils.sha3('Transfer(address,address,uint256)'); ``` 我们定义的代码使用 `countERC20Transfers` 函数遍历区块响应中的每个收据,并检查 `log.topics[0]` 是否与该...

文章 十大区块链监控工具

...以利用它向任何账户充值或发送任意数量的原生代币和 ERC-20 代币。 **公共浏览器**:公共浏览器为用户提供可视化功能,方便用户管理其测试网活动。 **Gas 分析器**:Gas 分析器为用户提供 Gas 消耗明细,展示合约中每个函...

文章 如何选择最佳DEX聚合器 - CoW DAO

...能 - 无 Gas 交换 **[Paraswap](https://www.paraswap.xyz/)** - 支持 ERC-20 和 BEP-20 代币标准。 - 与包括 MetaMask 和 Ledger 在内的流行钱包集成。 - 内置私人做市商流动性池 **Kyberswap** - 拆分交易功能,允许多个来源完成一个订单,以获得最...

文章 Huff实战:编写测试极致效率数学模块

...Learn) 中,读者可以参考。 > 为什么不选择使用 huff 实现 ERC-20 等常见合约?原因在于 huff 本身的表达能力较差,官方实现的 ERC20 有近 500 行。 ## EVM 基础 对于 EVM 整体架构,我们可以通过下图表示: ![EVM architecture](https://img.learn...

文章 2023年最值得关注的30个Web3开发者Twitter账号

...整的课程,向开发者介绍与区块链、智能合约、Solidity、ERC20、全栈 Web3 dApp、DeFi 等相关的所有核心概念。无论你在编码或 Web3 方面的经验如何,Patrick 的 Twitter 帐户都是必关注的,因为他以与每个人建立联系的方式传达想法。 #...

文章 精简应用——占位符

...的 Maker 贷款进行交互。通过构建在相同的 [standards](http://erc721.org/) 和网络上,这些应用程序默认是可互操作的,并且用户可以在界面之间自由移动,而不会丢失信息或功能。 加密服务架构与非托管数据模型相结合,使初创公司...

文章 信念投票:一种新颖的持续决策替代治理方案

...案的偏好百分比进行确认,总计需要达到 100%。使用类似 ERC-888 的代币标准,我们可以 **无缝地让代币自动**_**声明**_**给提案,而不妨碍代币流动性,避免押金锁的影响**。由于你的偏好按代币持有量的百分比表示,任何对代币...