rustio rustio.net
52

stwo-cairo-prover

v1.3.0 Experimental

STARK prover for Cairo programs using the Stwo proving system

Apache-2.0 Edition 2021

Quick Verdict

  • โœ“Actively maintained (updated 18d ago)
  • !Heavy dependency tree (33 direct deps)
  • โœ“Permissive license (Apache-2.0)

Security

Checking security advisories...
Downloads
1.6K
Dependents
10
Releases
7
Size
447KB

Deep Insights

๐Ÿ“‰
Download decline

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

๐Ÿ“ฆ
Heavy dependency tree

33 direct dependencies. Consider the impact on compile times and supply chain complexity.

๐ŸŒŸ
Used by top crates

Notable dependents include stwo-run-and-prove, stwo-circuit-prover, stwo-circuit-cairo-verifier, stwo-cairo-dev-utils, stwo-privacy-prove. When high-quality crates choose stwo-cairo-prover, it's a strong quality signal.

Health Breakdown

Maintenance 18/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg
04/275/156/26/207/87/25

Top Dependents

Version Adoption

v1.1.0
51%
v1.2.2
26%
v1.0.1
11%
v1.0.0
6%
v1.3.0
6%

Release Timeline

7 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
7
Less
More

Feature Flags

nightlyslow-testsrelation-tracker

README

Loading README...

Maintainers

Dependencies
33
direct dependencies
Dependents
10
crates depend on stwo-cairo-prover