teddav's repositories
halo2-starter
Easy setup for Halo2 ZK circuits
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.
adventofcode2022
AoC 2022 Solutions
alloy
Transports, Middleware, and Networks for the Alloy project
ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
foundry-book
A book on all things Foundry, available at https://book.getfoundry.sh.
Kali-Linux-to-DigitalOcean
A GitHub Action to convert the Kali Linux Generic Cloud Image and upload it to Custom Images in DigitalOcean.
poseidon-hash
Reference implementation in Python of Poseidon and optimized Poseidon (Neptune) hash functions
pwntools
CTF framework and exploit development library
revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
revm-inspectors
EVM Execution Hooks.
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
semaphore
A zero-knowledge protocol for anonymous interactions.
summa-solvency
Monorepo for Summa Proof of Solvency Protocol
teddav.github.io
https://teddav.github.io