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
type-aliases
BoolVar

Version: 2.15.0

BoolVar

type BoolVar = FieldVar;

Defined in: lib/provable/bool.ts:13

Twitter·Discord·GitHub

Copyright © 2026 o1Labs