nicolasgarcia214

Damn Vulnerable DeFi - Foundry Version

Damn Vulnerable DeFi is the wargame to learn offensive security of DeFi smart contracts in Ethereum. Featuring flash loans, price oracles, governance, NFTs, DEXs, lending pools, smart contract wallets, timelocks, and more!

Solutions and explorations of the Damn Vulnerable DeFi challenges using Foundry. This project aims to document vulnerabilities in DeFi smart contracts and demonstrate how they can be exploited and mitigated.

Foundry powered solutions for Damn Vulnerable DeFi (1-12)

My Solutions repo to DVD Foundry version

Damn Vulnerable DeFi is the wargame to learn offensive security of DeFi smart contracts. Throughout numerous challenges you will build the skills to become a bug hunter or security auditor in the space.

Solutions to Damn Vulnerable DeFi using Foundry

ctf

Template repo to define assets listing on Compound

Noir is a domain specific language for zero knowledge proofs

Formal verification tool for Noir programs using the Rocq system

Noir is a domain specific language for zero knowledge proofs

Noir is a domain specific language for zero knowledge proofs