hustnn

apebot

backend

ChainWalker

Rapid Smart Contract Crawler

circom-ecdsa

Big integer arithmetic and secp256k1 ECC operations in circom

cleopatra_cairo

Rust implementation of the Cairo VM

columbia

delta-rs

A native Rust library for Delta Lake, with bindings into Python and Ruby.

duckdb-wasm

WebAssembly version of DuckDB

frax-solidity

Solidity implementation of the Frax Protocol

frontend

fusion

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

heimdall

Powerful Ethereum Smart-Contract Toolkit

heimdall-rs

Heimdall is an advanced Ethereum smart contract toolkit for forensic and heuristic analysis.

lens-protocol

The Lens Protocol

mars

The powerful analysis platform to explore and visualize data from blockchain.

miden

STARK-based virtual machine

mythril

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

narwhal

Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.

snx-liquidator

A one-shot MEV extraction contract and bot using the flashbots network and mem pool analysis

solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

starknet-cairo-101

starknet-oracle

subway

A practical example on how to perform sandwich attacks on Ethereum

tiflash

The analytical engine for TiDB

winterfell

A STARK prover and verifier for arbitrary computations

xturing

Build and control your own LLMs

zk-group-sigs

group signatures implemented with zkSNARKs

zk-NFT

A NFT powered by zkSNARKs. Exploring fog-of-war type interactions between NFTs such as trading and battling.

zkmessage.xyz

zuniswapv2

UniswapV2 clone made in educational purposes