maat_prover
v0.17.0crates.io· RustZero knowledge STARK prover and verifier for the Maat programming language
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
7 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0 OR MIT
Dependencies
No runtime dependencies
Recent releases
- 0.17.0this month
- 0.16.0this month
- 0.15.0this month
- 0.14.0this month
- 0.13.1this month
- 0.13.0this month