certora-prover

Here are 8 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 Sep 7, 2026
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 Aug 24, 2026

PositiveSecurity / BlendV2-FV

Star

Blend v2 (Stellar) Certora FV Competition (Feb 2025, #4 place)

blockchain stellar formal-verification lending certora-prover

Updated Aug 26, 2025
Rust

pky1987 / audit-report

Star

An audit report provides an in-depth evaluation of potential vulnerabilities, code inefficiencies, and ensure that the software adheres to industry best practices. This report also aims to suggest improvements and recommend actions for optimizing the project's security and performance.