How many investments has Pragma Ventures made?

Pragma Ventures has 16 tracked investments.

What sectors does Pragma Ventures focus on?

Pragma Ventures focuses on AI & Machine Learning, Crypto & Web3, Data & Infrastructure, Deep Tech.

Where is Pragma Ventures located?

Pragma Ventures is headquartered in Seoul, KR.

Who does Pragma Ventures co-invest with?

Pragma Ventures most often shares deals with TPC Club (The presale club), TPC Ventures, Archetype, among 54 tracked co-investors.

Pragma Ventures

Venture capital

Seoul · 4 people tracked

★ Follow + Add to CRM ⤳ Find an introduction

✨ Fox Verdict

Investment thesis

Pragma positions itself as a research-driven organization bringing top-tier expertise in distributed systems and AI to support ambitious Web3 projects. Its stated areas of focus include AI systems, distributed systems, consensus protocols, and data indexing. The page emphasizes deep technical and research capabilities aimed at supporting cutting-edge Web3 initiatives, though it does not describe specific investment activities, stages, or check sizes.

Invests inAI & Machine Learning Crypto & Web3 Data & Infrastructure Deep Tech Asia-Pacific Global Seoul South Korea

Source: firm website, verified Aug 3, 2026.

Seoul, KR

Tracked investments

Team · 4 people

from the firm's website

Myeongjae Jeon· General Partner, Head of Research· Pohang, North Gyeongsang, South Koreain

An Associate Professor of Computer Science at POSTECH with a PhD from Rice University and prior work at Microsoft Research and ARM Research. He leads a research lab focused on AI systems, real-time big data analytics, and emerging hardware.

Roy Koo· General Partner, Head of Trading· South Koreain 𝕏

Holds a BSc in Computer Science from Inha University, South Korea, and has years of venture capital experience in South Korea. He offers strategic insights and network access for portfolio projects expanding into the Korean market, with expertise in AI, DePIN, and the Bitcoin ecosystem.

Yaroslav Hayduk· General Partner𝕏

Holds a PhD in Computer Science from the University of Neuchatel, Switzerland, with research in distributed systems and industry experience in blockchain including decentralized storage, algorithmic trading, and indexing. He provides technical support to portfolio companies and works on DeFi and smart contract solutions.

Youngseok Yang· Research Partner· Seoul, South Koreain

Holds a PhD in Computer Science from Seoul National University and created Fluffy, a differential fuzzer that uncovered Ethereum consensus bugs, one of which led to the November 2020 Ethereum hard fork. He is CEO and founder of Nodeinfra.

What they invest in

from 13 of 16 portfolio companies

Crypto & Web3 ×10Data & Infrastructure ×5Developer Tools ×4Fintech ×4Cybersecurity ×3Deep Tech ×3AI & Machine Learning ×2Consumer ×1

HQs:Singapore×1

Investments · 16 tracked

founders shown can be your intro path

Availavailproject.org in 𝕏

Avail is a data availability layer and multi-chain protocol that enables decentralized applications to operate across multiple blockchains without requiring code changes.

Crypto & Web3Data & Infrastructure

Co-investorsFigment Impossible Finance LongHash Ventures Raptor Group Balaji Srinivasan SevenX Ventures

Avalancheavax.network in 𝕏

The Avalanche Foundation is a non-profit organization that supports innovation and growth in the Avalanche ecosystem through grants, programs, and strategic support for developers, entrepreneurs, and communities building on the Avalanche blockchain platform.

Crypto & Web3Data & InfrastructureDeveloper ToolsEnterprise SoftwareFintech

Emin Gun Sirer(Founder)in

Co-investorsa16z crypto Aegis Ventues Andreessen Horowitz Andromeda Capital BaseTwo Big Brain Holdings +25 more

Bitlayerbitlayer.org 𝕏

Bitlayer is a Bitcoin-focused blockchain infrastructure project offering YBTC (yield-bearing BTC), multichain support, and BTC deposit and trading functionality.

Crypto & Web3Data & InfrastructureFintech

Co-investors57Blocks Capital ABCDE Capital AlphaLab Capital BaseTwo Caladan NxGen +6 more

D8Xd8x.exchange

Co-investorsBlock Consult

Derivioderivio.xyz

Exolabsexolabs.net 𝕏

exo connects Macs and workstations into a single local inference cluster, automatically discovering devices, mapping network topology, and splitting AI models across device memory to run frontier models on-premises.

AI & Machine LearningDeep TechDeveloper Tools

Co-investorsArchetype Big Brain Holdings Breed

Gogopoolgogopool.com

Home Daohome-dao.com

HOME is a live-in program that houses a small cohort of startup founders together for 12 months.

Future of Work

Kintsukintsu.xyz in 𝕏

Kintsu is a liquid staking protocol on the Monad blockchain that lets users stake MON tokens and receive sMON liquid staking tokens usable across DeFi for trading, lending, and pooling while earning staking and MEV yield.

Crypto & Web3Fintech

Connor McKenzie(Founder)in

Co-investorsNxGen Reciprocal Ventures Brevan Howard Digital Castle Island Ventures

Mind Networkmindnetwork.xyz in 𝕏

Mind Network builds privacy infrastructure using Fully Homomorphic Encryption (FHE) and Zero Knowledge Proofs (ZKPs) to enable computation on encrypted data and verification without disclosure.

Crypto & Web3CybersecurityDeep Tech

Co-investorsMoonhill Capital TPC Club (The presale club)TPC Ventures SevenX Ventures

OpenGradientopengradient.ai in 𝕏

OpenGradient operates a decentralized network for verifiable AI computing, letting users host models, run secure inference, and deploy AI agents onchain.

AI & Machine LearningCrypto & Web3Deep Tech

Co-investorsThanefield Capital TPC Club (The presale club)TPC Ventures

Quantumquantum.systems 𝕏

Quantum builds post-quantum cryptographic infrastructure for EVM-compatible blockchains, including an on-chain verification layer, a signing co-processor for custody systems, and a quantum-native L1 network secured with NIST-standard lattice-based signatures (Falcon, ML-DSA).

Crypto & Web3CybersecurityQuantum Computing

Redbellyredbelly.network in 𝕏

Redbelly Network operates a patented Layer 1 public blockchain that lets asset issuers tokenize real-world assets and issue, manage, and trade compliant onchain structured products.

Crypto & Web3Data & InfrastructureFintech

Co-investorsBlack Dragon Cogitent Ventures

Subquery Data Indexing Protocolsubquery.network in 𝕏

SubQuery provides Web3 infrastructure and tooling that enables developers to build and scale decentralized applications.

Crypto & Web3Data & InfrastructureDeveloper ToolsSingapore, SG

Ian He(CTO and Co-Founder)in

Co-investorsArrington Capital BitDAO D1 Ventures Digital Currency Group Ellipti Mantle Network +6 more

TACEOtaceo.io in 𝕏

TACEO builds a privacy layer for public blockchains, offering composable primitives for confidential stablecoin payments, private treasury and DeFi operations, identity verification without exposing user data, and confidential transactions for AI agent commerce.

Crypto & Web3CybersecurityDeveloper Tools

Co-investorsArchetype Polymorphic Capital

Telegramt.me 𝕏

Telegram is a cross-platform messaging application with encrypted, self-destructing messages, multi-device sync, and large group chats.

ConsumerMedia & EntertainmentSocial

Co-investorsAcquire Fi Afford.Capital Alphabit Fund AngelONE Capital Arrington Capital Asia GreenTech Fund+48 more

Portfolio news

latest coverage across their companies

What is BlackRock's BUIDL Fund on Avalanche AVAX?

Avalanche · cryptonews.net · Jul 13, 2026

TACEO raises USD 5.5 mnl in seed funding round | The Paypers

TACEO · thepaypers.com · Aug 4, 2025

Salva Health, Sofya, and Kintsu Selected by Peer Startups to Receive Additional Grant Funding

Kintsu · newsandviews.vilcap.com · Apr 8, 2025

Frequently asked questions

How many investments has Pragma Ventures made?: Pragma Ventures has 16 tracked investments.
What sectors does Pragma Ventures focus on?: Pragma Ventures focuses on AI & Machine Learning, Crypto & Web3, Data & Infrastructure, Deep Tech.
Where is Pragma Ventures located?: Pragma Ventures is headquartered in Seoul, KR.
Who does Pragma Ventures co-invest with?: Pragma Ventures most often shares deals with TPC Club (The presale club), TPC Ventures, Archetype, among 54 tracked co-investors.

Similar investors

Andreessen Horowitz

Andreessen Horowitz (a16z) is a venture capital firm founded in 2009 by Marc Andreessen and Ben Horowitz, known for pioneering the platform model with a large team of operators supporting founders across stages.

$500K – $50M

Bessemer Venture Partners

Bessemer Venture Partners is a global venture capital firm that partners with entrepreneurs across enterprise, consumer, and healthcare sectors from early stages through growth.

$5M – $100M

Foundation Capital

Foundation Capital is an early-stage venture capital firm that commits to founders at the idea stage and maintains long-term relationships with portfolio companies through their growth journey.

$250K – $15M

Khosla Ventures

Khosla Ventures is a venture capital firm that invests in early-stage companies focused on technology, mobile, and clean energy sectors, including biotechnology applications. The firm provides capital and strategic support to entrepreneurs developing breakthrough technologies across multiple markets.

$5K – $50M

OMERS Ventures

OMERS Ventures is the venture capital arm of the OMERS pension plan, investing in early-stage technology founders building solutions across North America and Europe.

$3.6M – $18.3M

Featured in lists