FuzzingLabs

octopus

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

thoth

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

cairo-fuzzer

Cairo/Starknet smart contract fuzzer

wasm_runtimes_fuzzing

Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing

sui-fuzzer

Sui smart contract fuzzer

aleovera

Aleo analyzer and disassembler

sierra-analyzer

Sierra decompiler and analyzer

fzero_fuzzer

A fast Rust-based safe and thead-friendly grammar-based fuzz generator

idl2js

snarkVM

A Virtual Machine for Zero-Knowledge Executions

aztec_fuzzing

fuzzilli

A JavaScript Engine Fuzzer

fuzzilli4wasm

A toy Fuzzer for wasm fuzzing based on fuzzilli

fuzzinglabs.github.io

cairo-rs

cairo-rs is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.

basic_mutator

About as basic of a mutator as you can get, but it does the trick in most situations

cairo-rs-py

cairo-rs-py adds Python bindings to the cairo-rs Cairo VM

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

starknet_in_rust

A Rust implementation of StarkNet

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language