# Primitives

> Hekate chiplets that prove ML-DSA, ML-KEM, AES, Keccak-f[1600], SHA-256 and RSA-2048 PKCS#1 v1.5 inside zero-knowledge proofs over binary tower fields.

- URL: https://oumuamua.dev/primitives
- Published: 2026-10-03T10:49:16+07:00
- Updated: 2026-10-04T18:28:41+07:00

A primitive is a chiplet, an AIR table or a pipeline of them that a [Hekate](https://oumuamua.dev/hekate) program attaches to prove a
cryptographic operation inside a zero-knowledge proof, or the binary tower field arithmetic the Hekate engine and its
chiplets compute in. Hekate proves over those fields with sumcheck and Brakedown commitments, at 100 bits of soundness.
The chiplet crates are open source under AGPL-3.0-only, and `hekate-math` under Apache-2.0.

Chiplets compose over LogUp buses. The RSA chiplet hashes through the SHA-256 chiplet, and the ML-DSA and ML-KEM
pipelines hash through Keccak. The host program decides which values a proof publishes; each page lists what its
example programs publish and what stays in the witness.

None of the crates has been audited. Commercial licenses for the chiplet crates are available from Oumuamua Labs at
[info@oumuamua.dev](mailto:info@oumuamua.dev).