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.

Does miden-prover have known vulnerabilities?

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

Is miden-prover deprecated?

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

What are alternatives to miden-prover?

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

What license does miden-prover use?

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

miden-prover

cargov0.22.2

Miden VM prover

License MIT OR Apache-2.0permissive47 versions0 deps81,525 weekly dl

0xMiden/miden-vm

/ 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

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

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

miden-prover

cargov0.22.2

Miden VM prover

License MIT OR Apache-2.0permissive47 versions0 deps81,525 weekly dl

0xMiden/miden-vm

/ 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

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

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