Constants.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Variables
const char *	LLZK_FUNC_NAME_COMPUTE
	Symbol name for the witness generation function within a struct/component.
const char *	LLZK_FUNC_NAME_CONSTRAIN
	Symbol name for the constraint generation function within a struct/component.
const char *	LLZK_LANG_ATTR_NAME
	Name of the attribute on the top-level ModuleOp that identifies the ModuleOp as the root module and specifies the frontend language name that the IR was compiled from, if available.
const char *	LLZK_FIELD_ATTR_NAME
	Name of the attribute on the top-level ModuleOp that defines prime fields used in the circuit.
const char *	LLZK_MAIN_ATTR_NAME
	Name of the attribute on the top-level ModuleOp that specifies the type of the main struct.

Variable Documentation

LLZK_FIELD_ATTR_NAME

const char* LLZK_FIELD_ATTR_NAME

extern

Name of the attribute on the top-level ModuleOp that defines prime fields used in the circuit.

LLZK_FUNC_NAME_COMPUTE

const char* LLZK_FUNC_NAME_COMPUTE

extern

Symbol name for the witness generation function within a struct/component.

Definition at line 14 of file Constants.cpp.

LLZK_FUNC_NAME_CONSTRAIN

const char* LLZK_FUNC_NAME_CONSTRAIN

extern

Symbol name for the constraint generation function within a struct/component.

Definition at line 15 of file Constants.cpp.

LLZK_LANG_ATTR_NAME

const char* LLZK_LANG_ATTR_NAME

extern

Name of the attribute on the top-level ModuleOp that identifies the ModuleOp as the root module and specifies the frontend language name that the IR was compiled from, if available.

Definition at line 16 of file Constants.cpp.

LLZK_MAIN_ATTR_NAME

const char* LLZK_MAIN_ATTR_NAME

extern

Name of the attribute on the top-level ModuleOp that specifies the type of the main struct.

This attribute can appear zero or one times on the top-level ModuleOp and is associated with a TypeAttr specifying the StructType of the main struct.

Definition at line 17 of file Constants.cpp.