Gregory Makodzeba

Founder at Prox (YC F25), Web3 security expert, Developer Relations leader

San Francisco, California, United States

ycombinator

Working from home

Joined October 2025

Network

2K connections

SCJVJC

NGBMOY

ACRSCR

EDMLRB

DYMMAS

BBJCAC

MTDS

Summary

Gregory Makodzeba is a serial entrepreneur and co-founder with a strong focus on blockchain security and artificial intelligence applications in logistics. He co-founded Prox (YC F25) to develop AI agents for third-party logistics, successfully deploying solutions that automate carrier claims and recover significant funds. Previously, he co-founded Rektoff, where he built critical blockchain security infrastructure protecting billions in crypto assets for major clients like the Solana Foundation. ycombinator+2

With a background in both Aviation Management and Computer Science, Gregory has a unique blend of analytical and engineering expertise. He applied this at Runtime Verification Inc, where he served as Head of Developer Relations, focusing on formal verification for mission-critical systems and collaborating with organizations such as NASA, Boeing, and the Ethereum Foundation. runtimeverification+1

Gregory is also an active contributor to the Web3 and blockchain community, demonstrated by his mentorship roles at ETHGlobal Waterloo and ETHToronto. He has authored several articles on Medium covering topics like ERC-7512, KYB/KYC, and evaluating crypto projects, showcasing his expertise as a security researcher and product management specialist in the blockchain space. medium+2

His practical experience extends to automating warehouse operations and business processes from childhood, giving him a deep understanding of logistics. This early exposure directly informed his work at Prox, where he is building digital workforces to solve operational bottlenecks in the logistics industry. ycombinator

Work

Education

Projects

Writing

How We Build Formal Verification and Fuzzing Tools: Bridging the Gap Between Developers and Advanced Security Tooling with the K Framework

December 1, 2024

Explores the process of building formal verification and fuzzing tools, and how to bridge the gap between developers and advanced security tooling using the K Framework.

runtimeverification.com

An in-depth analysis of ERC-7512: onchain representation for security reviews.

November 1, 2023

An in-depth technical analysis of ERC-7512, focusing on its onchain representation for security reviews within blockchain contexts.

medium.com

Governing the Digital Commons: Elinor Ostrom’s Principles and the Future of Decentralized Organizations (DAOs)

April 1, 2023

Discusses the application of Elinor Ostrom's principles to Decentralized Autonomous Organizations (DAOs) and their role in governing the digital commons.

medium.com

KYB vs KYC. Who won?

March 1, 2023

Compares Know Your Business (KYB) and Know Your Customer (KYC) processes, likely in the context of blockchain and financial regulations.

medium.com

How often were you manipulated?

March 1, 2023

Explores aspects of manipulation, potentially related to security, social engineering, or decision-making in digital environments.

medium.com

5 criteria on how to check the crypto project

March 1, 2023

Provides five key criteria for evaluating the trustworthiness and viability of cryptocurrency projects.

medium.com

How to Gnosis Multisig?

November 1, 2022

A guide or explanation on how to use Gnosis Multisig, a common tool for secure management of crypto assets.

medium.com