|
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 (Constrain, llzk__constrain) | |
| Get reference to the LLZK constrain dialect. | |
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | Constrain | , |
| llzk__constrain | ) |
Get reference to the LLZK constrain dialect.