certora-prover

Here are 2 public repositories matching this topic...

Certora / CertoraProver

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

ethereum smart-contracts blockchain web3 stellar formal-verification security-tools solana certora certora-prover

Updated Feb 23, 2025
Kotlin

Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.

ethereum smart-contracts blockchain web3 stellar formal-verification solana security-audits certora certora-prover

Updated Feb 27, 2025

Improve this page

Add a description, image, and links to the certora-prover topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the certora-prover topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

certora-prover

Here are 2 public repositories matching this topic...

Certora / CertoraProver

Certora / SecurityReports

Improve this page

Add this topic to your repo