Skip to main content

Current
2.5.0
2.4.0

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

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

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

API Reference
type-aliases
BoolVar

Version: 2.5.0

BoolVar

type BoolVar = FieldVar;

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

Twitter·Discord·GitHub

Copyright © 2025 o1Labs