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
variables
provable

Version: 2.15.0

provable

provable: ProvableConstructor<Field>;

Defined in: lib/provable/types/provable-derivers.ts:73

memoizationContext

Twitter·Discord·GitHub

Copyright © 2026 o1Labs