{"repo":"Certora/CertoraProver","free":true,"listed":false,"github":"https://github.com/Certora/CertoraProver","clone":"git clone https://github.com/Certora/CertoraProver.git","description":"The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar","language":"Kotlin","stars":326,"topics":["blockchain","certora","certora-prover","ethereum","formal-verification","security-tools","smart-contracts","solana","stellar","web3"],"license":"GPL-3.0","category":"blockchain-web3","readme_excerpt":"Certora Prover The Certora Prover is a tool for formally verifying smart contracts. This document is intended for those who would like to contribute to the tool. If you are interested to use the tool on our cloud platform without having to locally build it, we recommend following the documentation here: https://docs.certora.com/en/latest/docs/user-guide/install.html. The instructions here are for users on Mac OS and Linux. Dependencies JDK 19+ SMT solvers: [required] Z3 -- https://github.com/Z3Prover/z3/releases [required] CVC5 -- https://github.com/cvc5/cvc5/releases [optional] CVC4 -- https://cvc4.github.io/downloads.html [optional] Yices -- https://github.com/SRI-CSL/yices2/releases [optional] Bitwuzla -- https://github.com/bitwuzla/bitwuzla/releases NOTE Whichever solvers you decide to install, remember to put the executables in a directory in your system's PATH . Python 3 - We recommend downloading from here: https://www.python.org/downloads/ - Make sure the version of pip matches with the python version Solidity compiler -- https://github.com/ethereum/solidity/releases. Pick the version(s) that is used by the contracts you want to verify. Since we often use many versions, it is recommended to rename each solc executable to, e.g., solc5.12, and place all versions into a directory in your systems PATH like so: export PATH=\"/path/to/dir/with/executables:$PATH\" Rust (tested on Version 1.81.0+) -- https://www.rust-lang.org/tools/install llvm-symbolizer and llvm-dwarfdump , w","default_branch":null,"files":null,"tree":[],"storefront":"/r/Certora","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/Certora/CertoraProver/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}