全部 以太坊 比特币 Solana 公链 Solidity合约 Web3应用 编程语言 安全 密码学 科普 其他

手把手教你用Echidna测试智能合约

随着Web3的迅猛发展,各种智能合约层出不穷,某些智能合约中的漏洞很致命的:无论是以代币还是以太币的形式,合约可以管理重要的财产资源,漏洞造成的损失将可能以数百万美元计。不过,以太坊区块链上的代码比任何单个合约都更重要:智能合约库代码。

  • darren
  • 发布于 2022-03-25
  • 阅读 ( 3426 )
  • ( 8 )

以太坊合约地址是怎么计算出来的?(附源码实现)

Uniswap 交易对地址是如何计算出来的

  • darren
  • 发布于 2022-03-17
  • 阅读 ( 4504 )
  • ( 14 )

Remix编译器介绍以及合约的部署

Remix 编译器介绍,智能合约部署在以太坊测试网

  • iniox
  • 发布于 2022-03-16
  • 阅读 ( 6279 )
  • ( 26 )

Paraluni Hack Reply

整体的思路是特洛伊木马token的思路,重入masterChef中的 depositByAddLiquidity方法。该方法的核心错误逻辑在于:它只检查了lpToken的地址合法性,没有检查token0,token1的地址合法性。从而让token0可以做成一个特洛伊木马,在token0里面transfer一个合法的token,从而成功添加流动性;而导致deposit重复计算。

  • bixia1994
  • 发布于 2022-03-15
  • 阅读 ( 2623 )
  • ( 7 )

web3与ethers调用对比

web3 ,ethers对比

  • webkubor
  • 发布于 2022-03-12
  • 阅读 ( 3515 )
  • ( 14 )

最详细的解释EVM的函数选择原理

原文:https://noxx.substack.com/p/evm-deep-dives-the-path-to-shadowy?utm_source=url&s=r 译文出自:Shenstone。 译者:Shenstone。 校对:Shenstone。 本文永久链接:https://learnblockchain.cn/article/3647

EVM 

Solidity 中的函数状态可变性

状态可变性是一个可靠的概念,它定义了函数的行为以及它们如何与存储在区块链上的数据进行交互。在本文中,我们将可以了解不同的状态可变性修饰符,以及如何在编写优化的智能合约时应用它们。

零时科技|solidity智能合约基础漏洞——整数溢出漏洞

黑客往往会利用溢出构造一个极小值/极大值,从而绕过某些检查,使巨额恶意转账得以成功