Airdrop patterns and solutions
Gas benchmarks

Measuring gas usage for popular airdrop patterns with various token standards and airdrop mechanisms.

Including native tokens, ERC20, ERC721 and ERC1155.

Foundry
January 2024(1 month ago)
Mantle LSP Staking
Bug bounty
Fuzzing and formally verifying Mantle LSP Staking contract, to try to optimize for the highest extracted ETH and mETH value, as part of their bug bounty program.
Echidna, Halmos
December 2023(2 months ago)
fuzzing/invariants
formal verification
Superform ERC1155A
Fuzzing campaign - audit competition

Fuzzing Superform ERC-1155 extension with a naive method.

Meaning, using different degrees of control across the handlers (loose, strict, discriminate). See the repo for more details.

Foundry
November 2023(3 months ago)
fuzzing/invariants
Storage collision
Challenge - Remedy
How some automated testing tools can fail to discover precise storage collision exploits, yet why it matters (even more) to use them.
Foundry, Certora, Halmos
November 2023(3 months ago)
fuzzing/invariants
formal verification
Return home
Design shamelessly forked and modified from 5/9