Pedro Rosalba

Software engineer

Pedro Rosalba

A native problem solver, across the stack.

Former mathlete, then cryptography and blockchain. Now building core software, for the web and beyond.

See the work CV

01 — Experience

Experience

2024 – 2026

Software Engineer · Herodotus

Storage proofs and zero-knowledge co-processing for Ethereum, then infrastructure for DeFi lending.

Builds I worked on

  • Onchain prime brokerage

    Daloc

    One account across chains: pledge collateral and trade on credit. I built the real-time order-book pipelines and RFQ quoting behind it.

    daloc.xyz Docs

  • Open source · ZK co-processor

    hdp-cairo

    The Herodotus Data Processor: runs programs over multi-chain data and proves what they read. I took it from EVM storage proofs to plain Merkle and Patricia-trie proofs.

    GitHub My PRs

  • Extended hdp-cairo, the Herodotus Data Processor, from EVM storage proofs to plain Merkle and Patricia-trie state proofs, so off-chain systems can prove the state they read.
  • Low-latency infrastructure for DeFi lending and prime brokerage: real-time order-book pipelines and RFQ quoting.
  • Risk tooling: on-chain credit pricing, and an AI risk analysis of DeFi protocols mapped onto the infrastructure they depend on.

Cairo · Rust · TypeScript · Python

See the work: Daloc and hdp-cairo

Also

Full CV, with numbers

02 — Projects

Selected work

My work at Herodotus, an agent platform I help maintain, and contributions to the tools I build on.

  1. 01Herodotus
  2. 02Ravi
  3. 03Turborepo
  4. 04Cloudflare Workers
  5. 05di.studio

Also: the Claude Code skills I build

Project 01

Herodotus

Zero-knowledge state proofs for Ethereum, then DeFi infrastructure.

Go to portal

Project 03

Turborepo

Active contributor to Turborepo's Rust core: caching, change detection and multi-language support.

Go to portal

Project 04

Cloudflare Workers

Async Rust on Cloudflare Workers: Rust on V8's event loop, through Emscripten.

Go to portal

Project 05

di.studio

Booking and an owner's panel for barbershops, sold through the look of the shop.

Go to portal

03 — Writing

Notes from the work.

Turborepo, upstream

Cache keys, change detection and the remote cache for Cargo, Go and uv.

  1. 01When the Cache Key Lies
  2. 02How Turbo Knows What Changed
  3. 03The Remote Cache Under Cargo, Go and uv

Agents on machines you control

Who may act, where the agent runs, and how Ravi contains it.

  1. 01Who Is Typing?
  2. 02Where Does the Agent Live?
  3. 03What a Ravi Sandbox Needs

All writing

04 — Community

Teaching, talks and meetups.

05 — Education

Math first, then code.

  1. 2024 – 2025

    Mathematics and Computer Science · IMPA Tech

  2. 2023

    Honorable mention, International Mathematics Competition (IMC) · Mathematics

  3. 2023

    12th place, Brazil IMO team selection test · Mathematics

  4. 2018 – 2023

    Silver and bronze medals, Brazilian Math Olympiad (OBM) · Mathematics

Hackathon awards

  • 2025ETHGlobal Prague — QuantumLeapBlockscout Explorer Pool · 1inch APIs

    Multi-chain market data turned into risk-adjusted DeFi portfolio suggestions.

  • 2025ETHDenver — CranzkSync 2nd · Somnia 2nd · Flow 3rd

    Private memory for AI agents: memory stored under homomorphic encryption, recalled without decrypting.

  • 2024ETHGlobal Brussels — GoalsCelo, stable gas · Web3Auth mobile SDK

    Stake crypto on a habit: keep it and get your stake back, plus a share of what others lost.

06 — Contact

Get in touch

pedro.dandrea.rpd@gmail.com
GitHub LinkedIn X Download CV Writing