|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "ValueModel.h"#include "llzk/Dialect/Function/IR/Ops.h"#include <mlir/IR/BuiltinOps.h>#include <llvm/ADT/SmallVector.h>#include <random>Go to the source code of this file.
Classes | |
| class | llzk::witgen::FunctionInterpreter |
| Execute one flattened LLZK function body over runtime values. More... | |
Namespaces | |
| namespace | llzk |
| namespace | llzk::witgen |