gengmoqi

gengmoqi's Stars

• fish-shell/fish-shell

  The user-friendly command line shell.

  Language:Rust25.8k2837.2k1.9k

• secfigo/Awesome-Fuzzing

  A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.

  5.3k2239814

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

• crytic/echidna

  Ethereum smart contract fuzzer

  Language:Haskell2.7k59578359

• n0-computer/iroh

  A toolkit for building distributed applications

  Language:Rust2.3k35674148

• bluealloy/revm

  Rust implementation of the Ethereum Virtual Machine.

  Language:Rust1.6k27264528

• dragonfly-xyz/useful-solidity-patterns

  Language:Solidity1.4k336163

• MystenLabs/awesome-move

  Code and content from the Move community.

  1.4k4010257

• fvictorio/evm-puzzles

  A collection of EVM puzzles

  Language:JavaScript81494159

• 0xperp/defi-derivatives

  A hopefully comprehensive guide to the defi derivative landscape

  727301103

• ingonyama-zk/ingopedia

  A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

  695171178

• trailofbits/maat

  Open-source symbolic execution framework: https://maat.re

  Language:C++611157643

• zemse/hardhat-tracer

  🕵️ allows you to see internal calls, events and storage operations in the console

  Language:TypeScript35255736

• bcc-research/CFMMRouter.jl

  Convex optimization for fun and profit. (Now in Julia!)

  Language:Julia312211158

• 0xPARC/circom-ecdsa

  Big integer arithmetic and secp256k1 ECC operations in circom

  Language:TypeScript301131263

• ziyadedher/evm-bench

  🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.

  Language:Solidity20132621

• drift-labs/protocol-v1

  On-chain, cross-margined perpetual swaps.

  Language:TypeScript13981244

• gakonst/narwhal-abci-evm

  Language:Rust1245221

• microsoft/Forerunner

  Forerunner: Constraint-based Speculative Transaction Execution for Ethereum

  Language:Go97626

• nerolation/mevboost.pics

  Analysis of MEV-Boost, PBS and Block building on Ethereum

  Language:Jupyter Notebook934213

• dialectlabs/protocol

  Language:TypeScript7662612

• ethereum/distributed-validator-specs

  Ethereum Distributed Validator Specifications

  Language:Python7517913

• flashbots/geth-sgx-gramine

  Geth-in-SGX provides an example of running go-ethereum in SGX

  Language:C6921108

• maxme/abi2solidity

  Convert an ABI to a solidity interface

  Language:Solidity575317

• bsdevlin/fpga_snark_prover

  An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs

  Language:SystemVerilog527017

• xan-crypto/CurveZero

  CurveZero - Fixed rate USD loan protocol

  Language:Python41228

• lightclients/poc-superlight-client

  POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games

  Language:Jupyter Notebook38314

• samlaf/mempool-benchmark

  Exploring mempool listening methods

  Language:TypeScript22100

• k06a/GasTray

  Simple gas tray app for macOS

  Language:Objective-C20312

• SHSR2001/beacondigest

  Language:Jupyter Notebook5203