gengmoqi

gengmoqi's Stars

• xan-crypto/CurveZero

  CurveZero - Fixed rate USD loan protocol

  Language:Python418

• ingonyama-zk/ingopedia

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

  70885

• dialectlabs/protocol

  Language:TypeScript7712

• shresthagrawal/poc-superlight-client

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

  Language:Jupyter Notebook384

• bsdevlin/fpga_snark_prover

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

  Language:SystemVerilog5316

• bcc-research/CFMMRouter.jl

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

  Language:Julia31659

• SHSR2001/beacondigest

  Language:Jupyter Notebook53

• fvictorio/evm-puzzles

  A collection of EVM puzzles

  Language:JavaScript814162

• trailofbits/maat

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

  Language:C++61144

• 0xPARC/circom-ecdsa

  Big integer arithmetic and secp256k1 ECC operations in circom

  Language:TypeScript31165

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

• microsoft/Forerunner

  Forerunner: Constraint-based Speculative Transaction Execution for Ethereum

  Language:Go966

• k06a/GasTray

  Simple gas tray app for macOS

  Language:Objective-C202

• 0xperp/defi-derivatives

  A hopefully comprehensive guide to the defi derivative landscape

  760107

• drift-labs/protocol-v1

  On-chain, cross-margined perpetual swaps.

  Language:TypeScript14045

• maxme/abi2solidity

  Convert an ABI to a solidity interface

  Language:Solidity5717

• exp-table/ying-yang

  Pay on Ethereum, mint on Starknet.

  Language:Vue27

• ceramicnetwork/awesome

  A list of awesome projects built on Ceramic

  5626

• facebook/winterfell

  A STARK prover and verifier for arbitrary computations

  Language:Rust793180

• NethermindEth/warp

  Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.

  Language:TypeScript75269

• angeris/cfmm-routing-code

  Convex optimization for fun and profit.

  Language:Python25348

• arkworks-rs/groth16

  A Rust implementation of the Groth16 zkSNARK

  Language:Rust252101

• keep-starknet-strange/awesome-starknet

  A curated list of awesome StarkNet resources, libraries, tools and more

  1.5k321

• celestiaorg/protobuf3-solidity

  Protobuf3 plugin for Solidity

  Language:Go307

• leonardoalt/hevm_paper

  Language:TeX12

• flashbots/mev-boost

  MEV-Boost allows Ethereum validators to source high-MEV blocks from a competitive builder marketplace

  Language:Go1.2k215

• solana-community/wiki

  Solana Developer Wiki

  Language:HTML107

• usmfum/USM-Oracles

  Smart contracts to retrieve oracle data from several sources

  Language:Solidity101

• ironaddicteddog/anchor-amm

  SPL token-swap (AMM) implemented in Anchor

  Language:Rust6721

• tintinweb/vscode-ethereum-security-bundle

  A meta-extension bundling marketplace plugins for secure Ethereum smart contract development.

  211