Skip to main content

Current
2.15.0
2.5.0
2.4.0

Getting Started
- Welcome
- What is a ZK Constraint System?
Basic Types and Functions
Writing Constraint Systems
ZkApps
Advanced Concepts
Tutorials
API Reference
Changelog

This is documentation for o1Labs Documentation 2.15.0, which is no longer actively maintained.

For up-to-date documentation, see the latest version (Current).

API Reference
namespaces
Experimental
type-aliases
KimchiProof

Version: 2.15.0

KimchiProof

type KimchiProof = KimchiProof_;

Defined in: index.ts:193

KimchiJsonProof

KimchiVerificationKey

Twitter·Discord·GitHub

Copyright © 2026 o1Labs