Search 5 packages
| Packages1–5 of 5 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| hekate-program cargo | 0.37.0 | clean | AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring. | 1.2K | 18h ago |
| hekate-gadgets cargo | 0.37.0 | clean | Base AIR gadgets for the Hekate ZK proving system. | 588 | 18h ago |
| hekate-keccak cargo | 0.10.0 | clean | Keccak-f[1600] AIR chiplet with SHA-3 and SHAKE sponges for the Hekate ZK proving system. | 406 | 17h ago |
| hekate-scribble cargo | 0.37.0 | clean | Trace mutation fuzzer for Hekate ZK programs and chiplets. Tampers valid traces and asserts preflight catches every mutation. | 296 | 18h ago |
| hekate-sha2 cargo | 0.3.0 | clean | SHA-256 compression AIR chiplet for the Hekate ZK proving system. | 29 | 18h ago |