Skip to main content

Current
2.4.0

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

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

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

API Reference
type-aliases
BoolVar

Version: 2.4.0

BoolVar

type BoolVar = FieldVar;

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

Copyright © 2025 o1Labs. Built with Docusaurus.