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.

January 2024(1 month ago)
... but for real
Some explanations about blockchain: current perception, what is it actually, how it works, perspectives for the future, and what to do now.
November 07, 2023
(3 months ago)
Decentralized Systems
End The Cycle of Indifference
How traditional democracies tend to favor indifference, through delegation of knowledge and awareness, and how decentralized systems can help by incentivizing active participation in governance.
October 17, 2023
(4 months 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)
formal verification
Design shamelessly forked and modified from 5/9