Search 10 packages
| Packages1–10 of 10 | Version | Findings | Description | Downloads | When |
|---|
| hekate-crypto cargo | 0.37.0 | clean | Hash abstraction for the Hekate ZK proving system: Blake3, SHA-256, SHA-3-256. | 1.3K | 17h ago |
| hekate-core cargo | 0.37.0 | clean | Core primitives for the Hekate ZK proving system. | 1.2K | 17h ago |
| 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 | 17h ago |
| hekate-sdk cargo | 0.37.0 | clean | Client SDK for the Hekate ZK proving system: program bundling, wire format, and preflight diagnostics. | 791 | 17h ago |
| hekate-gadgets cargo | 0.37.0 | clean | Base AIR gadgets for the Hekate ZK proving system. | 588 | 17h ago |
| hekate-verifier cargo | 0.37.0 | clean | Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching. | 554 | 17h ago |
| hekate-prover-sys cargo | | not built 0.37.0 did not build | Open-source shim that links the closed-source Hekate prover cdylib over a stable C ABI. | 516 | 17h 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 | 16h 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 | 17h ago |
| hekate-sha2 cargo | 0.3.0 | clean | SHA-256 compression AIR chiplet for the Hekate ZK proving system. | 29 | 17h ago |
