Welcome to the resource topic for 2022/1105
Title:
Arithmetization of Σ¹₁ relations with polynomial bounds in Halo 2
Authors: Anthony Hart, Morgan Thomas
Abstract:Previously [4], Orbis Labs presented a method for compiling (“arithmetizing”) relations, expressed as Σ¹₁ formulas in the language of rings, into Halo 2 [1, 2, 3] arithmetic circuits. In this research, we extend this method to support polynomial quantifier bounds, in addition to constant quantifier bounds. This allows for more efficient usage of rows in the resulting circuit.
ePrint: https://eprint.iacr.org/2022/1105
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 .