FuzzingLabs
Research-oriented security company specializing in vulnerability research, fuzzing and blockchain security.
France
Pinned Repositories
aleovera
Aleo analyzer and disassembler
cairo-fuzzer
Cairo/Starknet smart contract fuzzer
fzero_fuzzer
A fast Rust-based safe and thead-friendly grammar-based fuzz generator
octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
publications
Fuzzinglabs's audits, publications, workshops and reports
sierra-analyzer
Sierra decompiler and analyzer
snarkVM
A Virtual Machine for Zero-Knowledge Executions
sui-fuzzer
Sui smart contract fuzzer
thoth
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
wasm_runtimes_fuzzing
Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
FuzzingLabs's Repositories
FuzzingLabs/octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
FuzzingLabs/thoth
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
FuzzingLabs/cairo-fuzzer
Cairo/Starknet smart contract fuzzer
FuzzingLabs/wasm_runtimes_fuzzing
Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
FuzzingLabs/sui-fuzzer
Sui smart contract fuzzer
FuzzingLabs/aleovera
Aleo analyzer and disassembler
FuzzingLabs/sierra-analyzer
Sierra decompiler and analyzer
FuzzingLabs/publications
Fuzzinglabs's audits, publications, workshops and reports
FuzzingLabs/fzero_fuzzer
A fast Rust-based safe and thead-friendly grammar-based fuzz generator
FuzzingLabs/idl2js
FuzzingLabs/snarkVM
A Virtual Machine for Zero-Knowledge Executions
FuzzingLabs/aztec_fuzzing
FuzzingLabs/fuzzilli
A JavaScript Engine Fuzzer
FuzzingLabs/fuzzilli4wasm
A toy Fuzzer for wasm fuzzing based on fuzzilli
FuzzingLabs/fuzzinglabs.github.io
FuzzingLabs/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.
FuzzingLabs/basic_mutator
About as basic of a mutator as you can get, but it does the trick in most situations
FuzzingLabs/cairo-rs-py
cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
FuzzingLabs/ethereum-package
FuzzingLabs/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
FuzzingLabs/sputnikvm
Aurora EVM implementation based on fork of SputnikVM.
FuzzingLabs/starknet_in_rust
A Rust implementation of StarkNet
FuzzingLabs/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