|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Files | |
| LLZKComputeConstrainToProductPass.cpp | |
| This file implements the -llzk-product-program pass. | |
| LLZKEnforceNoOverwritePass.cpp | |
| This file implements the -llzk-enforce-no-overwrite pass. | |
| LLZKFuseProductLoopsPass.cpp | |
| This file implements the -llzk-fuse-product-loops pass. | |
| LLZKInlineStructsPass.cpp | |
| This file implements the -llzk-inline-structs pass. | |
| LLZKInliningExtensions.cpp | |
| LLZKLoweringUtils.cpp | |
| LLZKPolyLoweringPass.cpp | |
| This file implements the -llzk-poly-lowering pass. | |
| LLZKRedundantOperationEliminationPass.cpp | |
| This file implements the -llzk-duplicate-op-elim pass. | |
| LLZKRedundantReadAndWriteEliminationPass.cpp | |
| This file implements the -llzk-duplicate-read-write-elim pass. | |
| LLZKTransformationPassPipelines.cpp | |
| This file implements logic for registering several pass pipelines. | |
| LLZKUnusedDeclarationEliminationPass.cpp | |
| This file implements the -llzk-unused-declaration-elim pass. | |