llzk::witgen::Interpreter Class Reference

Drive witness generation for the concrete llzk.main instance. More...

#include <WitgenDriver.h>

Public Member Functions
	Interpreter (mlir::ModuleOp moduleOp, mlir::SymbolTableCollection &tables, const llzk::Field &field, UninitializedBehavior uninitializedBehavior, std::mt19937_64 rng)
	Build a driver for one parsed module and validated field.
void	setOutputScope (OutputScope newOutputScope)
	Select which witness JSON scope this interpreter emits.
llvm::Expected< llvm::json::Value >	runMainFromJSON (const llvm::json::Value &input)
	Execute the main compute() function using JSON inputs.

Detailed Description

Drive witness generation for the concrete llzk.main instance.

Definition at line 51 of file WitgenDriver.h.

Constructor & Destructor Documentation

Interpreter()

llzk::witgen::Interpreter::Interpreter	(	mlir::ModuleOp	moduleOp,
		mlir::SymbolTableCollection &	tables,
		const llzk::Field &	field,
		UninitializedBehavior	uninitializedBehavior,
		std::mt19937_64	rng )

Build a driver for one parsed module and validated field.

Build a driver around one parsed module and field.

Definition at line 53 of file WitgenDriver.cpp.

Member Function Documentation

runMainFromJSON()

llvm::Expected< llvm::json::Value > llzk::witgen::Interpreter::runMainFromJSON

(

const llvm::json::Value &

input

)

Execute the main compute() function using JSON inputs.

Execute the concrete llzk.main compute function and serialize the selected witness scope.

Definition at line 110 of file WitgenDriver.cpp.

setOutputScope()

void llzk::witgen::Interpreter::setOutputScope ( OutputScope newOutputScope )

inline

Select which witness JSON scope this interpreter emits.

Definition at line 60 of file WitgenDriver.h.

---

The documentation for this class was generated from the following files:

• tools/llzk-witgen/WitgenDriver.h
• tools/llzk-witgen/WitgenDriver.cpp