Xuyang Song
Cryptography Research Engineer at Heliax
Beijing, China
Summary
🤩
Rockstar🎓
Top SchoolXuyang Song is a cryptography research engineer with seven years of experience building privacy-preserving blockchain systems and zero-knowledge proofs, currently focused on ZKP development at Heliax in Beijing. He has applied cryptography and systems engineering across Ant Group, PlatON, and enterprise game back-ends, working in Rust, C++ and TEE-related environments. His open-source work includes concrete contributions to the Anoma reference implementation—integrating Cairo resource machine proof verification and shielded transaction support—demonstrating strength in both protocol design and practical backend integration. Trained with a master’s in cryptography from the Chinese Academy of Sciences, he blends rigorous academic foundations with production-grade implementation experience. Notably, he moves fluidly between low-level cryptographic primitives and the engineering details required to make ZK systems interoperate in real-world blockchains.
7 years of coding experience
6 years of employment as a software developer
Bachelor of Engineering - BE, Information Security, Bachelor of Engineering - BE, Information Security at Henan Agricultural UniversityMaster's degree, Cryptography, Master's degree, Cryptography at Chinese Academy of Sciences
Github Skills (7)
consensus10
erlang10
cryptography10
cairo10
blockchain10
elixir10
distributed-systems9
Programming languages (5)
Github contributions (5)
anoma/anoma
Oct 2024 - Mar 2025
Reference implementation of Anoma
Role in this project:
Back-end Developer
Back-end DeveloperContributions:37 reviews, 16 PRs, 32 pushes in 5 months
Contributions summary:Xuyang primarily focused on developing and implementing features within the Anoma blockchain project, specifically related to Cairo resource machine integration. Their contributions included adding methods for verifying Cairo proofs and integrating the new shielded transaction structure into the cairo worker. They also worked on enhancing the resource machine by introducing a partial transaction struct and implementing a binding signature verification. Furthermore, they modified the circuit inputs for better functionality.
cryptographyanomaconsensusprotocolp2p
anoma/aarm-cairo
Apr 2024 - Jan 2025
Contributions:11 reviews, 58 PRs, 62 pushes in 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.