polarzeroSmart contract developer and security researcher.
Fuzzing and formal verification.
... 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.
Tue Nov 07 2023
(3 weeks ago)
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.
Tue Oct 17 2023
(1 month ago)
Fuzzing, Halmos, Certora
How some automated testing tools can fail to discover precise storage collision exploits, yet why it matters more than ever to use them.
Decentralized naming system for wallets, websites, and more
Waiting for report...
Stateful fuzzing (invariant testing), manual analysis.
Sun Oct 01 2023(1 month ago)|6 days