sp1-verifier
v6.0.2 StableVerifier for SP1 Groth16 and Plonk proofs.
Quick Verdict
- ✓Actively maintained (updated 29d ago)
- ✓Stable API (6.x for 1+ years)
- ✓Team maintained (2 owners)
- !Heavy dependency tree (28 direct deps)
- ✓Permissive license (MIT OR Apache-2.0)
Security
Deep Insights
34.1K downloads in the last 30 days (1.1K/day), up 26% from the previous period.
The primary maintainer publishes 64 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Reached 1.0 over a year ago. The API surface is settled, making it safe for production use.
28 direct dependencies. Consider the impact on compile times and supply chain complexity.
At 44KB, sp1-verifier is lightweight. Small crate size correlates with focused, well-scoped functionality.
11% of releases have been yanked. Check version history before pinning.
Notable dependents include sp1-recursion-gnark-ffi, sp1-prover, sp1-sdk, charms-client, zksvm-client. When high-quality crates choose sp1-verifier, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on sp1-verifier
