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 ---------------------------------------------*- 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#pragma once
11
12namespace llzk {
13
16constexpr char FUNC_NAME_COMPUTE[] = "compute";
17constexpr char FUNC_NAME_CONSTRAIN[] = "constrain";
18constexpr char FUNC_NAME_PRODUCT[] = "product";
19
23constexpr char LANG_ATTR_NAME[] = "llzk.lang";
24
28constexpr char DERIVED_ATTR_NAME[] = "llzk.derived";
29
32constexpr char FIELD_ATTR_NAME[] = "llzk.fields";
33
37constexpr char MAIN_ATTR_NAME[] = "llzk.main";
38
40constexpr char PRODUCT_SOURCE[] = "product_source";
41
42} // namespace llzk
llzk::FUNC_NAME_COMPUTE
constexpr char FUNC_NAME_COMPUTE[]
Symbol name for the witness generation (and resp.
Definition Constants.h:16
llzk::LANG_ATTR_NAME
constexpr char LANG_ATTR_NAME[]
Name of the attribute on the top-level ModuleOp that identifies the ModuleOp as the root module and s...
Definition Constants.h:23
llzk::PRODUCT_SOURCE
constexpr char PRODUCT_SOURCE[]
Name of the attribute on aligned product program ops that specifies where they came from.
Definition Constants.h:40
llzk::FUNC_NAME_CONSTRAIN
constexpr char FUNC_NAME_CONSTRAIN[]
Definition Constants.h:17
llzk::FUNC_NAME_PRODUCT
constexpr char FUNC_NAME_PRODUCT[]
Definition Constants.h:18
llzk::DERIVED_ATTR_NAME
constexpr char DERIVED_ATTR_NAME[]
Name of the attribute on a @product func that has been automatically aligned from @compute + @constra...
Definition Constants.h:28
llzk::FIELD_ATTR_NAME
constexpr char FIELD_ATTR_NAME[]
Name of the attribute on the top-level ModuleOp that defines prime fields used in the circuit.
Definition Constants.h:32
llzk::MAIN_ATTR_NAME
constexpr char MAIN_ATTR_NAME[]
Name of the attribute on the top-level ModuleOp that specifies the type of the main struct.
Definition Constants.h:37