hekate-program
v0.28.0crates.io· RustAIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring.
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
23 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
- 0.28.0this month
- 0.27.6this month
- 0.27.5this month
- 0.27.4this month
- 0.27.3this month
- 0.27.2this month
- 0.27.1this month
- 0.27.0this month