Tanishq Jasoria

Hi, I'm Tanishq — I build and break Ethereum clients for a living. This is where the war stories go: EVM internals,Rust, month-long fuzzing runs, and the occasional love letter to boring technology. Everything here was debugged before it was published.

tanishq@blog❯ ls -lt ./posts

NAME / DESCRIPTIONMODIFIED · SIZE

2026-07-12solidity-primer.md30 minA dense single-sitting primer: how Solidity maps onto the machine you already understand — storage layout, dispatch, the 0.8.x timeline, canonical bug classes, proxies, and gas idioms.2026-07-06hello-world.md1 minWhy this blog exists, what it runs on, and what to expect from it.2023-10-01verkle-snapshot-protocol.md5 minA snap/2 protocol sketch for exchanging Verkle state snapshots between peers — suffix-tree ranges, verkle range proofs, and healing via execution witnesses.2019-11-03facebook-production-engineer-intern-process.md4 minInterviewing for the Production Engineer Intern role at Facebook London — the three rounds, what they test, and the resources that help.

tanishq@blog❯ ls ./courses

NAME / DESCRIPTIONSTARTED · STATUS

2026-06-04formal-verification-lean4/wipFormal Verification in Lean4 — A 10-week path from zero theorem proving to machine-checked properties of production Solidity, using Lean4 and Halmos on a real codebase.