andrea carotti

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.

• dark

  Re-implementation of Arkade's protocol server for Bitcoin Layer 2 scaling with an enhanced focus on privacy.

• Rational Economic Behaviours in the Bitcoin Lightning Network

  Under realistic assumptions, we analyze the economic returns of the network's largest routing nodes, and assess whether the centralizing tendency is incentive-compatible from an economic viewpoint.

• Adaptive Reliable Path

  End-to-end algorithm for adaptive path selection, keeping two endpoints reliably connected as network conditions change.

• Sparse Matrix Calculus Language

  OCaml domain-specific language for linear algebra on sparse matrices using COO format.