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

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

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

智能合约安全审计入门篇 —— 访问私有数据

上次我们了解了 solidity 中自带的函数——自毁函数,相信大家多少已经对它有所了解,这次我们将了解如何访问合约中的私有数据(private 数据)。

生成并验证类型结构化数据签名(EIP-712签名)

我花了太多时间来弄清楚如何生成并验证类型结构化数据 签名,所以整理这篇文章希望可以帮你节省点时间。

  • 影无双
  • 发布于 2022-03-25
  • 阅读 ( 4284 )
  • ( 9 )

​面向开发人员的 Solidity:使用Solidity进行ABI编码和解码

在本文中,我们将学习一些关于 编码规则 的知识,以及如何使用solidity对必须作为函数参数发送的数据进行编码和解码。

关于Cosmos的研究

本文从 多链跨链 开始,介绍了3种常见的跨链方式。接着介绍了Cosmos核心解决了2个问题,第一个是简化区块链创建过程,第二个是标准化了Cosmos生态内部的跨链协议IBC。

零知识证明 - zkHack mini挑战赛第一名

这次的挑战赛由两道题目组成。一道题目一个星期的挑战时间。和第一期的挑战不同,这一期的题目都是基于STARK算法。STARK算法,AIR,FRI低阶测试等等技术会在后续的文章仔细介绍。本文先总结一下这次挑战赛的两个题目的解题思路。

  • Star Li
  • 发布于 2022-03-21
  • 阅读 ( 2511 )