bizzyvinci

bizzyvinci's Stars

• slowmist/Blockchain-dark-forest-selfguard-handbook

  Blockchain dark forest selfguard handbook. Master these, master the security of your cryptocurrency.

  6k9117708

• dvyukov/go-fuzz

  Randomized testing for Go

  Language:Go4.8k84173279

• Speykious/cve-rs

  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

  Language:Rust4.3k2632109

• speed47/spectre-meltdown-checker

  Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD

  Language:Shell3.9k178291476

• crytic/building-secure-contracts

  Guidelines and training material to write secure smart contracts

  Language:Solidity2.3k3493366

• paradigmxyz/cryo

  cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

  Language:Rust1.3k1065138

• Jon-Becker/heimdall-rs

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

  Language:Rust1.3k15227133

• cosmos/awesome-cosmos

  Collection of Cosmos related resources

  5683635160

• waydabber/m1ddc

  This little tool controls external displays (connected via USB-C/DisplayPort Alt Mode) using DDC/CI on Apple Silicon Macs. Useful to embed in various scripts.

  Language:Objective-C52563946

• horsefacts/weth-invariant-testing

  Language:Solidity2813248

• nomad-xyz/ExcessivelySafeCall

  excessively safe solidity calls

  Language:Solidity2289444

• Philogy/balls

  A DSL for generating optimal EVM bytecode

  Language:Rust187588

• emilianobonassi/whitehacks-kit

  A simple template to perform whitehacks safely

  Language:Solidity1775016

• engn33r/DeFi-Risk-Modelling-Awesome

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

  1568018

• chinmay-farkya/EVM-notes

  1143118

• crytic/fuzz-utils

  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

  Language:Solidity1044225

• runtimeverification/kontrol

  Language:Python681234112

• NethermindEth/Clear

  Interactive formal verification tool for Yul programs

  Language:Lean62407

• security-alliance/drill-template

  Wargames Toolkit

  Language:Solidity60702

• zobront/halmos-solady

  Formally verifying consistency between Solmate and Solady using Halmos

  Language:Solidity54306

• infosec-us-team/Immunefi-Bug-Bounty-Programs-Unofficial

  Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to this repo. To get a before/after diff of a project go to `./project/{project-name}.json` and check it's latest commit.

  Language:Shell44114

• shortdoom/immunefi-terminal

  A datasette dashboard and source code downloader for Immunefi bug bounty data

  Language:Python30104

• ustas-eth/daily-glider

  Casual Glider guides and tips

  Language:JavaScript30210

• rappie/echidna-curve-reentrancy-hack

  Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna

  Language:Solidity27104

• athena-consulting/cosmwasm-by-example

  Inspired by https://www.solidity-by-example.org

  Language:Rust160411

• infosecual/nosy

  An automated fuzz harness generator for Go projects

  Language:Go16103

• osmosis-labs/go-mutesting

  Mutation testing for Go source code

  Language:Go9322

• crytic/fuzz-vs-fv

  Language:TypeScript4204

• zigtur/BLS-signature

  This repository contains some content about BLS signature.

  Language:Python40

• pratraut/Immunefi-Bug-Bounty-Programs-Snapshots

  Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to this repo. To get a before/after diff of a project, go to `./projects/{project-name}.json` OR `./audit_competitons/{project-name}.json` and check it's latest commit.

  Language:Shell3100