rustio rustio.net
48

provekit_acvm_blackbox_solver

v1.0.0-beta.11-alpha.1 Experimental

A solver for the blackbox functions found in ACIR and Brillig

MIT OR Apache-2.0 Edition 2024 MSRV 1.85.0

Quick Verdict

  • โœ“Actively maintained (updated 46d ago)
  • โœ“Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
8.4K
Dependents
7
Releases
2
Size
23KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

7.2K downloads in the last 30 days (240/day), up 451% from the previous period.

๐Ÿ“
Compact crate

At 23KB, provekit_acvm_blackbox_solver is lightweight. Small crate size correlates with focused, well-scoped functionality.

๐ŸŒŸ
Used by top crates

Notable dependents include provekit_brillig_vm, provekit_acvm, provekit_bn254_blackbox_solver. When high-quality crates choose provekit_acvm_blackbox_solver, it's a strong quality signal.

Health Breakdown

Maintenance 11/25

Recency, release consistency, active ratio

Quality 17/25

Yanked ratio, deps, size, maturity, features

Community 3/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
94/day avg
02004006002/263/164/34/215/95/26

Top Dependents

Version Adoption

v1.0.0-beta.11-alpha.1
100%
v1.0.0-beta.11-alpha
0%

Release Timeline

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

Feature Flags

bn254bls12_381

README

Loading README...

Maintainers

Dependencies
13
direct dependencies
Dependents
7
crates depend on provekit_acvm_blackbox_solver