Skip to content
@FuzzingLabs

FuzzingLabs

Research-oriented security company specializing in vulnerability research, fuzzing and blockchain security.​

Pinned

  1. octopus octopus Public

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

    Python 459 83

  2. thoth thoth Public

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

    Python 220 21

  3. wasm_runtimes_fuzzing wasm_runtimes_fuzzing Public

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

    Rust 75 17

  4. cairo-fuzzer cairo-fuzzer Public

    Cairo/Starknet smart contract fuzzer

    Rust 107 9

Repositories

Showing 10 of 16 repositories
  • cairo-fuzzer Public

    Cairo/Starknet smart contract fuzzer

    Rust 107 AGPL-3.0 9 6 1 Updated Oct 17, 2023
  • starknet_in_rust Public

    A Rust implementation of StarkNet

    Rust 0 Apache-2.0 38 0 0 Updated Oct 16, 2023
  • sui Public

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

    Rust 0 Apache-2.0 12,110 0 0 Updated Sep 22, 2023
  • cairo-rs Public

    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.

    Rust 0 Apache-2.0 81 0 0 Updated Aug 24, 2023
  • thoth Public

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

    Python 220 AGPL-3.0 21 8 (1 issue needs help) 0 Updated Aug 2, 2023
  • risc0 Public

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

    C++ 0 Apache-2.0 156 0 0 Updated Apr 20, 2023
  • aleovera Public

    Aleo analyzer and disassembler

    Python 6 AGPL-3.0 4 0 0 Updated Feb 28, 2023
  • cairo-rs-py Public

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

    Rust 0 MIT 6 0 0 Updated Dec 27, 2022
  • basic_mutator Public

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

    Rust 0 Apache-2.0 11 0 0 Updated Dec 7, 2022
  • octopus Public

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

    Python 459 MIT 83 10 1 Updated Oct 30, 2022
View all repositories

Most used topics

Loading…