Tag: huff

All the articles with the tag "huff".

• Breaking my own code and fixing it so that hackers don't - featuring formal verification using Certora

  4 Jan, 2026

  Certora helped me uncover some bugs in my code using formal verification

• Reversing 256 Bits Without a Loop: A Lesson in EVM Optimization and defeating Dark Huffoor in Huff

  4 Jan, 2026

  Solving the final Node Guardians Huff challenge by replacing O(n) loops with O(1) bitwise magic for Bits reversal of Uints.