@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.
https://allthingsfuzzy.substack.com/p/certora-vs-echidna-a-case-study-on
Certora 与 echidna 的 #fuzz invariant 测试
Certora 与 echidna 的 #fuzz invariant 测试
https://github.com/pcaversaccio/createx
支持 CREATE 和 CREATE2 的工厂合约
支持 CREATE 和 CREATE2 的工厂合约