LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Dialect → Util Relation
File in include/llzk/Dialect
Includes file in include/llzk/Util
Array
/
IR
/
Ops.h
TypeHelper.h
Array
/
IR
/
Types.h
ErrorHelper.h
Felt
/
IR
/
Types.h
Field.h
Function
/
IR
/
Ops.h
Constants.h
Function
/
IR
/
Ops.h
SymbolHelper.h
Global
/
IR
/
Ops.h
SymbolLookup.h
LLZK
/
IR
/
AttributeHelper.h
DynamicAPIntHelper.h
LLZK
/
IR
/
AttributeHelper.h
StreamHelper.h
LLZK
/
IR
/
Versioning.h
DynamicAPIntHelper.h
Struct
/
IR
/
Types.h
SymbolLookup.h
Struct
/
IR
/
Types.h
TypeHelper.h
Verif
/
IR
/
OpInterfaces.h
TypeHelper.h
Verif
/
IR
/
OpInterfaces.h
Walk.h
Verif
/
IR
/
Ops.h
TypeHelper.h
Shared
/
CallLikeOpInterfaces.h
SymbolHelper.h
Shared
/
KnownTargetVerifier.h
Compare.h
Shared
/
KnownTargetVerifier.h
ErrorHelper.h
Shared
/
KnownTargetVerifier.h
SymbolLookup.h
Shared
/
KnownTargetVerifier.h
SymbolTableLLZK.h
Shared
/
KnownTargetVerifier.h
TypeHelper.h
Shared
/
OpHelpers.h
AffineHelper.h
Shared
/
OpHelpers.h
Constants.h
Shared
/
OpHelpers.h
ErrorHelper.h
Shared
/
OpHelpers.h
TypeHelper.h
POD
/
Transforms
/
TransformationPasses.h
Walk.h
Cast
/
Util
/
OverflowSemantics.h
Field.h
include
llzk
Dialect
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.