Isaac Defrain
Senior Software Engineer at LayerZero Labs
Vancouver, British Columbia, Canada
Summary
👤
Senior🎓
Top SchoolIsaac Defrain is a Senior Software Engineer based in Vancouver who blends a deep academic background in pure mathematics with seven years of hands-on experience building and securing blockchain and distributed systems. He’s contributed core protocol logic and testing to notable projects like RChain and designed critical components for Mina indexers, zkApp security, and consensus tooling, often combining TLA+ formal specifications with Rust and OCaml implementations. Self-taught across Haskell, OCaml, Rust and formal methods, Isaac specializes in protocol design, BFT consensus, and formal verification, and has guided teams to translate specs into production-ready code. He tutors functional programming and lambda calculus, reinforcing his ability to explain complex concepts clearly while continuing to learn advanced category theory. Beyond code, Isaac applies the same obsessive rigor from rock climbing to hunting down subtle protocol bugs and performance issues.
7 years of coding experience
7 years of employment as a software developer
Bachelor's degree Math/Physics/Chemistry, Bachelor's degree Math/Physics/Chemistry at Harriet L. Wilkes Honors College at FAUMaster's degree Differential Geometry Complex Analysis and Geometric Function Theory, Master's degree Differential Geometry Complex Analysis and Geometric Function Theory at Kent State UniversityLearner Category theory functional programming & formal verification, Learner Category theory functional programming & formal verification at Independent Study
Stackoverflow
167reputation
14kreached
2answers
5questions
Github Skills (13)
cas10
casperjs10
rholang10
blockchain10
debugging6
react-tsx6
sml6
typescript6
slack6
zoom-sdk6
daml6
ml6
ocaml6
Programming languages (17)
Github contributions (5)
rchain/rchain
Oct 2018 - Aug 2022
Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:7 reviews, 23 commits, 13 PRs in 3 years 9 months
Contributions summary:Isaac contributed significantly to the core logic and testing framework of the RChain blockchain platform. Their work included implementing multi-signature Rev vaults, modifying and testing the Proof-of-Stake (PoS) consensus mechanism with associated methods, such as slashing, bonding, and withdrawing, and resolving issues related to cross-currency deposits. They also addressed a MakeMint overflow bug and expanded the system contracts by incorporating features like the TreeHashMap and Multisig.
rholangsmart-contractstakeethereumproof-of-stake
Isaac-DeFrain/RChainResearch
Dec 2018 - Apr 2019
Research materials for RChain
Contributions:26 commits, 1 PR, 15 pushes in 3 months
rchain
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.