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
~
- b -
BaseBuilder() :
llzk::BaseBuilder
begin() :
llzk::CallGraph
,
llzk::CallGraphNode
,
llzk::SymbolDefTree
,
llzk::SymbolDefTreeNode
,
llzk::SymbolUseGraph
bitWidth() :
llzk::Field
Boolean() :
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.