Skip to content
Umar's Portfolio
Posts
Tags
Archives
Search
Go back
Breaking my own code and fixing it so that hackers don't - featuring formal verification using Certora
4 Jan, 2026
|
Edit page
First was posted in detailed on X -
Article 1
Edit page
huff
evm-optimization
algorithms
Back To Top
Share this post on:
Share this post via WhatsApp
Share this post on Facebook
Share this post on X
Share this post via Telegram
Share this post on Pinterest
Share this post via email
Next Post
Stop Trusting .env: A Zero-Trust Pattern for Python Signers