Mikhail S is a BitVM R&D engineer and cryptography-first systems builder with a decade of experience turning advanced crypto research into production-grade Rust infrastructure. He has architected and shipped cross-chain DeFi systems that safely moved over $11B with zero incidents and built open-source zk folding libraries and verifiers used to bridge SNARKs into constrained environments like Bitcoin Script. At Babylon Labs he’s advancing BitVM and MPC techniques to enable optimistic, trustless computation on Bitcoin without consensus changes, drawing on prior roles leading protocol design, on-chain/off-chain integration, and Rust migrations. Based in Barcelona, he blends deep applied cryptography, systems engineering, and a longtime hobbyist history in Minecraft modding — a hint at his pragmatic, hands-on approach to complex engineering problems.
9 years of coding experience
5 years of employment as a software developer
Master's degree Security of computer and information systems, Master's degree Security of computer and information systems at Bauman Moscow State Technical University
A bridge/proxy allowing you to connect to Minecraft: Java Edition servers with Minecraft: Bedrock Edition.
Contributions:23 pushes, 2 branches in 9 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.