webthethird
Smart contract developer and security researcher. Master of CS from Illinois Institute of Technology, master of architecture from Columbia University.
Pinned Repositories
diffusc
Experimental tool to ease the review of smart contracts upgrades
CS402_IIT_S21
damn-vulnerable-defi
The offensive security playground for the decentralized finances. See `v3-my-solutions` branch for, well, my solutions.
EthOnDocs
Generate ontology documentation in HTML and Markdown. Quick and easy.
FarmShare
FarmShare: A Decentralized Community-Supported Agriculture Platform
Habitat
Hackathon project from ETHWaterloo '23, focused on environmental conservation and social responsibility. It transforms energy from both on-chain and off-chain regenerative activities, converting it into real trees to foster a sustainable future.
MetaMesh
Ethereum + Mesh Networking
scaffold-eth-2
Open source forkable Ethereum dev stack
UpgradeScanner
A Python script to scan EVM-based blockchains for smart contract upgrades
web3-tutorials
A place for me to work through Web3 tutorials in public.
webthethird's Repositories
webthethird/FarmShare
FarmShare: A Decentralized Community-Supported Agriculture Platform
webthethird/UpgradeScanner
A Python script to scan EVM-based blockchains for smart contract upgrades
webthethird/Habitat
Hackathon project from ETHWaterloo '23, focused on environmental conservation and social responsibility. It transforms energy from both on-chain and off-chain regenerative activities, converting it into real trees to foster a sustainable future.
webthethird/scaffold-eth-2
Open source forkable Ethereum dev stack
webthethird/solidity-diff-fuzz-upgrades
webthethird/damn-vulnerable-defi
The offensive security playground for the decentralized finances. See `v3-my-solutions` branch for, well, my solutions.
webthethird/web3-tutorials
A place for me to work through Web3 tutorials in public.
webthethird/awesome-account-abstraction
📖 A curated list of resources dedicated to Account Abstraction (EIP-4337)
webthethird/book
A book on all things Foundry, available at https://book.getfoundry.sh.
webthethird/building-secure-contracts
Guidelines and training material to write secure smart contracts
webthethird/clave-contracts
Clave Smart Contracts on zkSync
webthethird/compound-eureka
Eureka Configuration for Compound Test-nets
webthethird/create-react-app-urql-live-query
webthethird/defi-providers
DappRadar Defi Providers
webthethird/diamond-singlecut-hardhat
Immutable EIP-2535 Diamond reference implementation using Hardhat and Solidity 0.8.*
webthethird/dxdao-contracts
Smart Contracts of DXdao
webthethird/echidna
Ethereum smart contract fuzzer
webthethird/echidna-streaming-series
A 6-part series on how to use Echidna on real-world codebases
webthethird/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
webthethird/ethernaut
Web3/Solidity based wargame
webthethird/example-nextjs
webthethird/Kudos
🏗 forkable Ethereum dev stack focused on fast product iterations
webthethird/min-reproducible-block-timestamp-skip-bug
webthethird/min-reproducible-deal-token-bug-zksync-foundry
webthethird/min-reproducible-missing-stack-trace-depth
webthethird/scaffold-eth-typescript-challenges
All of our typescript challenges ported over from the javascript world
webthethird/slither
Static Analyzer for Solidity
webthethird/upgradehub-frontend
webthethird/web3auth-pnp-examples
webthethird/zksync-account-trade-limit