Benjamin's starred repositories
tornado-cash-rebuilt
Tornado Cash as a foundry project, using latest versions of tools such as Circom, snarkJS, etc.
awesome-halmos
List of Halmos resources.
smart-contract-vulnerabilities
A collection of smart contract vulnerabilities along with prevention methods
mckays-app-template
Come join the best place on the internet to learn AI skills. Use code "mckaysapptemplate" for an extra 20% off.
solid-grinder
A 100% opensource CLI that goes along with building blocks of smart contract. This toolbox can reduce L2 gas cost by encoding calldata for dApps development to use as little bytes of calldata as possible.
betterscan-v1
A Solidity code search tool with built-in static analysis detection
build-onchain-apps
Accelerate your onchain creativity with the Build Onchain Apps Template. ⛵️
natspec-smells
👃Automatically identify missing or incomplete natspec
rareskills-blog-index
Index of Rareskill Blog posts using playwright
tips-solidity-code-auditors
Gaining the most elusive of tips. Add your input and let's collect them all!
security-and-auditing-full-course-s23
The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.
create2deployer
Helper smart contract to make easier and safer usage of the `CREATE2` EVM opcode.
companion-app
AI companions with memory: a lightweight stack to create and host your own AI companions