vnavascues's repositories
direct-request-coordinator
Chainlink Hackaton 2022 Fall
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
damn-vulnerable-defi
The offensive security playground for the decentralized finances.
4naly3er
Static smart contract code 4naly3er
blocksec-ctfs
A curated list of blockchain security Capture the Flag (CTF) competitions
building-secure-contracts
Guidelines and training material to write secure smart contracts
CL-EA-Python-Template
Chainlink external adapter template for Python
evm-puzzles
A collection of EVM puzzles
external-adapters-js
Monorepo containing JavaScript implementation of external adapters
gambit
Using mutations to improve specs and test suites
golf-course
A list of common Solidity optimization tips and myths.
hardhat-project-template-ts
A fully-fledged Hardhat project template based on TypeScript.
morpho-data-structures
Data structures tested and used by the Morpho Protocol.
secureum-mind_map
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
semgrep-smart-contracts
Semgrep rules for smart contracts based on DeFi exploits
solcurity
Opinionated security and code quality standard for Solidity smart contracts.
solidity-audit-template
Combines Hardhat, TypeChain, Ethers, Waffle, Solhint, Solcover, Prettier, Tracer, storage layout analysis, EVM network forking, Immunefi/Etherscan contract download and external contract testing
vertigo-rs
Mutation Testing for Ethereum Smart Contracts, support for Foundry