Products

Hekate ZK Engine ZK Toolkit for iOS & Android Zero-Knowledge Machine Learning PQ Crypto Suite Proof Compression Styx zkVM

About

Documentation menu

Getting Started
- Installation
- Your First ZK Program
Basics
- System Architecture
- Prover Engine
- Verifier Logic
- Execution Trace
- AIR Constraints
- PIOP Protocol
- Permutation Checks
- Cryptographic Chiplets
- Preflight
- Proof Generation
- ZK Programs
- Benchmarks and Testing
Advanced

Verifier Logic

Work in progress. This page is not yet written.

← Previous Next →

Build f27e7a1143a6