Constants.cpp File Reference

#include "llzk/Util/Constants.h"
#include "llzk-c/Constants.h"

Include dependency graph for Constants.cpp:

Go to the source code of this file.

Variables
const char *	LLZK_COMPONENT_NAME_SIGNAL = llzk::COMPONENT_NAME_SIGNAL
	Symbol name for the struct/component representing a signal.
const char *	LLZK_COMPONENT_NAME_MAIN = llzk::COMPONENT_NAME_MAIN
	Symbol name for the main entry point struct/component (if any).
const char *	LLZK_FUNC_NAME_COMPUTE = llzk::FUNC_NAME_COMPUTE
	Symbol name for the witness generation (and resp.
const char *	LLZK_FUNC_NAME_CONSTRAIN = llzk::FUNC_NAME_CONSTRAIN
const char *	LLZK_LANG_ATTR_NAME = llzk::LANG_ATTR_NAME
	Name of the attribute on the top-level ModuleOp that specifies the IR language name.

Variable Documentation

LLZK_COMPONENT_NAME_MAIN

const char* LLZK_COMPONENT_NAME_MAIN = llzk::COMPONENT_NAME_MAIN

Symbol name for the main entry point struct/component (if any).

There are additional restrictions on the struct with this name:

1. It cannot have struct parameters.
2. The parameter types of its functions (besides the required "self" parameter) can only be struct<Signal> or array<.. x struct<Signal>>.

Definition at line 15 of file Constants.cpp.

LLZK_COMPONENT_NAME_SIGNAL

const char* LLZK_COMPONENT_NAME_SIGNAL = llzk::COMPONENT_NAME_SIGNAL

Symbol name for the struct/component representing a signal.

A "signal" has direct correspondence to a circom signal or AIR/PLONK column, opposed to intermediate values or other expressions.

Definition at line 14 of file Constants.cpp.

LLZK_FUNC_NAME_COMPUTE

const char* LLZK_FUNC_NAME_COMPUTE = llzk::FUNC_NAME_COMPUTE

Symbol name for the witness generation (and resp.

constraint generation) functions within a component.

Definition at line 16 of file Constants.cpp.

LLZK_FUNC_NAME_CONSTRAIN

const char* LLZK_FUNC_NAME_CONSTRAIN = llzk::FUNC_NAME_CONSTRAIN

Definition at line 17 of file Constants.cpp.

LLZK_LANG_ATTR_NAME

const char* LLZK_LANG_ATTR_NAME = llzk::LANG_ATTR_NAME

Name of the attribute on the top-level ModuleOp that specifies the IR language name.

Definition at line 18 of file Constants.cpp.