Skip to content
@Recon-Fuzz

Recon

Cloud Fuzzing, Invariant Testing and Boutique Security Reviews
README.md

Recon

This is cloud fuzzing

Trusted By

  • Badger
  • Centrifuge
  • Corn
  • Smilee
  • Liquity
  • Solidity Labs
  • Onchainification
  • Balancer DAO

Our customers have over $1 BLN in TVL

Services

  • Run Echidna, Medusa, Foundry, Halmos and Kontrol in the cloud
  • Invariant Testing Engagements, bootstrap your invariants or maintain them
  • Security Reviews by Alex The Entreprenerd and the Recon Team
  • Ongoing onchain monitoring, automated invariant tests to prevent real world exploits

Trophies

We ran invariant tests against some of the toughest codebase

  • Badger - Crit
  • Centrifuge - Med
  • Tapioca - Highs and Meds
  • Euler - Broken Spec

Best Practices

We offer multiple starter templates for invariant testing

Feel free to browse around or try our tools at: https://getrecon.xyz/

We can help you build smart contracts, reach out for advisory services

Popular repositories Loading

  1. chimera chimera Public

    Smart Contract Property-Based Testing Framework

    Solidity 85 9

  2. create-chimera-app create-chimera-app Public template

    One click magically working Foundry + Medusa + Echidna Starter

    Solidity 27 5

  3. erc7540-reusable-properties erc7540-reusable-properties Public

    Solidity 5 1

  4. call-test-undo call-test-undo Public

    CallTestAndUndo - a simple abstract contract to help you write invariant tests that do not influence the story

    Solidity 4

  5. eigenlayer-fuzzing eigenlayer-fuzzing Public

    Solidity 3

  6. renzo-fuzzing renzo-fuzzing Public

    Solidity 2

Repositories

Showing 10 of 22 repositories
  • vaults-fuzzing-example Public

    An example repo with properties defined for ERC4626 vaults (see Recon substack for accompanying post).

    Recon-Fuzz/vaults-fuzzing-example’s past year of commit activity
    Solidity 0 0 0 0 Updated Dec 17, 2024
  • liquity-governance-fuzzing Public
    Recon-Fuzz/liquity-governance-fuzzing’s past year of commit activity
    Solidity 0 0 0 0 Updated Dec 16, 2024
  • ebtc Public Forked from ebtc-protocol/ebtc
    Recon-Fuzz/ebtc’s past year of commit activity
    JavaScript 0 GPL-3.0 28 0 0 Updated Dec 8, 2024
  • properties-table Public template

    A template for creating tables to track properties implemented for an invariant testing suite

    Recon-Fuzz/properties-table’s past year of commit activity
    0 0 0 0 Updated Dec 7, 2024
  • create-chimera-app Public template

    One click magically working Foundry + Medusa + Echidna Starter

    Recon-Fuzz/create-chimera-app’s past year of commit activity
    Solidity 27 5 0 1 Updated Nov 27, 2024
  • prank-echidna-vs-foundry Public

    Repro of issues with pranking when comparing echidna and foundry

    Recon-Fuzz/prank-echidna-vs-foundry’s past year of commit activity
    Solidity 1 0 0 0 Updated Nov 27, 2024
  • hevm-precompile-crash-unexpected Public

    Repro of an unexpected crash, we would expect the compiler to prevent calling into a pre-compile, however HEVM crashes echidna either way

    Recon-Fuzz/hevm-precompile-crash-unexpected’s past year of commit activity
    Solidity 0 0 0 0 Updated Nov 19, 2024
  • ERC4626Tester Public

    ERC4626 mock with functions to register yield and losses

    Recon-Fuzz/ERC4626Tester’s past year of commit activity
    Solidity 0 MIT 0 0 0 Updated Nov 18, 2024
  • psm3-demo Public
    Recon-Fuzz/psm3-demo’s past year of commit activity
    Solidity 0 1 0 0 Updated Nov 13, 2024
  • chimera Public

    Smart Contract Property-Based Testing Framework

    Recon-Fuzz/chimera’s past year of commit activity
    Solidity 85 9 0 0 Updated Nov 7, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…