1. Using benchmarks to speed up Echidna blog | 2024-05-08 13:30 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing
2. Optimizing a smart contract fuzzer blog | 2022-03-02 12:00 | blog.trailofbits.com | original ↗ | #web3 | #smart-contracts | #fuzzing
3. Leaves of Hash blog | 2019-06-17 10:50 | blog.trailofbits.com | original ↗ | #cryptography | #haskell | #merkle-trees