LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Constants.h
Go to the documentation of this file.
1//===-- Constants.h - LLZK constants ------------------------------*- C -*-===//
2//
3// Part of the LLZK Project, under the Apache License v2.0.
4// See LICENSE.txt for license information.
5// Copyright 2025 Veridise Inc.
6// SPDX-License-Identifier: Apache-2.0
7//
8//===----------------------------------------------------------------------===//
9//
10// This header declares string constants used by LLZK. The actual values are defined in
11// llzk/Utils/Constants.h
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLZK_C_CONSTANTS_H
16#define LLZK_C_CONSTANTS_H
17
18#ifdef __cplusplus
19extern "C" {
20#endif
21
23extern const char *LLZK_FUNC_NAME_COMPUTE;
24
26extern const char *LLZK_FUNC_NAME_CONSTRAIN;
27
29extern const char *LLZK_FUNC_NAME_PRODUCT;
30
34extern const char *LLZK_LANG_ATTR_NAME;
35
38extern const char *LLZK_FIELD_ATTR_NAME;
39
43extern const char *LLZK_MAIN_ATTR_NAME;
44
46extern const char *LLZK_FUNCTION_ARG_NAME_ATTR_NAME;
47
49extern const char *LLZK_FUNCTION_RES_NAME_ATTR_NAME;
50
51#ifdef __cplusplus
52}
53#endif
54
55#endif // LLZK_C_CONSTANTS_H
LLZK_FUNCTION_ARG_NAME_ATTR_NAME
const char * LLZK_FUNCTION_ARG_NAME_ATTR_NAME
Name of the attribute on function arguments that stores source-level argument names.
Definition Constants.cpp:22
LLZK_FUNCTION_RES_NAME_ATTR_NAME
const char * LLZK_FUNCTION_RES_NAME_ATTR_NAME
Name of the attribute on function results that stores source-level result names.
Definition Constants.cpp:23
LLZK_LANG_ATTR_NAME
const char * LLZK_LANG_ATTR_NAME
Name of the attribute on the top-level ModuleOp that identifies the ModuleOp as the root module and s...
Definition Constants.cpp:19
LLZK_FUNC_NAME_COMPUTE
const char * LLZK_FUNC_NAME_COMPUTE
Symbol name for the witness generation function within a struct/component.
Definition Constants.cpp:16
LLZK_FIELD_ATTR_NAME
const char * LLZK_FIELD_ATTR_NAME
Name of the attribute on the top-level ModuleOp that defines prime fields used in the circuit.
Definition Constants.cpp:20
LLZK_FUNC_NAME_PRODUCT
const char * LLZK_FUNC_NAME_PRODUCT
Symbol name for the product program function within a struct/component.
Definition Constants.cpp:18
LLZK_MAIN_ATTR_NAME
const char * LLZK_MAIN_ATTR_NAME
Name of the attribute on the top-level ModuleOp that specifies the type of the main struct.
Definition Constants.cpp:21
LLZK_FUNC_NAME_CONSTRAIN
const char * LLZK_FUNC_NAME_CONSTRAIN
Symbol name for the constraint generation function within a struct/component.
Definition Constants.cpp:17