LLZK 2.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
31extern const char *LLZK_LANG_ATTR_NAME;
32
35extern const char *LLZK_FIELD_ATTR_NAME;
36
40extern const char *LLZK_MAIN_ATTR_NAME;
41
42#ifdef __cplusplus
43}
44#endif
45
46#endif // LLZK_C_CONSTANTS_H
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:16
LLZK_FUNC_NAME_COMPUTE
const char * LLZK_FUNC_NAME_COMPUTE
Symbol name for the witness generation function within a struct/component.
Definition Constants.cpp:14
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:17
LLZK_FUNC_NAME_CONSTRAIN
const char * LLZK_FUNC_NAME_CONSTRAIN
Symbol name for the constraint generation function within a struct/component.
Definition Constants.cpp:15
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.