Skip to content
@FuzzingLabs

FuzzingLabs

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

Pinned Loading

  1. octopus octopus Public archive

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

    Python 482 83

  2. thoth thoth Public

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

    Python 238 21

  3. wasm_runtimes_fuzzing wasm_runtimes_fuzzing Public

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

    Rust 81 17

  4. cairo-fuzzer cairo-fuzzer Public

    Cairo/Starknet smart contract fuzzer

    Rust 113 8

  5. sui-fuzzer sui-fuzzer Public

    Sui smart contract fuzzer

    Rust 24 2

  6. aleovera aleovera Public

    Aleo analyzer and disassembler

    Python 9 6

Repositories

Showing 10 of 20 repositories
  • FuzzingLabs/aztec_fuzzing’s past year of commit activity
    Rust 1 0 0 0 Updated Jun 26, 2024
  • sierra-analyzer Public

    Sierra decompiler and analyzer

    FuzzingLabs/sierra-analyzer’s past year of commit activity
    Rust 5 MIT 0 0 0 Updated Jun 12, 2024
  • sui-fuzzer Public

    Sui smart contract fuzzer

    FuzzingLabs/sui-fuzzer’s past year of commit activity
    Rust 24 AGPL-3.0 2 1 0 Updated Mar 17, 2024
  • sui Public Forked from MystenLabs/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

    FuzzingLabs/sui’s past year of commit activity
    Rust 0 Apache-2.0 12,855 0 0 Updated Mar 7, 2024
  • cairo-fuzzer Public

    Cairo/Starknet smart contract fuzzer

    FuzzingLabs/cairo-fuzzer’s past year of commit activity
    Rust 113 AGPL-3.0 8 6 0 Updated Mar 1, 2024
  • starknet_in_rust Public Forked from lambdaclass/starknet_in_rust

    A Rust implementation of StarkNet

    FuzzingLabs/starknet_in_rust’s past year of commit activity
    Rust 0 Apache-2.0 51 0 0 Updated Mar 1, 2024
  • cairo-rs Public Forked from lambdaclass/cairo-vm

    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/cairo-rs’s past year of commit activity
    Rust 0 Apache-2.0 133 0 0 Updated Mar 1, 2024
  • FuzzingLabs/fuzzinglabs.github.io’s past year of commit activity
    HTML 1 0 0 0 Updated Feb 20, 2024
  • octopus Public archive

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

    FuzzingLabs/octopus’s past year of commit activity
    Python 482 MIT 83 11 1 Updated Nov 24, 2023
  • thoth Public

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

    FuzzingLabs/thoth’s past year of commit activity
    Python 238 AGPL-3.0 21 8 (1 issue needs help) 0 Updated Nov 13, 2023

Most used topics

Loading…