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

深入理解 Solidity 错误 #3 - 错误处理

in  理解 EVM - 探究Solidity 背后的秘密
在深入理解 Solidity 错误"的第三篇， 探索处理错误，本文将揭晓这问问题的答案：asset 错误会消耗所有 gas 吗？ require 提不提供错误字符有什么样的不同？外部调用的错误如何影响当前上下文？如何处理底层调用调用产生的错误？
错误处理  Solidity  区块链安全 
  • Tiny熊
  • 发布于 2023-08-03
  • 阅读 ( 4907 )

【Web3 探索】如何获取协议中某个地址拥有的所有投资组合

in  Web3 探索-新手必看宝典
介绍如果您想要追踪钱包地址或开发与某个协议交互的应用程序，访问特定地址所拥有的所有投资组合可能非常有益。在本指南中，我们将为您介绍使用Chainbase的getAccountPortfoliosAPI检索协议中特定地址拥有的所有投资组合的步骤。目录概述-使用Chainbase所需的工
DeFi  数据分析 
  • Chainbase
  • 发布于 2023-08-02
  • 阅读 ( 2530 )
  • ( 2 )

深入理解 Solidity 错误 #2 - 运行时错误

in  理解 EVM - 探究Solidity 背后的秘密
在运行时错误是最常遇到的情况，你知道 `Error` 与 `Panic` 的细微差别吗？ 发生 Panic 错误真的会消耗所有的 gas 么，本文揭晓答案。
错误处理  solc  Solidity 
  • Tiny熊
  • 发布于 2023-08-02
  • 阅读 ( 4246 )

Michael.W基于Foundry精读Openzeppelin第18期——DoubleEndedQueue.sol

in  Michael.W基于Foundry精读Openzeppelin
DoubleEndedQueue库提供了双向队列的数据结构及对应操作库函数，提供了队头或队尾插入及弹出元素值等逻辑功能。本库采用优化过的storage存储且所有操作的时间复杂度都是O(1)。特别要注意的是库中的clear操作仅仅将队头和队尾指针清零，而之前队列中的元素值依然留存在storage中
OpenZeppelin 
  • Michael.W
  • 发布于 2023-08-02
  • 阅读 ( 2418 )
  • ( 4 )

Web3中最好的安全教育工具 - Solodit

该文章讲述了作者如何通过学习Solidity和开发Solodit工具，从而成为一名优秀的智能合约审计师的故事。Solodit成为了一个汇聚众多审计报告的平台，帮助更多审计师提升技能与效率，推动Web3安全的进步。
Solidity  智能合约  Solodit  web3安全  审计工具  Code4rena 

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

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

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
  • 阅读 ( 2743 )
  • ( 3 )

探索Cairo：安全概述

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

深入了解 Solidity 错误 #0

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

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
  • 阅读 ( 2471 )
  • ( 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
  • 阅读 ( 2001 )
  • ( 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
  • 阅读 ( 2859 )
  • ( 6 )

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

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

形式验证的三大误解

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

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
  • 阅读 ( 2890 )
  • ( 9 )