Haresh Gedia
Developer Ecosystem at o1Labs
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolHaresh Gedia is a seasoned backend engineer with 8 years focused on blockchain and distributed systems, currently shaping developer ecosystems for Mina Foundation and o1Labs in London. He blends hands-on smart contract expertise in Solidity/Ethereum with systems-level experience in C++, Golang and JavaScript, having built verifier tooling, patched transpilers, and authored developer docs and tutorials. His background spans enterprise-grade C++ work in aviation and telecoms to designing high-performance Go architectures on Hyperledger Fabric, giving him rare breadth across permissioned and permissionless platforms. Comfortable in developer relations and advocacy roles, he pairs technical depth with client-facing communication, conference representation and community support. Notably, he has practical experience packaging zk-SNARK verifiers and integrating Solidity generation into C++ toolchains—bridging cryptography, compiler work and hands-on blockchain engineering.
8 years of coding experience
12 years of employment as a software developer
VVHSMasters Information Technology, Masters Information Technology at University of Mumbai
Github Skills (142)
bash10
sarif10
shell10
cli10
zsh10
circuit10
docker10
cli-app10
php10
interaction10
oh-my-zsh9
acl9
firefox9
proof-system9
spice9
Programming languages (13)
Github contributions (5)
hgedia/dotfiles
Mar 2019 - Mar 2025
Contributions:27 pushes, 1 branch in 6 years
hgedia/hgedia.old-site
Oct 2017 - May 2023
Contributions:21 pushes, 3 branches in 5 years 8 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.