vnavascues

vnavascues's Stars

• foundry-rs/foundry

  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

  Language:Rust8.1k794.2k1.7k

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.2k671.2k958

• Defi-Cartel/salmonella

  Wrecking sandwich traders for fun and profit

  1.8k656163

• kadenzipfel/smart-contract-vulnerabilities

  A collection of smart contract vulnerabilities along with prevention methods

  1.7k3755225

• theredguild/damn-vulnerable-defi

  The smart contract security training ground for developers, security researchers and educators.

  Language:Solidity914157902

• a16z/halmos

  A symbolic testing tool for EVM smart contracts

  Language:Python784810862

• runtimeverification/verified-smart-contracts

  Smart contracts which are formally verified

  Language:Solidity7175018133

• smlxl/evm.codes

  Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference

  Language:TypeScript71716135130

• nascentxyz/pyrometer

  A tool for analyzing the security and parameters of a solidity smart contract

  Language:Rust669194853

• Decurity/semgrep-smart-contracts

  Semgrep rules for smart contracts based on DeFi exploits

  Language:Solidity62819487

• sayan011/Immunefi-bug-bounty-writeups-list

  curation of all(most) immunefi bug bounty writeups I could find(till now)

  46519254

• crytic/properties

  Pre-built security properties for common Ethereum operations

  Language:Solidity27582542

• alexfertel/bulloak

  Generate tests based on the Branching Tree Technique.

  Language:Rust25845114

• polkascan/py-substrate-interface

  Python Substrate Interface

  Language:Python24021280114

• Ackee-Blockchain/wake

  Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors

  Language:Python2301012628

• obheda12/Solidity-Security-Compendium

  A mission to breakout every single solidity vuln I come across and categorize it

  2186127

• pcaversaccio/hardhat-project-template-ts

  A fully-fledged Hardhat project template based on TypeScript.

  Language:TypeScript2103944

• WilfredTA/formal-methods-curriculum

  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

  Language:Jupyter Notebook1638013

• zeroknots/slotmachine

  detect hazardous storage writes in Solidity contracts

  Language:Yul95417

• aviggiano/security

  Security Reviews and Audit Checklists

  905216

• clabby/echidna-vs-forge

  Testing echidna vs. forge fuzzing

  Language:Solidity75204

• drinkcoffee/EthEngGroupSolidityExamples

  Language:Solidity532026

• aave-dao/aave-v3-origin

  Aave v3.1 protocol

  Language:Solidity418414

• JoranHonig/awesome-web3-ai-security

  343112

• N8Brooks/combinatorics

  🦕 Combinatorial generators including combinations, permutations, combinations with replacement, permutations with replacement, cartesian products, and power sets.

  Language:TypeScript261191

• solhint-community/solhint-community

  A community effort to keep solhint afloat

  Language:JavaScript253651

• MarioPoneder/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

  Language:TypeScript24009

• zobront/homerolled-zk

  simple zk implementations in python

  Language:Python18202

• vnavascues/direct-request-coordinator

  Chainlink Hackaton 2022 Fall

  Language:TypeScript44162

• vnavascues/DeFiHackLabs

  Reproduce DeFi hacked incidents using Foundry.

  Language:Solidity10