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_FUNC_NAME_PRODUCT
	Symbol name for the product program 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.
const char *	LLZK_FUNCTION_ARG_NAME_ATTR_NAME
	Name of the attribute on function arguments that stores source-level argument names.
const char *	LLZK_FUNCTION_RES_NAME_ATTR_NAME
	Name of the attribute on function results that stores source-level result names.

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.

Definition at line 20 of file Constants.cpp.

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 16 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 17 of file Constants.cpp.

LLZK_FUNC_NAME_PRODUCT

const char* LLZK_FUNC_NAME_PRODUCT

extern

Symbol name for the product program function within a struct/component.

Definition at line 18 of file Constants.cpp.

LLZK_FUNCTION_ARG_NAME_ATTR_NAME

const char* LLZK_FUNCTION_ARG_NAME_ATTR_NAME

extern

Name of the attribute on function arguments that stores source-level argument names.

Definition at line 22 of file Constants.cpp.

LLZK_FUNCTION_RES_NAME_ATTR_NAME

const char* LLZK_FUNCTION_RES_NAME_ATTR_NAME

extern

Name of the attribute on function results that stores source-level result names.

Definition at line 23 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 19 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 21 of file Constants.cpp.