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 publications

2021
Faster Homomorphic Encryption over GPGPUs via hierarchical DGT Financial Cryptography and Data Security
2018
A framework for searching encrypted databases Journal of Internet Services and Applications
2016
A framework for searching encrypted databases XVI Brazilian Symposium on Information and Computational Systems Security
See all publications →

Projects

TFHE-rs Pure 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.
Farewell Decentralized 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.
ChainChat Encrypted 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.
OhMyCriterion Shell 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 →