About
I'm atarpara — a low-level engineer focused on EVM internals, smart contract optimization, and formal verification.
Most of my work lives close to the metal: Solidity assembly, gas optimization, numerical methods, fixed-point arithmetic, and proving correctness of systems that cannot afford undefined behavior.
I enjoy breaking complex mechanisms down to first principles — deriving algorithms, analyzing bytecode, tracing execution paths, and understanding exactly why something works instead of relying on abstraction alone.
This blog is a collection of things I've researched, debugged, optimized, or built from scratch. You'll find deep dives into EVM behavior, mathematical derivations behind crypto systems, Lean 4 proofs, and experiments around performance-critical code.
Topics I write about include:
- EVM internals and opcode-level behavior
- Solidity assembly and gas optimization
- Formal verification with Lean 4
- Fixed-point arithmetic and numerical methods
- Cryptographic and mathematical derivations
- Smart contract security and correctness
I care about precision, minimalism, and systems that are both efficient and mathematically sound.