Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
ecc_bools_relation.cpp
Go to the documentation of this file.
1
// === AUDIT STATUS ===
2
// internal: { status: not started, auditors: [], date: YYYY-MM-DD }
3
// external_1: { status: not started, auditors: [], date: YYYY-MM-DD }
4
// external_2: { status: not started, auditors: [], date: YYYY-MM-DD }
5
// =====================
6
7
#include "
./ecc_bools_relation_impl.hpp
"
8
#include "
barretenberg/ecc/curves/grumpkin/grumpkin.hpp
"
9
#include "
barretenberg/eccvm/eccvm_flavor.hpp
"
10
#include "
barretenberg/flavor/relation_definitions.hpp
"
11
12
namespace
bb
{
13
template
class
ECCVMBoolsRelationImpl<grumpkin::fr>;
14
DEFINE_SUMCHECK_RELATION_CLASS
(
ECCVMBoolsRelationImpl
,
ECCVMFlavor
);
15
}
// namespace bb
bb::ECCVMBoolsRelationImpl
ECCVMBoolsRelationImpl evaluates the correctness of ECCVM boolean checks.
Definition
ecc_bools_relation.hpp:22
bb::ECCVMFlavor
Definition
eccvm_flavor.hpp:34
grumpkin.hpp
ecc_bools_relation_impl.hpp
eccvm_flavor.hpp
bb
Entry point for Barretenberg command-line interface.
Definition
acir_format_getters.cpp:6
relation_definitions.hpp
DEFINE_SUMCHECK_RELATION_CLASS
#define DEFINE_SUMCHECK_RELATION_CLASS(RelationImpl, Flavor)
Definition
relation_definitions.hpp:32
src
barretenberg
relations
ecc_vm
ecc_bools_relation.cpp
Generated by
1.9.8