{"adoption": {"forks": 1559, "observed_at": "2026-09-03T02:15:07.099687+00:00", "stars": 1163}, "canonical_url": "https://ross.abutalabs.com/products/snarkvm", "card": {"archived": false, "artifact_type": "library", "description": "A zkVM for Decentralized Private Computations (DPC)", "domain": ["blockchain", "privacy", "programming-languages"], "enriched": true, "function": ["cryptography", "interpreter", "compiler", "blockchain", "sdk"], "health_score": 100, "homepage": "https://snarkvm.org", "language": "Rust", "license": "Apache-2.0", "license_family": "permissive", "maturity": "active", "member_repos": ["ProvableHQ/snarkVM"], "name": "ProvableHQ/snarkVM", "platform": ["rust", "wasm", "cross-platform", "cli"], "pushed_at": "2026-09-02T19:12:53+00:00", "repo": "ProvableHQ/snarkVM", "stars": 1163, "tags": ["zero-knowledge", "zkvm", "zkp", "aleo", "dpc", "snark", "decentralized-private-computation", "virtual-machine", "cryptography", "cryptocurrency"], "topics": ["rust", "cryptography", "blockchain", "zero-knowledge", "zkp", "aleo"], "urls": [], "use_cases": ["run zero-knowledge programs for the Aleo blockchain", "build a zkVM or execute private smart contracts", "generate and verify zk-SNARK proofs in Rust", "implement a decentralized private computation ledger", "compile and synthesize Leo/Aleo programs into circuits", "run Aleo node ledger logic in Rust or WebAssembly"], "what_it_is": "snarkVM is a zero-knowledge virtual machine (zkVM) for Decentralized Private Computations, the core execution engine of the Aleo blockchain. It is a Rust workspace of crates covering cryptographic curves, circuits, program synthesis, and ledger functionality, with both std and wasm support.", "when_to_avoid": ["you need a general-purpose VM unrelated to zero-knowledge proofs or Aleo", "you want a simple zk proof library without a full virtual machine and ledger", "you need a zkVM for a different blockchain or proof system stack"], "when_to_choose": ["you are developing on the Aleo ecosystem and need its canonical zkVM implementation", "you need production-grade SNARK circuits, curves, and field arithmetic in Rust", "you want wasm support for zero-knowledge execution in browsers or embedded environments"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/snarkvm", "repo": "ProvableHQ/snarkVM", "role": "main", "score": 91}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-09-03T02:15:07.099687+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:31:32.911571+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "fedc21ddd023e4aad5cdcfa558f35e39aff847726151d522513d1c89c84c9d1b", "fetched_at": "2026-09-03T02:15:07.099687+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ProvableHQ/snarkVM"}, {"content_hash": "2fd64ce2d1af24835cf63d3392c03655bb2f57e6721bd7e423e50db029a4990c", "fetched_at": "2026-08-29T12:35:41.782855+00:00", "kind": "homepage", "missing": false, "url": "https://snarkvm.org"}, {"content_hash": "ab8f90fde078b0209161d9821d4cc09f7a31532d3ffd24fc5a73fd50f5a7f53c", "fetched_at": "2026-08-29T12:35:41.792160+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/snarkvm"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 100, "longevity": 100, "rhythm": 74}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 2363, "days_push": 0, "days_rel": 14, "gap_med": 145.0, "n_releases_24m": 5}, "score": 91, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 3, "stale_scrape": false}}