LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Transforms Directory Reference
Directory dependency graph for Transforms:

Files

 		LowerBoolQuantifiersPass.cpp
 This file implements the -llzk-lower-bool-quantifiers pass.