Archives
All the articles I've archived.
2026 4
January 4
-
Breaking my own code and fixing it so that hackers don't - featuring formal verification using Certora
Certora helped me uncover some bugs in my code using formal verification
-
Stop Trusting .env: A Zero-Trust Pattern for Python Signers
Managing private keys in a secure way for python bots-like environments.
-
Reversing 256 Bits Without a Loop: A Lesson in EVM Optimization and defeating Dark Huffoor in Huff
Solving the final Node Guardians Huff challenge by replacing O(n) loops with O(1) bitwise magic for Bits reversal of Uints.
-
Solidity is ~O(log n), I Needed O(1): Building a Constant-Time Dispatcher in Huff
Breakdown of my process on approaching node guardians huff challenge on optimized dispatchers.