0

Is there any tool to be able to do formal verification on hardhat projects that's open source?

2 Answers 2

1

Some great open source FV tools are the SMT Checker by the solidity team (there's a nice introduction thread here) and manticore maintained by Trail of Bits.

For a detailed overview of Formal Verification, you can check out this repo.

0

Certora also has a variety of tools to help you with contract security including formal verification: https://demo.certora.com/

1
  • Yeah, sadly I need an open source tool for this specific project Feb 10, 2023 at 12:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.