Search 13 packages
Found
detections shipping vulnerabilities yanked Build behaviour
fetched outside the registry undeclared fetch fetch went into the output linked a downloaded binary read credentials connected outside the registry
Packages 1–13 of 13 Version Findings Description Downloads When hekate-math cargo 0.12.1 clean Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers,… 1.8K 14h ago hekate-crypto cargo 0.37.0 clean Hash abstraction for the Hekate ZK proving system: Blake3, SHA-256, SHA-3-256. 1.3K 3d ago hekate-core cargo 0.37.0 clean Core primitives for the Hekate ZK proving system. 1.2K 3d 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 3d ago hekate-sdk cargo 0.37.0 clean Client SDK for the Hekate ZK proving system: program bundling, wire format, and preflight diagnostics. 791 3d ago hekate-gadgets cargo 0.37.0 clean Base AIR gadgets for the Hekate ZK proving system. 588 3d 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 3d 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 3d 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 3d 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 3d ago hekate-sha2 cargo 0.3.0 clean SHA-256 compression AIR chiplet for the Hekate ZK proving system. 29 3d ago syntheka cargo 0.0.1 clean Syntheka brand namespace placeholder (reserved). Do not depend on this crate. 7 2d ago openreadout-ephys cargo 0.2.0 clean Readers for electrophysiology recorders without a crate of their own, part of OpenReadout 12 3h ago
