verified-anchor

v0.2.0 Experimental

Formally verified (Lean 4) account-validation runtime for Solana — Anchor-compatible, proof-producing.

CC-BY-NC-ND-4.0 Edition 2021

Development tools Cryptography #proc-macro#solana#anchor#lean4#verified

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

✓Actively maintained (updated 19d ago)
!Pre-1.0: API may have breaking changes

Security

Checking security advisories...

Downloads

Dependents

Releases

Size

52KB

Deep Insights

📉

Download decline

22 downloads in the last 30 days, down 29% from the previous period. May indicate migration to alternatives.

Health Breakdown

Maintenance 13/25

Recency, release consistency, active ratio

Quality 11/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 8/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days

0/day avg

Version Adoption

v0.1.2

38%

v0.2.0

32%

v0.1.1

30%

Release Timeline

3 releasessince 2026

2026

Less

README

Loading README...

Maintainers

PARTH ARVIND RATHI

3 crates

Dependencies

direct dependencies