projects

Isaac DeFrain’s Projects

I have an insatiable passion for learning about and building open source, decentralized, and formally verified zero-knowledge blockchain protocols

Paid Projects

LayerZero Labs (Ethereum, Starknet), Jun 2025 - Oct 2025

Senior Protocol Engineer

Granola Systems (Mina Protocol), Dec 2022 - June 2025

Senior Software & Security Engineer

Viable Systems (Tezos), Dec 2020 - Mar 2022

Formal Verification Engineer

RChain Cooperative (RChain), Dec 2018 - Mar 2020, Jul 2022 - Sep 2022

Smart Contract & Formal Verifictaion Engineer

Personal Projects

SCOTUS helper

• Source code

My personal blog

• Source code

Fun with TLA+

GitHub reporting tool

Mina indexer GCP block utility

Model-based trace checking

BFT specs