|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "mlir-c/IR.h"#include "mlir-c/Support.h"Go to the source code of this file.
Functions | |
| MLIR_CAPI_EXPORTED MlirLogicalResult | llzkTranslateModuleToPCL (MlirOperation module, MlirStringCallback callback, void *userData) |
| Translate an operation that satisfies the PCL dialect (i.e. | |
| MLIR_CAPI_EXPORTED MlirLogicalResult llzkTranslateModuleToPCL | ( | MlirOperation | module, |
| MlirStringCallback | callback, | ||
| void * | userData ) |
Translate an operation that satisfies the PCL dialect (i.e.
previously converted with the -llzk-to-pcl pass). The PCL lisp code is written into the provided callback.
If LLZK was compiled without the PCL backend this operation does nothing but return failure.