Oumuamua Labs
Hekate ZK Engine makes post-quantum zero-knowledge proofs on the device that holds the secret. Charon aggregates them on a server. Prove faster, settle lighter.
Pinned Loading
Repositories
Showing 4 of 4 repositories
- hekate Public
Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.
- hekate-mobile Public
Developer tooling that turns a Rust ZK prover crate into a signed .xcframework and .aar carrying a typed Swift / Kotlin surface.
- hekate-math Public
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, and Binius protocols.
Top languages
Loading…
Most used topics
Loading…