JustDravee

JustDravee's Stars

• ethereum-optimism/optimism

  Optimism is Ethereum, scaled.

  Language:Go5.8k1271.8k3.4k

• 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.9k801232

• Jon-Becker/heimdall-rs

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

  Language:Rust1.2k16219127

• palkeo/panoramix

  Ethereum decompiler

  Language:Python8224046223

• 0xJuancito/multichain-auditor

  Observations and tips checklist for auditing protocols on multiple chains 🧐

  65411089

• Decurity/semgrep-smart-contracts

  Semgrep rules for smart contracts based on DeFi exploits

  Language:Solidity64319490

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

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

  56821266

• hzysvilla/Academic_Smart_Contract_Papers

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

  47623367

• smartcontractkit/defi-minimal

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

  Language:JavaScript476185110

• ComposableSecurity/SCSVS

  Smart Contract Security Verification Standard

  45914050

• YAcademy-Residents/defi-fork-bugs

  Bugs in commonly forked DeFi protocols

  4539042

• 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.

  39822022

• crytic/properties

  Pre-built security properties for common Ethereum operations

  Language:Solidity30192542

• horsefacts/weth-invariant-testing

  Language:Solidity2783246

• zobront/audits

  public audit & bug reports

  2687124

• zeroknots/brokentoken

  Foundry Test Suit to test weird ERC20 behavior

  Language:Solidity2386027

• GeorgeHNTR/portfolio

  George's smart contract security review reports

  Language:TeX2119039

• Decurity/audit-checklists

  2076039

• 0xDatapunk/Bridge-Bug-Tracker

  Hacks/Vulns/Audits Compilation

  1578016

• maple-labs/maple-core-v2

  Language:Solidity1573026

• engn33r/DeFi-Risk-Modelling-Awesome

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

  1488016

• bEsPoKeN-tOkEns/token-tester

  Use cursed ERC20s in foundry unit tests

  Language:Solidity1473510

• Certora/Examples

  An index repository with submodules for different examples of Certora projects

  Language:Solidity9212036

• zobront/4byte-collider

  Simple Rust script for finding colliding 4byte function selectors

  Language:Rust58103

• quantstamp/l2-security-framework

  A framework for assessing the security of L2s

  45506

• audit-quality/security-checklist

  41307

• one-hundred-proof/kyberswap-exploit

  PoC of KyberSwap double liquidity add exploit

  Language:Solidity415010

• 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