|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Functions | |
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Cast, llzk__cast) | |
| Get reference to the LLZK cast dialect. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Cast, IntToFeltOp, WithType, MlirType feltType, MlirValue value) | |
| Creates a IntToFeltOp from an input value with the specified result FeltType. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Cast | , |
| IntToFeltOp | , | ||
| WithType | , | ||
| MlirType | feltType, | ||
| MlirValue | value ) |
Creates a IntToFeltOp from an input value with the specified result FeltType.
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | Cast | , |
| llzk__cast | ) |
Get reference to the LLZK cast dialect.