Hernán Vanzetto
Staff Software Engineer at Circle
Netherlands
Summary
👤
Senior🎓
Top SchoolHernán Vanzetto is a Staff Software Engineer based in the Netherlands with eight years of industry experience at the intersection of distributed systems, protocol design, and formal verification. He holds a Ph.D. focused on formal verification of distributed systems and has translated that research into production-grade consensus work—contributing to CometBFT/Tendermint and designing a novel BFT mempool gossip protocol. At Informal Systems he built and connected a Rust consensus engine (Malachite) to Ethereum execution clients and performed security audits of consensus protocols, bringing both implementation and verification expertise. His background spans backend, DevOps, and data-intensive systems across companies like Circle, Rabobank and ASML, and academic roles at Yale and research labs, blending theorem-proving skills (Coq/TLA+) with practical engineering. Notably, he has hands-on experience refactoring critical CometBFT components and enabling Prometheus monitoring in widely used blockchain infrastructure.
8 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Informatics, Doctor of Philosophy (Ph.D.) Informatics at Universite de LorraineAnalista Universitario en Sistemas, Analista Universitario en Sistemas at Instituto Politécnico Superior, Universidad Nacional de RosarioComputer Science (equivalent to European Master of Science), Computer Science (equivalent to European Master of Science) at Universidad Nacional de Rosario
Spanish, English, French, Italian, Greek
Github Skills (9)
distributed-systems10
go10
blockchain10
devops9
docker8
configuration-management8
dockers8
cicd7
testing7
Programming languages (10)
Github contributions (5)
cometbft/cometbft
Feb 2023 - Mar 2023
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:695 reviews, 22 commits, 417 PRs in 1 month
Contributions summary:Hernán primarily contributed to refactoring and removing unused code within the CometBFT node structure, focusing on the removal of outdated mempool versions and reactors. They also made changes to enable Prometheus metrics for monitoring, including the addition of flags and configuration adjustments in the test environment and deployment setup. Furthermore, the user updated the codebase by removing the `block_sync` key and replacing it with `BlockSyncVersion`, and they made changes to the testnet setup.
bftblockchaincosmosdatabasedistributed-systems
informalsystems/atomkraft-cosmos
Aug 2022 - Nov 2022
Contributions:6 reviews, 110 commits, 3 PRs in 3 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.