Skip to content
View teddav's full-sized avatar
83 followers · 48 following

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx3

Block or report teddav

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
teddav/README.md

Popular repositories Loading

  1. ethernaut-yul ethernaut-yul Public

    Solidity 38 1

  2. halo2-starter halo2-starter Public

    Easy setup for Halo2 ZK circuits

    Rust 13 1

  3. halo2-soundness-bugs halo2-soundness-bugs Public

    Rust 8 1

  4. tornado-halo2 tornado-halo2 Public

    Tornado Cash circuits written with Halo2

    Rust 7 1

  5. tdd.nr tdd.nr Public

    2D-Doc verification in Noir

    Noir 5 1

  6. noir-recursive noir-recursive Public

    JavaScript 5 1

1,103 contributions in the last year

Contribution Graph
Day of Week April May June July August September October November December January February March April
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to electisec/blog-site, teddav/tdd.nr, teddav/halo2-soundness-bugs and 41 other repositories
Loading A graph representing teddav's contributions from April 21, 2024 to April 26, 2025. The contributions are 97% commits, 3% pull requests, 0% code review, 0% issues.

Contribution activity

April 2025

Created 30 commits in 6 repositories
Created 3 repositories

Created a pull request in privacy-scaling-explorations/mpz that received 2 comments

make from_io in Context public

While playing with mpz I needed to make 2 parties communicate over TCP and figured I needed to use Context::from_io which therefore needs to be pub…

+6 −1 lines changed • 2 comments
Opened 4 other pull requests in 2 repositories
43 contributions in private repositories Apr 1 – Apr 24
Loading