[Resource Topic] 2021/870: SoK: Gröbner Basis Algorithms for Arithmetization Oriented Ciphers

Welcome to the resource topic for 2021/870

Title:
SoK: Gröbner Basis Algorithms for Arithmetization Oriented Ciphers

Authors: Jan Ferdinand Sauer, Alan Szepieniec

Abstract:

Many new ciphers target a concise algebraic description for efficient evaluation in a proof system or a multi-party computation. This new target for optimization introduces algebraic vulnerabilities, particularly involving Gröbner basis analysis. Unfortunately, the literature on Gröbner bases tends to be either purely mathematical, or focused on small fields. In this paper, we survey the most important algorithms and present them in an intuitive way. The discussion of their complexities enables researchers to assess the security of concrete arithmetization-oriented ciphers. Aside from streamlining the security analysis, this paper helps newcomers enter the field.

ePrint: https://eprint.iacr.org/2021/870

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .