🚀 第2弾はこちら! 多重線形多項式の基本を説明した後、Bagad、Dao、Domb、Thaler による「Speeding-up SUMCHECK proving」で提案されたアルゴリズムに飛び込みます。 SUMCHECKは高速証明システムにおいて中心的な役割を果たしており、この投稿では、それをさらに効率的にする方法を紹介します。