From f7a57a58bf2c4cbe3b8fc5bad620c9235d666470 Mon Sep 17 00:00:00 2001 From: Innokentii Sennovskii Date: Tue, 7 Mar 2023 19:13:22 +0000 Subject: [PATCH] Fixed a misleading typo (#209) --- .../widgets/transition_widgets/plookup_arithmetic_widget.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/src/aztec/plonk/proof_system/widgets/transition_widgets/plookup_arithmetic_widget.hpp b/cpp/src/aztec/plonk/proof_system/widgets/transition_widgets/plookup_arithmetic_widget.hpp index ce5a743d1d..85f27e0e28 100644 --- a/cpp/src/aztec/plonk/proof_system/widgets/transition_widgets/plookup_arithmetic_widget.hpp +++ b/cpp/src/aztec/plonk/proof_system/widgets/transition_widgets/plookup_arithmetic_widget.hpp @@ -12,7 +12,7 @@ namespace widget { * without alpha scaling is: * * q_arith * ( ( (-1/2) * (q_arith - 3) * q_m * w_1 * w_2 + q_1 * w_1 + q_2 * w_2 + q_3 * w_3 + q_4 * w_4 + q_c ) + - * (q_arith - 1)*( α² * (q_arith - 2) * (w_1 + w_4 - w_1_omega + q_m) + w_4_omega) ) = 0 + * (q_arith - 1)*( α * (q_arith - 2) * (w_1 + w_4 - w_1_omega + q_m) + w_4_omega) ) = 0 * * This formula results in several cases depending on q_arith: * 1. q_arith == 0: Arithmetic gate is completely disabled