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

Bilinear constraint — BILINEAR 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_m
 
bb::fr q_l
 
bb::fr q_r
 
bb::fr q_o
 
bb::fr q_4
 
bb::fr q_5
 
bb::fr q_c
 

Friends

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

Detailed Description

Bilinear constraint — BILINEAR mode of the bilinear_batched_eq gate (see bilinear_or_batched_eq_check_relation.hpp).

Represents the shared-wire two-product shape \( q_m \cdot a \cdot b + q_5 \cdot a \cdot c + q_l \cdot a + q_r \cdot b + q_o \cdot c + q_4 \cdot d + q_c = 0 \), i.e. two products sharing wire a. Wire d carries only a linear term. Present only in Mega circuits.

Definition at line 35 of file arithmetic_constraints.hpp.

Friends And Related Symbol Documentation

◆ operator==

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

Member Data Documentation

◆ a

uint32_t acir_format::BilinearConstraint::a

Definition at line 36 of file arithmetic_constraints.hpp.

◆ b

uint32_t acir_format::BilinearConstraint::b

Definition at line 37 of file arithmetic_constraints.hpp.

◆ c

uint32_t acir_format::BilinearConstraint::c

Definition at line 38 of file arithmetic_constraints.hpp.

◆ d

uint32_t acir_format::BilinearConstraint::d

Definition at line 39 of file arithmetic_constraints.hpp.

◆ q_4

bb::fr acir_format::BilinearConstraint::q_4

Definition at line 44 of file arithmetic_constraints.hpp.

◆ q_5

bb::fr acir_format::BilinearConstraint::q_5

Definition at line 45 of file arithmetic_constraints.hpp.

◆ q_c

bb::fr acir_format::BilinearConstraint::q_c

Definition at line 46 of file arithmetic_constraints.hpp.

◆ q_l

bb::fr acir_format::BilinearConstraint::q_l

Definition at line 41 of file arithmetic_constraints.hpp.

◆ q_m

bb::fr acir_format::BilinearConstraint::q_m

Definition at line 40 of file arithmetic_constraints.hpp.

◆ q_o

bb::fr acir_format::BilinearConstraint::q_o

Definition at line 43 of file arithmetic_constraints.hpp.

◆ q_r

bb::fr acir_format::BilinearConstraint::q_r

Definition at line 42 of file arithmetic_constraints.hpp.

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