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

深入了解 Solidity 错误 #1 - 编译器错误

in  理解 EVM - 探究Solidity 背后的秘密
深入了解 Solidity 错误第二篇， 了解编译器错误。
Solidity  错误处理 
  • Tiny熊
  • 发布于 2023-08-01
  • 阅读 ( 5522 )

Michael.W基于Foundry精读Openzeppelin第17期——BitMaps.sol

in  Michael.W基于Foundry精读Openzeppelin
BitMaps库开发了一种存储更紧凑且高效的mapping(uint256=>bool)。传统的mapping(uint256=>bool)中一个slot只能存储一个键值对的bool值信息，而改用了BitMaps.BitMap数据结构后，一个slot理论上最多可以存256个键值对的bool值信息。
OpenZeppelin 

Michael.W基于Foundry精读Openzeppelin第16期——SignedSafeMath.sol

in  Michael.W基于Foundry精读Openzeppelin
SignedSafeMath库就是直接对solidity内置的int256类型的加减乘除运算的函数封装。
OpenZeppelin 

Michael.W基于Foundry精读Openzeppelin第15期——SignedMath.sol

in  Michael.W基于Foundry精读Openzeppelin
SignedMath库提供了solidity中尚未内置的标准有符号数的数学运算方法。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-30
  • 阅读 ( 2957 )
  • ( 3 )

探索Cairo：安全概述

本文介绍了最近发布的Cairo 1.0，Starknet的原生编程语言，重点关注其安全特性以及在Starknet上编写合约时可能遇到的陷阱。通过具体的代码示例讲解了如何编写Starknet智能合约，并指出了潜在的安全问题，如溢出、重入和存储冲突等。作者还提到了Cairo 2.0即将发布的改变，旨在增强语言的易用性和安全性。
Cairo  Starknet  智能合约  安全特性  重入攻击  溢出 
  • zellic
  • 发布于 2023-07-28
  • 阅读 ( 800 )

深入了解 Solidity 错误 #0

in  理解 EVM - 探究Solidity 背后的秘密
深入了解 Solidity 错误第一篇, EVM 中的错误分类。
EVM  Solidity  错误处理 
  • Tiny熊
  • 发布于 2023-07-28
  • 阅读 ( 4180 )

Michael.W基于Foundry精读Openzeppelin第14期——SafeMath.sol

in  Michael.W基于Foundry精读Openzeppelin
SafeMath库是对solidity中uint256的加、减、乘、除和取模运算的一层封装。由于solidity 0.8之前的uint256运算是不做溢出检查，许多基于0.8版本之前的项目都会使用该库。0.8版本之后solidity编译器内置了整形数溢出检查，所以SafeMath库也不再被广泛使用。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-28
  • 阅读 ( 2720 )
  • ( 2 )

【使用go开发区块链】之智能合约交互（01）

in  使用go开发区块链应用
​go与智能合约交互的方式有很多种，其中一种方式可以在不知道合约源码的情况下进行调用，接下来让我们一起学习一下。
Geth  Solidity 

Solidity中的delegatecall

本文全面概述了Solidity中的“delegatecall”函数，详细介绍了它在一个智能合约的上下文中执行另一个智能合约中的代码的重要性。
delegatecall  Solidity  智能合约  proxy合约  upgradeable合约  函数调用 

Michael.W基于Foundry精读Openzeppelin第13期——Checkpoints.sol

in  Michael.W基于Foundry精读Openzeppelin
Checkpoints库定义了History、Trace224和Trace160结构体。这些结构体中包含了在各个不同的区块高度或自定义key上记录的数值并可以查询出对应区块高度或key上的记录值。Checkpoints库提供了标准的添加记录、查询记录的库方法。
OpenZeppelin 

Michael.W基于Foundry精读Openzeppelin第12期——SafeCast.sol

in  Michael.W基于Foundry精读Openzeppelin
SafeCast库提供了solidity的基础整数类型uintX和intX之间的类型安全转换的库方法。在不同的类型转换之间都加入溢出检查，如果一旦在转换过程中出现类型的溢出会立刻revert。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-23
  • 阅读 ( 2204 )
  • ( 4 )

Michael.W基于Foundry精读Openzeppelin第11期——Math.sol

in  Michael.W基于Foundry精读Openzeppelin
Math库为合约开发提供了solidity内置的uint256运算以外的其他整形运算方法。solidity内置的整形运算，每一步都会做overflow revert（除非unchecked{}），而Math库会在不影响结果准确性的前提下利用位溢出进行更加tricky的操作。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-22
  • 阅读 ( 3199 )
  • ( 6 )

20分钟极速学完Hardhat全部内容

本节课将用最简单的语言、最少的废话来帮助同学们用最短的时间学习hardhat，全网独家！
Hardhat 

形式验证的三大误解

本文揭示了有关智能合约形式验证（FV）的三大常见误解，并介绍了Certora开发的形式验证语言CVL如何有效打破这些误区。文章通过示例展示了CVL的易用性和强大能力，强调了形式验证在检查合约安全性和发现复杂漏洞中的重要性，以及Certora Prover工具的实际应用。
形式验证  智能合约  CVL  Certora Prover  安全性  Solidity 
  • Certora
  • 发布于 2023-07-20
  • 阅读 ( 474 )

Michael.W基于Foundry精读Openzeppelin第10期——Create2.sol

in  Michael.W基于Foundry精读Openzeppelin
Create2库本质就是对EVM opcode CREATE2进行的一个封装，可以让开发者在非内联汇编环境下直接使用该opcode。 CREATE2是一种可提前计算合约部署地址的合约部署opcode。而传统的合约部署是通过opcode CREATE完成的。
OpenZeppelin 
  • Michael.W
  • 发布于 2023-07-17
  • 阅读 ( 3165 )
  • ( 9 )

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

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