Is miden-prover safe to use?

miden-prover has no known vulnerabilities on the latest version (0.22.2). DepScope rates its health at 72/100 (moderate risk).

What is the latest version of miden-prover?

The latest version of miden-prover is 0.22.2, released 2026-04-29.

No known vulnerabilities on the latest version of miden-prover.

No, miden-prover is actively maintained. Latest release: 0.22.2 (2026-04-29).

Popular alternatives to miden-prover in Cargo include: hashbrown, getrandom, windows-sys, syn, rand_core.

miden-prover is licensed under MIT OR Apache-2.0.

cargov0.22.2

Miden VM prover

License MIT OR Apache-2.0permissive47 versions0 deps80,691 weekly dl

/ 100

Health

safe to use

[email protected] is safe to use (health: 72/100)

Health breakdown0 – 100

25/25

maintenance

10/20

popularity

25/25

security

12/15

maturity

0/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/miden-prover