Pedro Alves
Pedro Alves

Hi, I'm Pedro

I'm a Senior GPU Engineer at Zama, where we work to make fully homomorphic encryption (FHE) practical by shipping it in production-grade systems—including TFHE-rs and FHEVM.

I have a PhD in Computer Science from the Institute of Computing at the University of Campinas (Unicamp), and I care deeply about privacy-preserving technologies and secure cloud computing. I've been building on CUDA since the early days of that stack. I'm still learning, but by now I can usually tell whether the slowdown is the math, the memory, or me having a bad day.

My research focuses on developing efficient implementations of cryptographic schemes, particularly homomorphic encryption, to enable computation over encrypted data without compromising privacy. I have worked extensively with GPGPU implementations to accelerate those cryptographic operations.

I am passionate about open-source software and believe in making privacy-preserving technologies accessible to everyone.

Onwards!

Recent posts

TitleDate
cuda-oxide: when Rust meets CUDA2026/05/12
On the new normal (AI style)2026/05/07
Git – By example2015/03/01
See all posts →

Recent publications

2021
2018
A framework for searching encrypted databasesJournal of Internet Services and Applications
2016
A framework for searching encrypted databasesXVI Brazilian Symposium on Information and Computational Systems Security
See all publications →

Projects

TFHE-rsPure Rust implementation of TFHE for boolean and integer arithmetics over encrypted data. Core cryptographic library with Rust, C, and WASM APIs. Contributor to this major open-source project by Zama, implementing programmable bootstrapping and advanced FHE features.
FarewellDecentralized application (dApp) for posthumous encrypted messages using smart contracts on FHEVM. Features check-in mechanism, grace period, encrypted message storage, and delivery system. Deployed on Ethereum Sepolia testnet as a proof-of-concept.
ChainChatEncrypted blockchain chat rooms powered by Zama's FHEVM. End-to-end encrypted messaging with wallet-based identity, allow lists, and room management. Fully on-chain chat rooms deployed as smart contracts on Ethereum Sepolia.
OhMyCriterionShell tool that parses Criterion.rs benchmark output under target/criterion/ and prints latency, throughput, confidence intervals, and regression deltas in color-coded terminal tables—optional JSON export and filtering for Rust performance workflows.
See all projects →