全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

Michael.W基于Foundry精读Openzeppelin第9期——Multicall.sol

in  Michael.W基于Foundry精读Openzeppelin
Multicall库提供了一个`multicall(bytes[] calldata data)`方法，通过该方法可以由调用者在一笔交易中自由组合调用本合约的各个可外部调用的方法。
OpenZeppelin  multicall 
  • Michael.W
  • 发布于 2023-07-16
  • 阅读 ( 3140 )
  • ( 4 )

Michael.W基于Foundry精读Openzeppelin第8期——Context.sol

in  Michael.W基于Foundry精读Openzeppelin
Context库是合约开发中最常见的库，同时也是最让人迷惑的库。合约代码里面只将msg.sender和msg.data封装成了函数，感觉多此一举。实际上，本库不提供任何context环境切换的细节功能，而是需要目标合约中重写这两个函数起到了可编辑msg.sender和msg.data的目的。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-15
  • 阅读 ( 2879 )
  • ( 4 )

solidity assembly的基础用法

什么是Assembly在编写Solidity代码时，我们可以使用assembly{}关键字开始编写Yul代码，它是一种简化且扩展了的汇编语言。通过使用assembly，我们可以直接访问堆栈，并优化代码以提高内存效率，从而减少执行交易所需的燃气量。这最终降低了用户的交易成本。然而，在可读性方面存
solidity 编程 

手摸手教你如何使用foundry进行测试脚本编写

什么是foundry?foundry是一个solidity智能合约开发工具。可以帮你管理依赖包，编译项目，运行测试脚本，还可以让你通过命令行工具或者script脚本和链上合约进行交互。和hardhat不同的地方是，hardhat我们还是主要用来开发大型的合约项目，但是foundry用来进行编写测试
Foundry  Solidity  Solidity工具 

Solidity Fixed Point 库中的问题 — Certora 漏洞披露

本文探讨了固定点表示法在DeFi应用中的重要性，详细分析了PRBMath库中的一个设计缺陷，该缺陷可能导致严重的安全漏洞，并强调了公共库安全性的重要性。作者建议进行长远解决方案以支持多种舍入模式，并指出了正式规范的重要性。
固定点表示法  DeFi  PRBMath库  安全漏洞  智能合约  数学库 
  • Certora
  • 发布于 2023-07-13
  • 阅读 ( 289 )

Michael.W基于Foundry精读Openzeppelin第7期——Timers.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Timers库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-10
  • 阅读 ( 2356 )
  • ( 3 )

Michael.W基于Foundry精读Openzeppelin第6期——Strings.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Strings库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-09
  • 阅读 ( 2563 )
  • ( 2 )

Michael.W基于Foundry精读Openzeppelin第5期——Counters.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Counters库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-07
  • 阅读 ( 3267 )
  • ( 3 )

Michael.W基于Foundry精读Openzeppelin第4期——Base64.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Base64库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-06
  • 阅读 ( 2563 )
  • ( 3 )

关于Solidity 事件，我希望早一点了解到这些

in  全面掌握Solidity智能合约开发
在这篇文章中，详细说明的事件的日志是如何生成，索引是如何影响日志的生成，字符串等变长数据是如何处理的。同时介绍了在前端如何获取事件。
事件 
  • Tiny熊
  • 发布于 2023-07-06
  • 阅读 ( 5000 )

Michael.W基于Foundry精读Openzeppelin第3期——Arrays.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Arrays库及对应测试。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-04
  • 阅读 ( 2996 )
  • ( 12 )

Michael.W基于Foundry精读Openzeppelin第2期——StorageSlot.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的StorageSlot库及对应测试。
StorageSlot 
  • Michael.W
  • 发布于 2023-07-03
  • 阅读 ( 2425 )
  • ( 2 )

Remix v0.34.0 版本介绍

Remix v0.34.0 更新重点：Etherscan 验证代码更好用， 还支持代理合约验证、全新的 Solidity 分析器， 适配 WalletConnect v2.0
Remix 
  • aisiji
  • 发布于 2023-07-03
  • 阅读 ( 3646 )
  • ( 10 )

Michael.W基于Foundry精读Openzeppelin第1期——Address.sol

in  Michael.W基于Foundry精读Openzeppelin
从foundry工程化的角度详细解读Openzeppelin中的Address库及对应测试。
Address  Foundry  delegatecall 
  • Michael.W
  • 发布于 2023-07-03
  • 阅读 ( 3511 )
  • ( 10 )

03.slither API常用对象结构

in  Slither漏洞扫描框架使用(初级篇)
slither API中常用对象结构解析
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-06-28
  • 阅读 ( 2771 )

Yul 入门指南

Yul 入门指南
Yul 
  • Tiny熊
  • 发布于 2023-06-27
  • 阅读 ( 7025 )
  • ( 151 )

一段Solidity汇编代码逻辑整理

一段Solidity汇编代码逻辑整理
内联汇编 
  • Ethereal
  • 发布于 2023-06-27
  • 阅读 ( 1769 )
  • ( 4 )

如何使用Create2工厂创建合约并验证（Base Remix）?

使用Create2工厂(0x0000000000ffe8b47b3e2130213b802212439497)创建合约并在etherscan验证
CREATE2  Solidity 
  • Meta
  • 发布于 2023-06-19
  • 阅读 ( 2857 )
  • ( 2 )

Create2 创建合约、预测合约地址，看这一篇就够了

本文使用create2创建合约、预测合约地址
CREATE2  Solidity 

介绍 [V] 规范语言

这篇文章介绍了 V 规范语言，主要用于形式验证以证明程序逻辑的正确性。文章详细阐述了 V 语言的核心构建块—— V 语句，以及如何使用它们来指定智能合约的属性、合约不变性、方法合约和行为规范，强调了这些规范在开发安全智能合约中的重要性。
规范语言  形式验证  智能合约  合约不变性  方法合约  行为规范