Buenos Aires, Autonomous City of Buenos Aires, Argentina
Join Prog.AI to see contacts
Join Prog.AI to see contacts
Summary
👤
Senior
Federico Carrone is a founder and engineer based in Buenos Aires with 11 years building high-throughput distributed systems and data platforms that handle hundreds of millions of requests per second and petabytes of data. He leads LambdaClass and Ergodic Group, blending hands-on backend development (notably in Erlang and Rust) with operational expertise across Cassandra, Kafka, Elasticsearch and observability stacks like Grafana and Prometheus. In recent years he has pivoted toward data science, AI/ML and Bayesian methods while continuing to contribute to cryptography-adjacent open source work — including Rust implementations for the Cairo VM focused on elliptic-curve math and security testing. An organizer of local tech communities (Erlang/Elixir, Rust Argentina and BuzzConf), he pairs systems-level rigor with eclectic interests in languages, history and finance that inform pragmatic, research-driven solutions.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Role in this project:
Back-end Developer & Security Engineer
Contributions:24 reviews, 250 commits, 134 PRs in 7 months
Contributions summary:Federico's commits indicate a focus on Cairo VM implementation and related cryptographic concepts, primarily involving mathematical utilities and elliptic curve operations. They contributed to the core functionality by modifying functions related to modular arithmetic, elliptic curve computations (ec_add, ec_double, line_slope), and testing these mathematical functions. Additionally, commits included the integration of security and testing frameworks and the overall structure of the Cairo VM.
Contributions:116 pushes, 1 branch, 13 comments in 1 year 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.