Formal verification effort for proving the ABDK Math 64.64 library properties using Echidna/hevm/Certora
-
Updated
Feb 19, 2026 - Solidity
#
certora
Here are 5 public repositories matching this topic...
Formal verification of Sarcophagus, the Autonomous and decentralized dead man's switch
-
Updated
Apr 21, 2025 - Solidity
A foundry project about formal verification testing using tools like Halmos and Certora.
-
Updated
Oct 22, 2024 - Solidity
ZeroMoon zETH - The Unbreakable Token
security reflection ethereum solidity formal-verification foundry erc20 solidity-contracts solidity-dapps smart-contract dividends erc20-token defi erc20-smart-contract reflective-token certora certora-prover eth-backed
-
Updated
Dec 2, 2025 - Solidity
A benchmark of intentionally vulnerable smart contracts aligned with the SWC registry, built to evaluate formal verification tools including SolCMC, Certora, eThor, HoRStify, and Securify2
-
Updated
Mar 29, 2026 - Solidity
Improve this page
Add a description, image, and links to the certora topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the certora topic, visit your repo's landing page and select "manage topics."