一周速览过去一周,明星项目动态如下:以太坊将推出新测试网Holešky,以取代Goerli;TRON发布GreatVoyage-v4.7.2(Periander)版本;Polygon提出Polygon2.0架构;ZEN将不再被视为隐私币;
从foundry工程化的角度详细解读Openzeppelin中的StorageSlot库及对应测试。
Remix v0.34.0 更新重点:Etherscan 验证代码更好用, 还支持代理合约验证、全新的 Solidity 分析器, 适配 WalletConnect v2.0
本文会涉及到slither中几类call的区别,slither遍历node时的常用的递归框架,以及将这两类知识应用到批量函数调用风险的检测中。
每周以太坊进展 2023/7/1
1.理解自杀函数检测自杀函数的风险与应用场景。自杀函数可以做为一种隐藏的transfer的手段。 2.shift汇编函数与其它语言的参数不一致,容易混淆。
一览 NFT 热点资讯和 NFT 链上宏观数据
从foundry工程化的角度详细解读Openzeppelin中的Address库及对应测试。
由于增量验证计算(IVCscheme)中有很多细节在论文中并未展开,本文则是深入解读Nova如何基于Relaxed R1CS构造IVC scheme。
Web3 极客日报 1252
Challenge2-NaivereceiverNaivereceiver为了系统的学习solidity和foundry,我基于foundry测试框架重新编写damnvulnerable-defi的题解,欢迎交流和共建~🎉
Challenge1-UnstoppableUnstoppable为了系统的学习solidity和foundry,我基于foundry测试框架重新编写damnvulnerable-defi的题解,欢迎交流和共建~🎉https://github.com/zach030/damnvulnerable
Web3 极客日报 1251
章鱼网络创始人 Louis 认为,Web3.0 是抗寻租的互联网平台经济,是用社区拥有(community-owned)的去中心化加密协议网络,代替公司拥有的中心化平台。去中心化只是手段,抗寻租才是目的。但是,加密协议网络是否能在更多领域充任平台,尚待证明。
Web3 极客日报 1250
Hook 是一个强大功能,可以带来更灵活的组合性。向任何强大的武器一样,使用不当可能会伤害到自己。 当任意调用与 Hook 在一起,更要小心。
09.状态变量覆盖的含义状态变量覆盖是指子类中的状态变量将父类的状态变量进行覆盖,子类和父类使用了相同名称的状态变量。在这种情况下,如果操作子类的状态变量不会修改父类的状态变量,而此时代码的真实意图可能是为了修改父类的状态变量。
1.理解数据依赖性的概念。 2.在源代码分析时,可以从用户的输入跟踪受影响的合约变量。
1.理解irs与irs_ssa的区别。 2.理解实现ssa时的支配边界的定义。 3.理解Node对象常用的方法。
节点、表达式与IR的是什么样的关系?如何根据代码生如何提取出IR指令?在遍历节点时,有哪些对象经常用到。
扫一扫 - 使用登链小程序
59 篇文章,248 学分
108 篇文章,192 学分
7 篇文章,160 学分
19 篇文章,159 学分
15 篇文章,155 学分