LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Here is a list of all functions with links to the classes they belong to:
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
X
Y
Z
~
- h -
half() :
llzk::Field
HANDLE() :
llzk::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >
,
llzk::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >
handleBlockArgument() :
llzk::array::CreateArrayOp
,
llzk::pod::NewPodOp
handleDestructuringComplete() :
llzk::array::CreateArrayOp
,
llzk::pod::NewPodOp
handlePromotionComplete() :
llzk::array::CreateArrayOp
,
llzk::pod::NewPodOp
hasAllowConstraintAttr() :
llzk::function::FuncDefOp
hasAllowNonNativeFieldOpsAttr() :
llzk::function::FuncDefOp
hasAllowVerifOpsAttr() :
llzk::function::FuncDefOp
hasAllowWitnessAttr() :
llzk::function::FuncDefOp
hasArgName() :
llzk::function::FuncDefOp
,
llzk::verif::ContractOp
hasArgPublicAttr() :
llzk::function::FuncDefOp
,
llzk::verif::ContractOp
hasChildren() :
llzk::CallGraphNode
,
llzk::SymbolDefTreeNode
hasColumns() :
llzk::component::StructDefOp
,
llzk::component::StructType
hasComputeConstrain() :
llzk::component::StructDefOp
hasConstNamed() :
llzk::polymorphic::TemplateOp
hasConstOps() :
llzk::polymorphic::TemplateOp
hasField() :
llzk::felt::FeltType
,
llzk::IntervalAnalysisContext
hasFuncTarget() :
llzk::verif::ContractOp
hashKey() :
llzk::array::detail::ArrayTypeStorage
,
llzk::component::detail::StructTypeStorage
,
llzk::felt::detail::FeltTypeStorage
,
llzk::pod::detail::PodTypeStorage
,
llzk::polymorphic::detail::TypeVarTypeStorage
,
llzk::smt::detail::ArrayTypeStorage
,
llzk::smt::detail::BitVectorTypeStorage
,
llzk::smt::detail::SMTFuncTypeStorage
,
llzk::smt::detail::SortTypeStorage
hasOverwrites() :
llzk::MemberOverwriteLattice
hasPredecessor() :
llzk::SymbolUseGraphNode
hasPublicAttr() :
llzk::component::MemberDefOp
hasRank() :
llzk::array::ArrayType
hasResName() :
llzk::function::FuncDefOp
hasResult() :
llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >
hasSignals() :
llzk::component::StructDefOp
hasStructTarget() :
llzk::verif::ContractOp
hasSuccessor() :
llzk::SymbolUseGraphNode
hasTemplateSymbolBindings() :
llzk::component::StructDefOp
hasUnreducedInterval() :
llzk::ExpressionValue
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.