# Anchor vs Certora Prover

| Attribute | Anchor | Certora Prover |
|---|---|---|
| **Vioscale score** | 48.4 (16% (low)) | 46 (18% (low)) |
| activity.commits_last_30d | 10 | - |
| adoption.dependent_repos | 1,017 | - |
| adoption.github_stars | 5,122 | - |
| deployment.options | - | `{"cloud":true}` |
| description.long | A framework designed to help developers create production-grade applications more quickly while incorporating built-in security measures to reduce vulnerabilities. | A tool that validates smart contracts by comparing bytecode against formal specifications to prove code correctness and identify security vulnerabilities. |
| language.primary | Rust | - |
| license.spdx | Apache-2.0 | - |
| platform.support | - | `{"web":true}` |
| pricing | - | `{"type":"hybrid","freeTier":true,"sourceUrl":"https://www.certora.com","retrievedAt":"2026-08-19T21:33:59.246Z"}` |
| pricing.free_tier | - | yes |
| pricing.model | - | freemium |
| pricing.price_level | - | low |
| release.cadence_days | 65 | - |
| release.history | `[{"url":"https://github.com/otter-sec/anchor/releases/tag/v1.1.2","date":"2026-06-26T15:16:04Z","type":"stable","version":"v1.1.2"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v1.0.3","date":"2026-06-26T16:06:48Z","type":"stable","version":"v1.0.3"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v1.1.1","date":"2026-06-25T12:50:45Z","type":"stable","version":"v1.1.1"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v1.1.0","date":"2026-06-25T12:17:35Z","type":"stable","version":"v1.1.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v1.0.2","date":"2026-05-02T18:52:58Z","type":"stable","version":"v1.0.2"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v1.0.1","date":"2026-04-21T16:37:35Z","type":"stable","version":"v1.0.1"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v1.0.0","date":"2026-04-02T18:34:37Z","type":"stable","version":"v1.0.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.32.1","date":"2025-10-10T02:02:33Z","type":"stable","version":"v0.32.1"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.32.0","date":"2025-10-09T04:07:36Z","type":"stable","version":"v0.32.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.31.1","date":"2025-04-19T22:43:33Z","type":"stable","version":"v0.31.1"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.31.0","date":"2025-03-08T16:24:53Z","type":"stable","version":"v0.31.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.30.1","date":"2024-06-20T15:20:54Z","type":"stable","version":"v0.30.1"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.30.0","date":"2024-04-15T15:21:35Z","type":"stable","version":"v0.30.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.29.0","date":"2023-10-16T16:38:51Z","type":"stable","version":"v0.29.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.28.0","date":"2023-06-09T16:01:37Z","type":"stable","version":"v0.28.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.27.0","date":"2023-03-08T13:29:32Z","type":"stable","version":"v0.27.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.26.0","date":"2022-12-15T16:14:08Z","type":"stable","version":"v0.26.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.25.0","date":"2022-07-05T20:35:31Z","type":"stable","version":"v0.25.0"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.24.2","date":"2022-04-13T23:44:50Z","type":"stable","version":"v0.24.2"},{"url":"https://github.com/otter-sec/anchor/releases/tag/v0.24.1","date":"2022-04-12T22:51:00Z","type":"stable","version":"v0.24.1"}]` | - |
| security.gdpr | - | yes |
| security.vulnerabilities | `{"count":0,"source":"https://advisories.ecosyste.ms/api/v1/advisories?ecosystem=cargo&package_name=anchor-attribute-event&per_page=100","last_12m":0,"max_severity":null}` | - |

## Capabilities (Smart Contract Tools)

| Capability | Anchor | Certora Prover |
|---|:--:|:--:|
| **Capabilities** |  |  |
| Stack | - | - |
| Chain support | - | - |
| Local testnet | - | - |
| Mainnet forking | - | - |
| Fuzz testing | - | - |
| Invariant testing | - | - |
| Static analysis | - | - |
| Symbolic execution | - | - |
| Formal verification | - | - |
| Gas profiling | - | - |
| Tx simulation debugging | - | - |
| Upgrade proxy tooling | - | - |
| Multisig transaction ops | - | - |
| Ide editor plugin | - | - |
| Deployment | - | - |

*Source: Vioscale. Generated 2026-09-01T16:27:38.384Z. "-" = undocumented, not absent.*