Pinned Loading

1. zk-scribble zk-scribble Public

   Trace mutation fuzzer for Hekate ZK programs and chiplets. Tampers your valid trace, runs preflight checks, panics if the tamper goes undetected.

   Rust

2. oumuamua-labs/hekate oumuamua-labs/hekate Public

   Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.

   Rust 8

3. oumuamua-labs/hekate-math oumuamua-labs/hekate-math Public

   A high-performance, constant-time implementation of binary tower fields (F(2^k)) optimized for Sumcheck-based provers and Binius protocols.

   Rust 5

4. oumuamua-labs/hekate-pqc oumuamua-labs/hekate-pqc Public

   Post-quantum AIR chiplets for the Hekate ZK proving system. Implements ML-KEM (Kyber) decapsulation and ML-DSA (Dilithium) signature verification natively in binary fields.

   Rust

5. oumuamua-labs/hekate-aes oumuamua-labs/hekate-aes Public

   AES-128 / AES-256 AIR chiplet for the Hekate ZK proving system.

   Rust

6. actix-csrf-middleware actix-csrf-middleware Public

   CSRF protection middleware for Actix Web. Supports double submit cookie and synchronizer token patterns (with actix-session).

   Rust 4 2