Portfolio | teddav's blog

Not really a "portfolio" or a CV, more of a list of things I've been working on lately...
Enjoy 😊

Auditing

Recent cryptography & ZK audits

Deep reviews of protocols I've been helping secure lately.

Zcash Tachyon

Proof-carrying data (PCD) framework

January 2026

Review of Ragu, a new PCD (proof-carrying data) toolkit for the new Zcash's Tachyon shielded protocol. Ragu enables recursive proving with the Pasta curve cycle.

Part of Project Tachyon, Zcash's scaling initiative.

Ragu blog post Tachyon overview ePrint paper Ragu book

Report coming soon

rustbulletproofsfoldingproof-carrying data

Silhouette

Private trading protocol

December 2025

Review of Silhouette, a private trading protocol built on HyperEVM (Hyperliquid) using TEEs (AWS Nitro Enclave).

Report coming soon

rustTEEhyperliquid

Self

Digital identity protocol

December 2025

Review of Self, a privacy-preserving identity protocol that allows users to prove their identity through their passport while selectively disclosing only chosen fields.

Scope

•Circom circuits JWT verification from GCP TEE attestations
•TEE server implementation

Report coming soon

circomTEErustidentity

Hyperlane

Cross-chain messaging protocol

November 2025

Review of Hyperlane's Aleo implementation, the main interoperability bridge on Aleo. Hyperlane is a universal cross-chain messaging protocol deployed across many chains.

Github repo

Scope

•Aleo implementation of the protocol
•Hyperlane native token implementation (Leo)
•Hyperlane collateral token implementation (Leo)
•Hyperlane synthetic token implementation (Leo)

Report coming soon

aleo

(confidential)

Post-quantum proof system

November 2025

Review of a LaBRADOR implementation, a cutting-edge post-quantum proof system based on lattice assumptions, offering an alternative to pairing-based SNARKs.

LaBRADOR paper

Report coming soon

rustpqc

Celestia

Data availability sampling protocol

October 2025

Review of Celestia's ZODA implementation, a new data availability encoding protocol that is significantly more efficient than KZG-based approaches, powering Celestia's Fibre Blockspace upgrade.

ZODA paper
Fibre Blockspace announcement

Report coming soon

godata-availability sampling

Anza/Solana Token 2022 Confidential Transfers

Private token

September 2025

Review of the implementation of the Confidential Transfers extension for the "Token Extensions Program" (Token 2022)

Scope

•ZK El Gamal proof program and SDK
•Token 2022 confidential transfers extension

View report

solanarustsigmabulletproofs

Summa (PSE)

Proof of solvency

April 2024

Proof of solvency protocol for centralized exchanges.

I also wrote a detailed code walkthrough of:

•solidity contracts
•ZK circuits

View report

halo2rustsolidity

Latest projects

co-match

May 2025

https://github.com/teddav/co-match.noir

mpcco-snarkstaceo

Secure MPC matching via TACEO's co-snarks

I built a Private dating app 🌶️ using TACEO's co-noir (experimental) tech.
It was a fun project to see what's possible with private shared state
App is probably down, but just in case if you want to take a look: co-match.vercel.app

zk-tenant

Mar 2025

https://github.com/teddav/zk-tenant

privacyzero-knowledgenoir

Privacy-preserving housing application using 2D-Doc

Built a PoC for French people to avoid sharing their ID documents with their landlords.
Takes in an ID and a salary slip, and outputs a ZK proof that the ID is valid, and the salary is enough to cover the rent.
See the detailed post on Hyli's blog
You can play with the Noir circuits on tdd.nr repo.
If you're lucky, maybe the app is still live...

Zero-Knowledge

Noir WebProof SDK proposal

since Jul 2025

https://github.com/orgs/noir-lang/discussions/8595

mpczero-knowledgewebassemblynoirzk-tls

Helping bring zk proofs to the browser with a WebAssembly-friendly Noir SDK

Noir recursive proofs

Apr 2025

https://github.com/teddav/noir-recursive

noirzero-knowledge

Implementing recursive proofs in Noir

mpz-play

Jun 2025

https://github.com/th4s/mpz-play

mpceducation

Updated mpz-play to the latest version of mpz. A comprehensive playground for learning and experimenting with the mpz framework. Great resource for understanding MPC concepts.

stark_by_hand with Sage

Mar 2025

https://github.com/teddav/stark_by_hand

starkzero-knowledgeeducationpython

Implementing STARKs from scratch to understand the protocol deeply

Halo2 lookup table soundness bug

May 2024

https://github.com/privacy-scaling-explorations/halo2/issues/335

halo2securityauditing

Found a soundness bug in 'lookup_any' in PSE's Halo2 proving system

You'll find the PoC for the bug on this repo

Electisec zblock2 (formerly yAcademy)

Feb 2024 - Apr 2024

https://electisec.com/zBlock2

zero-knowledgesecurityauditingresearcheducation

Top fellow in ZK security fellowship

halo2-starter

Jun 2024

https://github.com/teddav/halo2-starter

halo2testing

Template to quickly start a Halo2 project

All you need to start a Halo2 project, from testing to production

Write secure Halo2 circuits

Feb 2025

https://github.com/teddav/halo2-soundness-bugs

halo2securityresearcheducation

Exploring edge cases and exploits in Halo2 circuits

I wrote a detailed blog post, and multiple circuits, on how to write secure Halo2 circuits, and how to test them

Halo2 cheating feature

Jun 2024

https://github.com/privacy-scaling-explorations/halo2/pull/352

halo2mock proversecurity

Emulating malicious provers by modifying cell values in the Mock Prover

A nice feature I wanted while developing circuits.
This was my first PR in Halo2, it was fun to dive into the codebase

Tornado Cash with Halo2

Feb 2024

https://teddav.github.io/blog/tornado-halo2

halo2securityprivacy

Implementing Tornado Cash in Halo2

Fun project to get more familiar with both Tornado Cash and Halo2.
On top of the circuits, I wrote a detailed blog post to explain everything
A part 2 is supposed to come someday... mostly to implement the Poseidon hash function (from scratch?), but I haven't had the time to finish

Other...

Security

☠️

since Jan 2024

securityeducationassembly

Learning low-level security: from 'simple' binary exploitation to kernel exploits and more

I'm passionate about security, especially low-level (like reverse engineering, assembly, and binary exploitation) but I also enjoy web and network hacking.
Entirely self-taught, mostly through HackTheBox and Root-Me
From "simple" binary exploitation to kernel exploits and more.

Contributing to Foundry

Mar 2023 - Jun 2024

https://github.com/foundry-rs/foundry

evmrusttesting

Contributing to Foundry, a tool for building and testing smart contracts

I merged multiple PRs, based on my needs developing smart contracts:

See more details in my blog post here

Secureum Epoch 0

Oct 2021 - Dec 2021

https://www.secureum.xyz/

securityevmsolidityzero-knowledge

Smart contract security bootcamp

I was awarded the first place in the first cohort of Secureum Epoch 0, a smart contract security bootcamp.

See the bootcamp content

Angle: EURO stablecoin

Jun 2021 - Jan 2023

https://www.angle.money/

evmsolidity

Main decentralized EURO stablecoin

I was a core contributor to Angle, the main decentralized EURO stablecoin.
Reached €200M TVL while I was there

10 years of building

🛠️

since Jul 2015

Full-stack journey from mobile, to infrastructure, to cryptography

Over the past decade, I've worked across the stack.
From crafting iOS mobile apps, to building backend-heavy web applications with Node.js, to running infrastructure as a DevOps engineer on AWS and GCP.
This foundation now fuels my work in cryptography and security.