No description provided.
## Create new version and deploying to artifactory
- You can publish manually: 1. After made changes in the library you need to build new version, pack and deploy it to artifactory. 2. Install all dependencies from project hekate-artifactory. 3. Run script from package json: - Update ve
Ｄｏｗｎｌｏａｄ ｅｂｏｏｋ ｐｄｆ ｍｏｂｉ ｅｐｕｂ Dan Abnett Titan is available now
A high-performance, constant-time implementation of binary tower fields (F(2^k)) optimized for GKR-based provers, Virgo, and Binius protocols.
Open-source shim that links the closed-source Hekate prover cdylib over a stable C ABI.
Client SDK for the Hekate ZK proving system: program bundling, wire format, and preflight diagnostics.
AES-128 / AES-256 AIR chiplet for the Hekate ZK proving system.
Core primitives for the Hekate ZK proving system.
Hash abstraction for the Hekate ZK proving system: Blake3, SHA-256, SHA-3-256.
Base AIR gadgets for the Hekate ZK proving system.
Keccak-f[1600] AIR chiplet with SHA-3 and SHAKE sponges for the Hekate ZK proving system.
Post-quantum AIR chiplets for the Hekate ZK proving system: ML-KEM, ML-DSA, NTT, Basemul, HighBits, NormCheck.
AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring.
Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching.
Trace mutation fuzzer for Hekate ZK programs and chiplets. Tampers valid traces and asserts preflight catches every mutation.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.