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
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
Z
~
- r -
read() :
llzk::LLZKDialectVersion
,
llzk::polymorphic::detail::DiscoveryStorage
ReadArrayOpAdaptor() :
llzk::array::ReadArrayOpAdaptor
ReadArrayOpBuildFuncHelper() :
ReadArrayOpBuildFuncHelper
ReadArrayOpGenericAdaptor() :
llzk::array::ReadArrayOpAdaptor
,
llzk::array::ReadArrayOpGenericAdaptor< RangeT >
ReadArrayOpGenericAdaptorBase() :
llzk::array::detail::ReadArrayOpGenericAdaptorBase
ReadPodOpAdaptor() :
llzk::pod::ReadPodOpAdaptor
ReadPodOpBuildFuncHelper() :
ReadPodOpBuildFuncHelper
ReadPodOpGenericAdaptor() :
llzk::pod::ReadPodOpAdaptor
,
llzk::pod::ReadPodOpGenericAdaptor< RangeT >
ReadPodOpGenericAdaptorBase() :
llzk::pod::detail::ReadPodOpGenericAdaptorBase
readProperties() :
llzk::array::CreateArrayOp
,
llzk::boolean::AssertOp
,
llzk::boolean::CmpOp
,
llzk::cast::FeltToIndexOp
,
llzk::cast::IntToFeltOp
,
llzk::component::MemberDefOp
,
llzk::component::MemberReadOp
,
llzk::component::MemberWriteOp
,
llzk::component::StructDefOp
,
llzk::felt::FeltConstantOp
,
llzk::function::CallOp
,
llzk::function::FuncDefOp
,
llzk::global::GlobalDefOp
,
llzk::global::GlobalReadOp
,
llzk::global::GlobalWriteOp
,
llzk::include::IncludeOp
,
llzk::pod::NewPodOp
,
llzk::pod::ReadPodOp
,
llzk::pod::WritePodOp
,
llzk::polymorphic::ApplyMapOp
,
llzk::polymorphic::ConstReadOp
,
llzk::polymorphic::TemplateExprOp
,
llzk::polymorphic::TemplateOp
,
llzk::polymorphic::TemplateParamOp
,
llzk::smt_info::SMTInfoSetOp
,
llzk::string::LitStringOp
,
llzk::verif::ContractOp
,
llzk::verif::IncludeOp
,
llzk::verif::InvariantOp
readVersion() :
llzk::LLZKDialectBytecodeInterface< DialectTy >
record() :
llzk::MemberOverwriteLattice
reduce() :
llzk::Field
,
llzk::UnreducedInterval
RedundantOperationEliminationPassBase() :
llzk::impl::RedundantOperationEliminationPassBase< DerivedT >
RedundantReadAndWriteEliminationPassBase() :
llzk::impl::RedundantReadAndWriteEliminationPassBase< DerivedT >
referenceMember() :
llzk::SourceRefLatticeValue
referencePodRecord() :
llzk::SourceRefLatticeValue
RefValueCapture() :
llzk::RefValueCapture
registerAttributes() :
llzk::smt_info::SMTInfoDialect
remove() :
llzk::FuzzySet
,
llzk::SourceRefLatticeValue
removeArgAttrsAttr() :
llzk::function::CallOp
,
llzk::function::FuncDefOp
,
llzk::LLZKCallLikeOpInterface
,
llzk::verif::ContractOp
,
llzk::verif::IncludeOp
removeBlockingUses() :
llzk::array::ReadArrayOp
,
llzk::array::WriteArrayOp
,
llzk::pod::ReadPodOp
,
llzk::pod::WritePodOp
removeColumnAttr() :
llzk::component::MemberDefOp
removeConstantAttr() :
llzk::global::GlobalDefOp
,
llzk::global::GlobalReadOp
removeMsgAttr() :
llzk::boolean::AssertOp
removeResAttrsAttr() :
llzk::function::CallOp
,
llzk::function::FuncDefOp
,
llzk::LLZKCallLikeOpInterface
,
llzk::verif::ContractOp
,
llzk::verif::IncludeOp
removeSignalAttr() :
llzk::component::MemberDefOp
removeTableOffsetAttr() :
llzk::component::MemberReadOp
removeTemplateParamsAttr() :
llzk::function::CallOp
,
llzk::verif::IncludeOp
removeTypeOptAttr() :
llzk::polymorphic::TemplateParamOp
RemoveUnusedDiscardableAllocationsPassBase() :
llzk::impl::RemoveUnusedDiscardableAllocationsPassBase< DerivedT >
replaceAllSymbolUses() :
llzk::polymorphic::TemplateSymbolBindingOpInterface
,
llzk::verif::ContractTargetOpInterface
replacePrefixes() :
llzk::SourceRefLatticeValue
replacePrefixesScalar() :
llzk::SourceRefLatticeValue
report() :
llzk::InFlightDiagnosticWrapper
RequireComputeOpAdaptor() :
llzk::verif::RequireComputeOpAdaptor
RequireComputeOpBuildFuncHelper() :
RequireComputeOpBuildFuncHelper
RequireComputeOpGenericAdaptor() :
llzk::verif::RequireComputeOpAdaptor
,
llzk::verif::RequireComputeOpGenericAdaptor< RangeT >
RequireComputeOpGenericAdaptorBase() :
llzk::verif::detail::RequireComputeOpGenericAdaptorBase
RequireConstrainOpAdaptor() :
llzk::verif::RequireConstrainOpAdaptor
RequireConstrainOpBuildFuncHelper() :
RequireConstrainOpBuildFuncHelper
RequireConstrainOpGenericAdaptor() :
llzk::verif::RequireConstrainOpAdaptor
,
llzk::verif::RequireConstrainOpGenericAdaptor< RangeT >
RequireConstrainOpGenericAdaptorBase() :
llzk::verif::detail::RequireConstrainOpGenericAdaptorBase
resolve() :
llzk::polymorphic::StructSpecializationResolver
resolveCallable() :
llzk::CallGraph
,
llzk::function::CallOp
,
llzk::LLZKCallLikeOpInterface
,
llzk::verif::IncludeOp
resolveCallableInTable() :
llzk::function::CallOp
,
llzk::LLZKCallLikeOpInterface
,
llzk::verif::IncludeOp
ReturnOpAdaptor() :
llzk::function::ReturnOpAdaptor
ReturnOpBuildFuncHelper() :
ReturnOpBuildFuncHelper
ReturnOpGenericAdaptor() :
llzk::function::ReturnOpAdaptor
,
llzk::function::ReturnOpGenericAdaptor< RangeT >
ReturnOpGenericAdaptorBase() :
llzk::function::detail::ReturnOpGenericAdaptorBase
rewire() :
llzk::array::ArrayAccessOpInterface
,
llzk::array::ReadArrayOp
,
llzk::array::WriteArrayOp
,
llzk::pod::PodAccessOpInterface
,
llzk::pod::ReadPodOp
,
llzk::pod::WritePodOp
rhs() :
llzk::Interval
root() :
llzk::Within
roots_begin() :
llzk::SymbolUseGraph
roots_end() :
llzk::SymbolUseGraph
rootsIter() :
llzk::SymbolUseGraph
run() :
llzk::witgen::FunctionInterpreter
runAnalysis() :
llzk::ConstraintDependencyGraphStructAnalysis
,
llzk::ModuleAnalysis< Result, Context, StructAnalysisTy >
,
llzk::StructAnalysis< Result, Context >
,
llzk::StructIntervalAnalysis
runIntraproceduralAnalysis() :
llzk::CDGAnalysisContext
runMainFromJSON() :
llzk::witgen::Interpreter
runOnOperation() :
llzk::detail::RemoveDeadValuesWorkaroundPass
,
llzk::SpecializedMem2Reg< AllocOpTy >
,
llzk::SpecializedSROA< AllocOpTy >
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.