Pinned Repositories
auction-platform
A DApp for auctioning deeds (backend)
ctfs-playground
damn-vulnerable-defi
The offensive security playground for the decentralized finances.
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
direct-request-coordinator
Chainlink Hackaton 2022 Fall
draft
Direct Request Automation Framework for Testing
solidity_playground
vnavascues's Repositories
vnavascues/direct-request-coordinator
Chainlink Hackaton 2022 Fall
vnavascues/solidity_playground
vnavascues/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
vnavascues/auction-platform
A DApp for auctioning deeds (backend)
vnavascues/ctfs-playground
vnavascues/damn-vulnerable-defi
The offensive security playground for the decentralized finances.
vnavascues/draft
Direct Request Automation Framework for Testing
vnavascues/4naly3er
Static smart contract code 4naly3er
vnavascues/adapters
vnavascues/asset-delegation-system
vnavascues/blocksec-ctfs
A curated list of blockchain security Capture the Flag (CTF) competitions
vnavascues/building-secure-contracts
Guidelines and training material to write secure smart contracts
vnavascues/chainlink
node of the decentralized oracle network, bridging on and off-chain computation
vnavascues/CL-EA-Python-Template
Chainlink external adapter template for Python
vnavascues/EthEngGroupSolidityExamples
vnavascues/evm-puzzles
A collection of EVM puzzles
vnavascues/evmc
a simple cli tool to load a contract code up in your IDE instantly.
vnavascues/external-adapters-js
Monorepo containing JavaScript implementation of external adapters
vnavascues/gambit
Using mutations to improve specs and test suites
vnavascues/gho-workshop
vnavascues/golf-course
A list of common Solidity optimization tips and myths.
vnavascues/hardhat-project-template-ts
A fully-fledged Hardhat project template based on TypeScript.
vnavascues/morpho-data-structures
Data structures tested and used by the Morpho Protocol.
vnavascues/rotki
A portfolio tracking, analytics, accounting and tax reporting application that respects your privacy
vnavascues/secureum-mind_map
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
vnavascues/semgrep-smart-contracts
Semgrep rules for smart contracts based on DeFi exploits
vnavascues/siwe-dapp
vnavascues/solcurity
Opinionated security and code quality standard for Solidity smart contracts.
vnavascues/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
vnavascues/vertigo-rs
Mutation Testing for Ethereum Smart Contracts, support for Foundry