polarzero
Smart contract developer and security researcher.Fuzzing and formal verification.
Blockchain...
... 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)
education
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.
Tue Oct 17 2023
(1 month ago)
education
governance
Storage collision
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.
ENS
Decentralized naming system for wallets, websites, and more
Waiting for report...
Stateful fuzzing (invariant testing), manual analysis.
Placed#11
Analysis
Code4rena
Sun Oct 01 2023(1 month ago)|6 days
audit competition
ens