FuzzingLabs's Projects
Aleo analyzer and disassembler
About as basic of a mutator as you can get, but it does the trick in most situations
Cairo/Starknet smart contract fuzzer
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.
cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
A JavaScript Engine Fuzzer
A toy Fuzzer for wasm fuzzing based on fuzzilli
A fast Rust-based safe and thead-friendly grammar-based fuzz generator
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
Advanced Cybersecurity Solutions
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Sierra decompiler and analyzer
A Virtual Machine for Zero-Knowledge Executions
Aurora EVM implementation based on fork of SputnikVM.
A Rust implementation of StarkNet
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Sui smart contract fuzzer
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing