andrea carotti
about
I'm an engineer, building safe blockspace at Firewall. I studied cs and engineering at Politecnico di Milano, then moved to Chicago to finish my studies, where I currently live. During my university years I also helped my mother grow and develop fcargentoepietredure.it.
I have a background in permissionless systems and blockchain scaling, explored across research and industry.
projects / research
- Hypercombos
Parlay layer for Hyperliquid's HIP-4 prediction markets, combining legs into a single non-custodial ticket.
- veriware
Browser verification of commonware threshold-simplex consensus certificates, with no server to trust.
- dark
Re-implementation of Arkade's Bitcoin L2 protocol server with a focus on privacy.
- Rational Economic Behaviours in the Lightning Network
Economic analysis of the largest routing nodes and the network's centralizing tendency.
- Adaptive Reliable Path
Adaptive path selection keeping two endpoints reliably connected.
- Sparse Matrix Calculus Language
OCaml DSL for linear algebra on sparse matrices in COO format.
articles
- Ethereum Block Validation inside Jolt 2026-08-14
Measuring an Ethereum block on Jolt's zkVM, and the impact of acceleration.
- Anatomy of a Rollup Sequencer 2024-04-25
How rollup blocks get built, from op-node to shared sequencers.