排序
智能合约模糊测试工具推荐——Echidna
一、理论介绍 1. 模糊测试介绍 什么是模糊测试,先来看一下维基百科关于模糊测试的介绍。 模糊测试(fuzz testing, fuzzing)是一种软件测试技术。 其核心思想是将自动或半自动生成的随机数据输...
【项目学习】ERC-4337 抽象账户项目审计过程中需要注意的安全问题
抽象账户是什么 抽象账户(也有叫合约钱包)是 EIP-4337 提案提出的一个标准。简单来说就是通过智能合约来实现一个“账户(account)”,在合约中自行实现签名验证的逻辑。这样,就使得该合约拥...
14_Cairo1.0 变量所有权和Move操作
此文章使用的Cairo编译器版本:2.0.0-rc0。因为Cairo正在快速更新,所以不同版本的语法会有些许不同,未来将会将文章内容更新到稳定版本。 变量的作用域 变量的作用域,也可以理解为变量所有者...
12_Cairo1.0中的Array(数组)
此文章使用的Cairo编译器版本:2.0.0-rc0。因为Cairo正在快速更新,所以不同版本的语法会有些许不同,未来将会将文章内容更新到稳定版本。 数组是一种非常常用的数据结构,通常代表一组相同类型...
【Dapp开发】Dapp里关于签名和验证签名
一、如何签名以及验证签名? 签名 首先将要签名的message拼接起来 对message进行hash运算 将hash结果进行签名(在链下签名,需要用到私钥,一般都是需要调用钱包插件来进行签名); 验证签名 对...