LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Interpreter.h File Reference
#include "ValueModel.h"
#include "llzk/Dialect/Function/IR/Ops.h"
#include <mlir/IR/BuiltinOps.h>
#include <llvm/ADT/SmallVector.h>
#include <random>
Include dependency graph for Interpreter.h:
This graph shows which files directly or indirectly include this file:

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