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 class members 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
~
- b -
backend :
llzk::witgen::WitgenOptions
Base :
llvm::cl::parser< llzk::NestedPassOptions< CreatePass > >
,
llvm::cl::parser< llzk::NestedPipelineOptions< PipelineOptionsT > >
,
llzk::array::impl::ArrayToScalarPassBase< DerivedT >
,
llzk::array::impl::StraightLineStaticArrayPromotionPassBase< DerivedT >
,
llzk::boolean::impl::LowerBoolQuantifiersPassBase< DerivedT >
,
llzk::component::impl::ExposeChildMembersPassBase< DerivedT >
,
llzk::component::impl::InlineStructsPassBase< DerivedT >
,
llzk::global::impl::ConstGlobalPropagationPassBase< DerivedT >
,
llzk::impl::CallGraphPrinterPassBase< DerivedT >
,
llzk::impl::CallGraphSCCsPrinterPassBase< DerivedT >
,
llzk::impl::ComputeConstrainToProductPassBase< DerivedT >
,
llzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT >
,
llzk::impl::EnforceNoMemberOverwritePassBase< DerivedT >
,
llzk::impl::FuseProductControlFlowPassBase< DerivedT >
,
llzk::impl::InlineFreeFunctionsPassBase< DerivedT >
,
llzk::impl::IntervalAnalysisPrinterPassBase< DerivedT >
,
llzk::impl::MemberWriteValidatorPassBase< DerivedT >
,
llzk::impl::PolyLoweringPassBase< DerivedT >
,
llzk::impl::PredecessorPrinterPassBase< DerivedT >
,
llzk::impl::RedundantOperationEliminationPassBase< DerivedT >
,
llzk::impl::RedundantReadAndWriteEliminationPassBase< DerivedT >
,
llzk::impl::RemoveUnusedDiscardableAllocationsPassBase< DerivedT >
,
llzk::impl::SymbolDefTreePrinterPassBase< DerivedT >
,
llzk::impl::SymbolUseGraphPrinterPassBase< DerivedT >
,
llzk::impl::UnusedDeclarationEliminationPassBase< DerivedT >
,
llzk::impl::WhileToForPassBase< DerivedT >
,
llzk::include::impl::InlineIncludesPassBase< DerivedT >
,
llzk::pod::impl::PodToScalarPassBase< DerivedT >
,
llzk::polymorphic::impl::ConstraintFlatteningPassBase< DerivedT >
,
llzk::polymorphic::impl::EmptyTemplateRemovalPassBase< DerivedT >
,
llzk::polymorphic::impl::FlatteningPassBase< DerivedT >
,
llzk::polymorphic::impl::TemplateMonomorphizationPassBase< DerivedT >
,
llzk::polymorphic::impl::TypeVarInferencePassBase< DerivedT >
,
llzk::polymorphic::impl::WildcardArraySpecializationPassBase< DerivedT >
,
llzk::PredecessorAnalysis
,
llzk::SourceRefAnalysis
BaseBuilder() :
llzk::BaseBuilder
begin() :
llzk::CallGraph
,
llzk::CallGraphNode
,
llzk::SymbolDefTree
,
llzk::SymbolDefTreeNode
,
llzk::SymbolUseGraph
Bindings :
llzk::polymorphic::detail::StructSpecializationDiscovery
bitAnd :
llzk::ExpressionValue
bitOr :
llzk::ExpressionValue
bitWidth() :
llzk::Field
bitXor :
llzk::ExpressionValue
block :
MlirOpBuilderInsertPoint
boolAnd :
llzk::ExpressionValue
,
llzk::Interval
Boolean() :
llzk::Interval
boolNot :
llzk::ExpressionValue
,
llzk::Interval
boolOr :
llzk::ExpressionValue
,
llzk::Interval
boolXor :
llzk::ExpressionValue
,
llzk::Interval
build() :
llzk::array::ArrayLengthOp
,
llzk::array::CreateArrayOp
,
llzk::array::ExtractArrayOp
,
llzk::array::InsertArrayOp
,
llzk::array::ReadArrayOp
,
llzk::array::WriteArrayOp
,
llzk::boolean::AndBoolOp
,
llzk::boolean::AssertOp
,
llzk::boolean::CmpOp
,
llzk::boolean::ExistsOp
,
llzk::boolean::ForAllOp
,
llzk::boolean::NotBoolOp
,
llzk::boolean::OrBoolOp
,
llzk::boolean::XorBoolOp
,
llzk::boolean::YieldOp
,
llzk::cast::FeltToIndexOp
,
llzk::cast::IntToFeltOp
,
llzk::component::CreateStructOp
,
llzk::component::MemberDefOp
,
llzk::component::MemberReadOp
,
llzk::component::MemberWriteOp
,
llzk::component::StructDefOp
,
llzk::constrain::EmitContainmentOp
,
llzk::constrain::EmitEqualityOp
,
llzk::felt::AddFeltOp
,
llzk::felt::AndFeltOp
,
llzk::felt::DivFeltOp
,
llzk::felt::FeltConstantOp
,
llzk::felt::InvFeltOp
,
llzk::felt::MulFeltOp
,
llzk::felt::NegFeltOp
,
llzk::felt::NotFeltOp
,
llzk::felt::OrFeltOp
,
llzk::felt::PowFeltOp
,
llzk::felt::ShlFeltOp
,
llzk::felt::ShrFeltOp
,
llzk::felt::SignedIntDivFeltOp
,
llzk::felt::SignedModFeltOp
,
llzk::felt::SubFeltOp
,
llzk::felt::UnsignedIntDivFeltOp
,
llzk::felt::UnsignedModFeltOp
,
llzk::felt::XorFeltOp
,
llzk::function::CallOp
,
llzk::function::FuncDefOp
,
llzk::function::ReturnOp
,
llzk::global::GlobalDefOp
,
llzk::global::GlobalReadOp
,
llzk::global::GlobalWriteOp
,
llzk::include::IncludeOp
,
llzk::NonDetOp
,
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::polymorphic::UnifiableCastOp
,
llzk::polymorphic::YieldOp
,
llzk::ram::LoadOp
,
llzk::ram::StoreOp
,
llzk::smt_info::SMTInfoSetOp
,
llzk::string::LitStringOp
,
llzk::verif::AssumeDetOp
,
llzk::verif::ContractEndOp
,
llzk::verif::ContractOp
,
llzk::verif::DecreasesOp
,
llzk::verif::EnsureComputeOp
,
llzk::verif::EnsureConstrainOp
,
llzk::verif::IncludeOp
,
llzk::verif::IncreasesOp
,
llzk::verif::InvariantOp
,
llzk::verif::OldOp
,
llzk::verif::ProveDetOp
,
llzk::verif::RequireComputeOp
,
llzk::verif::RequireConstrainOp
,
llzk::verif::StepOp
,
llzk::verif::StepYieldOp
,
llzk::verif::VerifAssertOp
,
llzk::verif::VerifProveOp
,
llzk::verif::VerifSMTProveOp
buildComputeFn() :
llzk::ModuleLikeBuilder< Derived >
buildConstrainFn() :
llzk::ModuleLikeBuilder< Derived >
buildProductFn() :
llzk::ModuleLikeBuilder< Derived >
bytes() :
llzk::BinaryBuffer
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.