From 6a71b953aaca81bd6254c7266710ba816b32caa4 Mon Sep 17 00:00:00 2001 From: Miki Asa Date: Tue, 24 Dec 2024 14:00:27 +0200 Subject: [PATCH] format --- icicle/include/icicle/sumcheck/sumcheck.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/icicle/include/icicle/sumcheck/sumcheck.h b/icicle/include/icicle/sumcheck/sumcheck.h index 705da7d37..9450170b4 100644 --- a/icicle/include/icicle/sumcheck/sumcheck.h +++ b/icicle/include/icicle/sumcheck/sumcheck.h @@ -34,7 +34,6 @@ namespace icicle { class Sumcheck { public: - /** * @brief Constructor for the Sumcheck class. * @param backend Shared pointer to the backend responsible for Sumcheck operations. @@ -44,7 +43,7 @@ namespace icicle { /** * @brief Calculate the sumcheck based on the inputs and retrieve the Sumcheck proof. * @param mle_polynomials a vector of MLE polynomials to process. - * F(X_1,X_2,X_3) = a_0 (1-X_1) (1-X_2) (1-X_3) + a_1 (1-X_1)(1-X_2) X_3 + a_2 (1-X_1) X_2 (1-X_3) + + * F(X_1,X_2,X_3) = a_0 (1-X_1) (1-X_2) (1-X_3) + a_1 (1-X_1)(1-X_2) X_3 + a_2 (1-X_1) X_2 (1-X_3) + * a_3 (1-X_1) X_2 X_3 + a_4 X_1 (1-X_2) (1-X_3) + a_5 X_1 (1-X_2) X_3+ a_6 X_1 X_2 (1-X_3) + a_7 X_1 X_2 X_3 * @param combine_function a program that define how to fold all MLS polynomials into the round polynomial. * @param config Configuration for the Sumcheck operation.