Skip to content

Proving Stack

Hekate ZK EngineRust ZK Toolkit for MobileSwift · Kotlin Charon ZK EngineSaaS

Primitives

Digital signatures ML-DSA Verification RSA-2048 PKCS#1 v1.5 Verification Hashing Keccak-f[1600] SHA-256 Encryption and key exchange ML-KEM Sender / Receiver AES-128 and AES-256 Encryption Math Binary Tower Fields

Blog About

Proving Stack Hekate ZK Engine ZK Toolkit for Mobile Charon ZK Engine Primitives ML-DSA Verification RSA-2048 PKCS#1 v1.5 Verification Keccak-f[1600] SHA-256 ML-KEM Sender / Receiver AES-128 and AES-256 Encryption Binary Tower Fields

Blog About

info@oumuamua.dev

Hekate ZK Engine menu

Hekate ZK Engine

Documentation
Benchmarks
Releases
Pricing
GitHub

Getting Started

Installation
Your First ZK Program

Basics

System Architecture
Prover Engine
AIR Constraints
Execution Trace
Verifier Logic
LogUp Buses
Cryptographic Chiplets
Preflight
Proof Generation
ZK Programs
Benchmarks and Testing

Advanced

PIOP Protocol
Zero Knowledge
Advanced Cryptography
PQ Cryptography
Soundness and Security
Virtual Packing
Content Binding

Hekate ZK Engine

Documentation
Benchmarks
Releases
Pricing
GitHub

Getting Started

Installation
Your First ZK Program

Basics

System Architecture
Prover Engine
AIR Constraints
Execution Trace
Verifier Logic
LogUp Buses
Cryptographic Chiplets
Preflight
Proof Generation
ZK Programs
Benchmarks and Testing

Advanced

PIOP Protocol
Zero Knowledge
Advanced Cryptography
PQ Cryptography
Soundness and Security
Virtual Packing
Content Binding

Hekate ZK Engine
Documentation
Advanced
Virtual Packing

Virtual Packing

Work in progress. This page is not yet written.

← Documentation index

Previous Soundness and Security Advanced Next Content Binding Advanced

Oumuamua Labs is a cryptography lab focused on privacy. We build Hekate to generate zero-knowledge proofs on mobile and edge, and Charon to aggregate them.

Blog About

Proving Stack Hekate ZK Engine ZK Toolkit for Mobile Charon ZK Engine

Primitives ML-DSA Verification RSA-2048 PKCS#1 v1.5 Verification Keccak-f[1600] SHA-256 ML-KEM Sender / Receiver AES-128 and AES-256 Encryption Binary Tower Fields

llms.txt sitemap.xml feed.xml

Copyright © 2026 Oumuamua Labs Build cfc075883e41