JustDravee

JustDravee's Stars

• ethereum-optimism/optimism

  Optimism is Ethereum, scaled.

  Language:Go5.6k1221.4k3.2k

• OffcierCia/ultimate-defi-research-base

  Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.

  1.9k791228

• Jon-Becker/heimdall-rs

  Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

  Language:Rust1.2k14208124

• palkeo/panoramix

  Ethereum decompiler

  Language:Python8103839210

• 0xJuancito/multichain-auditor

  Observations and tips checklist for auditing protocols on multiple chains 🧐

  63610083

• Decurity/semgrep-smart-contracts

  Semgrep rules for smart contracts based on DeFi exploits

  Language:Solidity62919487

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

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

  48919255

• smartcontractkit/defi-minimal

  This repo is dedicated to making minimal repos of existing defi primatives.

  Language:JavaScript472185108

• ComposableSecurity/SCSVS

  Smart Contract Security Verification Standard

  44312050

• hzysvilla/Academic_Smart_Contract_Papers

  Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

  43620359

• YAcademy-Residents/defi-fork-bugs

  Bugs in commonly forked DeFi protocols

  4339041

• spearbit/armory

  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities, or find-the-bug content. This is for the real researchooors.

  39422022

• crytic/properties

  Pre-built security properties for common Ethereum operations

  Language:Solidity28182542

• horsefacts/weth-invariant-testing

  Language:Solidity2703246

• zobront/audits

  public audit & bug reports

  2616123

• zeroknots/brokentoken

  Foundry Test Suit to test weird ERC20 behavior

  Language:Solidity2356026

• GeorgeHNTR/portfolio

  George's smart contract security review reports

  Language:TeX2109039

• Decurity/audit-checklists

  1876034

• maple-labs/maple-core-v2

  Language:Solidity1553025

• 0xDatapunk/Bridge-Bug-Tracker

  Hacks/Vulns/Audits Compilation

  1548016

• bEsPoKeN-tOkEns/token-tester

  Use cursed ERC20s in foundry unit tests

  Language:Solidity1483511

• engn33r/DeFi-Risk-Modelling-Awesome

  Resources for the budding field of risk modelling and analysis in DeFi

  1418016

• Certora/Examples

  An index repository with submodules for different examples of Certora projects

  Language:Solidity6412026

• zobront/4byte-collider

  Simple Rust script for finding colliding 4byte function selectors

  Language:Rust57103

• quantstamp/l2-security-framework

  A framework for assessing the security of L2s

  44506

• one-hundred-proof/kyberswap-exploit

  PoC of KyberSwap double liquidity add exploit

  Language:Solidity405010

• audit-quality/security-checklist

  39307

• YAcademy-Residents/Proxies-website

  Go-to compilation of smart contract proxy information, for discerning devs and auditors

  Language:SCSS232513

• joel0x/90-days-of-Solidity-Problems

  Here you will find set of questions and solutions which will be useful to level up our solidity programming as well as ace our interviews.

  Language:Solidity22202

• code-423n4/2023-08-shell-findings

  42