meitedaf

meitedaf's Stars

• d-xo/weird-erc20

  weird erc20 tokens

  Language:Solidity1.4k172

• crytic/properties

  Pre-built security properties for common Ethereum operations

  Language:Solidity28342

• Cyfrin/audit-report-templating

  26946

• Cyfrin/report-generator-template

  A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.

  Language:Python295

• spearbit-audits/report-generator-template

  A markdown based template for writing spearbit reports

  Language:Python2816

• Cyfrin/audit-repo-cloner

  A Python package to clone a repo and automatically prepare it for audit report generation

  Language:Python186

• pcaversaccio/reentrancy-attacks

  A chronological and (hopefully) complete list of reentrancy attacks to date.

  1.3k147

• Cyfrin/sc-exploits-minimized

  A repo to showcase web3 hacks

  Language:Solidity319107

• meitedaf/My-security-portfolio

  This repository is a collection of my security audit reports for smart contracts and blockchain protocols. It showcases in-depth analyses, identifies vulnerabilities, and provides actionable recommendations for enhancing security.

  1

• Cyfrin/aderyn

  Aderyn 🦜 Rust-based Solidity AST analyzer.

  Language:Rust38254

• Cyfrin/security-and-auditing-full-course-s23

  The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.

  Language:Solidity1.2k243

• ethereum/solidity

  Solidity, the Smart Contract Programming Language

  Language:C++23.1k5.7k

• a16z/halmos

  A symbolic testing tool for EVM smart contracts

  Language:Python80466

• crytic/echidna

  Ethereum smart contract fuzzer

  Language:Haskell2.7k362

• ethereum/hevm

  symbolic EVM evaluator

  Language:Haskell22948

• Consensys/mythril

  Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

  Language:Python3.9k738

• trailofbits/manticore

  Symbolic execution tool

  Language:Python3.7k472

• Picodes/4naly3er

  Static smart contract code 4naly3er

  Language:TypeScript511138

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.3k966

• nascentxyz/simple-security-toolkit

  A collection of practical security-focused guides and checklists for smart contract development

  1k143

• OpenZeppelin/openzeppelin-contracts-upgradeable

  Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.

  Language:JavaScript987426

• rebase-network/who-is-hiring

  这个仓库是由 Rebase 社区创建的，为区块链行业以及其他各行各业的企业和团队提供招聘信息披露机会，所有招聘信息都将在 Rebase 社区的所有媒体上进行发表。这都是免费的！

  77452

• meitedaf/Chainlink-ccip-CrossChainNFT

  A demo project showcasing NFT minting and cross-chain transfers using Chainlink's CCIP on Ethereum and Arbitrum Sepolia test networks. Includes Chainlink Local simulator for faster development and testing.

  Language:Solidity1

• dmfxyz/murky

  Merkle Proof Generator and Validator in Solidity

  Language:Solidity41140

• Cyfrin/foundry-defi-stablecoin-cu

  Language:Solidity244110

• meitedaf/Raffle

  a lottery on blockchain, based on Chainlink VRF (Verifiable Random Function)

  Language:Solidity1

• Cyfrin/html-fund-me-cu

  Language:JavaScript2026

• Cyfrin/foundry-smart-contract-lottery-cu

  Language:Solidity4738

• CreatorsDAO/solana-co-learn

  Creators Dao all about Solana source

  Language:JavaScript6022

• meitedaf/foundry-fund-me-f23

  Language:Solidity1