Pinned Repositories
1password-recover
adventofcode2022
AoC 2022 Solutions
ethernaut-yul
halo2-starter
Easy setup for Halo2 ZK circuits
opensense-yul-talk
pse-hackerhouse-anon-whistleblower
tornado-halo2
Tornado Cash circuits written with Halo2
zero-knowledge-puzzles
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
teddav's Repositories
teddav/ethernaut-yul
teddav/halo2-starter
Easy setup for Halo2 ZK circuits
teddav/tornado-halo2
Tornado Cash circuits written with Halo2
teddav/zero-knowledge-puzzles
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
teddav/1password-recover
teddav/adventofcode2022
AoC 2022 Solutions
teddav/opensense-yul-talk
teddav/pse-hackerhouse-anon-whistleblower
teddav/adventofcode2023
teddav/alloy
Transports, Middleware, and Networks for the Alloy project
teddav/aztec-connect-bridges
teddav/ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
teddav/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
teddav/paraswap-dex-lib
DexLib is a library used by ParaSwap backend to integrate with decentralized exchanges. This library enables external DEX developers to integrate their DEX with ParaSwap by creating pull requests to this repository.
teddav/thegraph-debug
teddav/zapper-studio
Zapper App Integrations
teddav/anon-storage-proof
teddav/ethcc-hackerhouse
teddav/foundry-book
A book on all things Foundry, available at https://book.getfoundry.sh.
teddav/halo2
teddav/poc-underconstrained-halo2
teddav/pwntools
CTF framework and exploit development library
teddav/revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
teddav/revm-inspectors
EVM Execution Hooks.
teddav/semaphore
A zero-knowledge protocol for anonymous interactions.
teddav/summa-solvency
Monorepo for Summa Proof of Solvency Protocol