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

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.

Formal verification effort for proving the ABDK Math 64.64 library properties using Echidna/hevm/Certora

Formal verification of Sarcophagus, the Autonomous and decentralized dead man's switch

Dockerfile for building an image pre-installed and pre-configured with essential EVM security tools

No description provided.

ZeroMoon zETH - The Unbreakable Token

This repository contains smart contracts with vulnerabilities registered in SWC to be analyzed with the smart contract verification tools SolCMC, Certora, eThor, HoRStify and Securify2