|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Namespaces | |
| namespace | detail |
Classes | |
| class | GlobalDefOp |
| class | GlobalDefOpAdaptor |
| class | GlobalDefOpGenericAdaptor |
| class | GlobalDialect |
| class | GlobalReadOp |
| class | GlobalReadOpAdaptor |
| class | GlobalReadOpGenericAdaptor |
| class | GlobalRefOpInterface |
| class | GlobalWriteOp |
| class | GlobalWriteOpAdaptor |
| class | GlobalWriteOpGenericAdaptor |
| struct | NormalizedGlobalInitializer |
| A global initializer and its normalized type. More... | |
Functions | |
| mlir::FailureOr< NormalizedGlobalInitializer > | normalizeGlobalInitializer (mlir::Type type, mlir::Attribute value, EmitErrorFn emitError) |
| Normalize unambiguous initializer representations and their declared type. | |
| FailureOr< NormalizedGlobalInitializer > | normalizeGlobalInitializer (Type expectedType, Attribute value, EmitErrorFn emitError) |
| mlir::FailureOr< NormalizedGlobalInitializer > llzk::global::normalizeGlobalInitializer | ( | mlir::Type | type, |
| mlir::Attribute | value, | ||
| EmitErrorFn | emitError ) |
Normalize unambiguous initializer representations and their declared type.
Explicitly conflicting felt fields are preserved so GlobalDefOp verification can reject them without this helper silently choosing one field.
| FailureOr< NormalizedGlobalInitializer > llzk::global::normalizeGlobalInitializer | ( | Type | expectedType, |
| Attribute | value, | ||
| EmitErrorFn | emitError ) |