Skip to content
View dacarva's full-sized avatar

Block or report dacarva

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
dacarva/README.md

David Carvajal

Co-founder & CTO. I turn cryptography into products — DeFi lending at scale on Bitcoin, and now a ZK layer that lets enterprises use AI without their data ever leaving the building.

Somewhere between "this proof is mathematically elegant" and "does it run in production?" is where I live.


What's on the workbench

Zemtik Rust · stealth → shipping

Here's the uncomfortable truth: right now, someone at a bank or law firm is pasting their client's financial data into ChatGPT. Their CISO knows. Nobody has a fix that doesn't also kill productivity.

Zemtik is that fix. The sensitive database never leaves the company's servers. We process it locally, generate a zero-knowledge proof of the answer, and send only the proof to the AI. The model reasons correctly. The data stays home.

ZK selective disclosure. Built in Rust. For people who handle real money.

zemtik-core · zemtik-poc · sentinel


What I shipped before

Tropykus Finance Solidity · protocol in production

Co-founded it. Built the protocol. Grew it to $18.8M+ deployed across five countries on Bitcoin/RSK. DeFi lending for people banks ignored — Colombia, Argentina, Venezuela, Mexico, Peru.

Under the hood: smart contracts, worker infrastructure, a full SDK, real-time multisig treasury monitoring, and everything else that makes a DeFi protocol not fall over at 3am.


Stack

Languages     Rust · Solidity · TypeScript · Python
ZK            Groth16 · PlonK · Bulletproofs
Protocols     EVM · RSK · Bitcoin
Infra         AWS · Docker · GraphQL · Node.js

The longer arc

  • AWS CTO Fellow · DeFi Talents @ Frankfurt School of Finance & Management
  • MSc Mechanical Engineering + BSc Electronics · Universidad de los Andes
  • ETH KIPU instructor — writing ZK circuits by day, teaching them to LATAM engineers by night
  • Career path went: oil rigs (Schlumberger) → cannabis traceability on-chain (Cannvest) → DeFi for the underbanked (Tropykus) → ZK middleware for enterprise AI (Zemtik). Not a straight line. Never boring.
  • 1,350+ contributions last year. Building in Bogotá 🇨🇴, thinking globally.

When I'm not building

Salsa dancing · hiking and trekking in the Andes · board games · astrophysics deep dives · reading about economics, history, and physics · tinkering with IoT projects · teaching builders · coffee with friends and family.


Open to collaborations

ZK infrastructure and research · DeFi protocol design · mentoring builders across LATAM · speaking/writing about zero-knowledge systems · IoT + blockchain projects · teaching anything worth learning together.


LinkedIn

Pinned Loading

  1. Tropykus/protocol-rsk Tropykus/protocol-rsk Public

    Tropykus Finance Protocol

    Solidity 10 1

  2. somos-colledge/AAVE somos-colledge/AAVE Public

    Programa educativo "Construyendo dApps on AAVE desde cero" para programadores de habla hispana

    TypeScript

  3. Tropykus/protocol-v2 Tropykus/protocol-v2 Public

    Tropykus Protocol V2 - Smart Contracts based on AAVE v2

    TypeScript 2