Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Attributes | Friends | List of all members
acir_format::BatchedEqCheckConstraint Struct Reference

BatchedEq constraint — BATCHED_EQ mode of the bilinear_batched_eq gate (see bilinear_or_batched_eq_check_relation.hpp). More...

#include <arithmetic_constraints.hpp>

Public Attributes

uint32_t a
 
uint32_t b
 
uint32_t c
 
uint32_t d
 
bb::fr q_l
 
bb::fr q_r
 
bb::fr q_o
 
bb::fr q_4
 
bb::fr q_c
 
bb::fr q_m
 

Friends

bool operator== (BatchedEqCheckConstraint const &lhs, BatchedEqCheckConstraint const &rhs)=default
 

Detailed Description

BatchedEq constraint — BATCHED_EQ mode of the bilinear_batched_eq gate (see bilinear_or_batched_eq_check_relation.hpp).

Represents the two independent equalities \( q_l \cdot a + q_r \cdot b + q_c = 0 \) (batched-eq-half-1) and \( q_o \cdot c + q_4 \cdot d + q_m = 0 \) (batched-eq-half-2). Present only in Mega circuits.

Definition at line 59 of file arithmetic_constraints.hpp.

Friends And Related Symbol Documentation

◆ operator==

bool operator== ( BatchedEqCheckConstraint const &  lhs,
BatchedEqCheckConstraint const &  rhs 
)
friend

Member Data Documentation

◆ a

uint32_t acir_format::BatchedEqCheckConstraint::a

Definition at line 60 of file arithmetic_constraints.hpp.

◆ b

uint32_t acir_format::BatchedEqCheckConstraint::b

Definition at line 61 of file arithmetic_constraints.hpp.

◆ c

uint32_t acir_format::BatchedEqCheckConstraint::c

Definition at line 62 of file arithmetic_constraints.hpp.

◆ d

uint32_t acir_format::BatchedEqCheckConstraint::d

Definition at line 63 of file arithmetic_constraints.hpp.

◆ q_4

bb::fr acir_format::BatchedEqCheckConstraint::q_4

Definition at line 67 of file arithmetic_constraints.hpp.

◆ q_c

bb::fr acir_format::BatchedEqCheckConstraint::q_c

Definition at line 68 of file arithmetic_constraints.hpp.

◆ q_l

bb::fr acir_format::BatchedEqCheckConstraint::q_l

Definition at line 64 of file arithmetic_constraints.hpp.

◆ q_m

bb::fr acir_format::BatchedEqCheckConstraint::q_m

Definition at line 69 of file arithmetic_constraints.hpp.

◆ q_o

bb::fr acir_format::BatchedEqCheckConstraint::q_o

Definition at line 66 of file arithmetic_constraints.hpp.

◆ q_r

bb::fr acir_format::BatchedEqCheckConstraint::q_r

Definition at line 65 of file arithmetic_constraints.hpp.

The documentation for this struct was generated from the following file: