Alberto Centelles is a cryptography researcher and mathematician based in London with 11 years of experience building privacy-preserving systems grounded in algebraic number theory, elliptic-curve and lattice-based cryptography. He has led seminal open-source implementations of advanced protocols (from Bulletproofs to SONIC) and helped ship core blockchain functionality in Rust for Namada’s privacy-focused PoS L1. At Heliax he researched zkVMs, accumulation schemes and the Taiga protocol, and his work at Adjoint produced widely used Haskell cryptography libraries and practical distributed systems. Alberto combines deep theoretical training—including MSc and PhD work in post-quantum cryptography at Imperial College—with hands-on engineering across Haskell, Rust and wasm environments. He cares about privacy and human flourishing, a perspective that informs both protocol design and pragmatic engineering choices. Colleagues describe him as relentlessly curious, driven by “the pleasure of finding things out” and comfortable moving between formal math and production code.
11 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy - PhD Post-Quantum Cryptography, Doctor of Philosophy - PhD Post-Quantum Cryptography at Imperial College London
Master of Architecture (M.Arch.), Master of Architecture (M.Arch.) at Düsseldorf University of Applied Sciences
BSc Mathematics, BSc Mathematics at Universidad Nacional de Educación a Distancia - U.N.E.D.
Master of Architecture - MArch Architecture, Master of Architecture - MArch Architecture at Universidad Politécnica de Madrid
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Role in this project:
Back-end Developer
Contributions:3 commits, 1 PR, 2 pushes in 1 day
Contributions summary:Alberto implemented core functionality within the Namada project, specifically focusing on the "eval" feature for validity predicates. They modified code related to the virtual machine (VM) environment, including host functions and memory management, demonstrating expertise in wasm execution. The user's work also involved updating the service definitions and integrating the eval function, suggesting involvement in the core logic and architecture of the Namada blockchain. Furthermore, they also added the ability to send and receive matchmaker messages.
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.
Request Free Trial
Alberto Centelles - Cryptography Researcher at ICME