[Resource Topic] 2022/777: Arithmetization of Σ¹₁ relations in Halo 2

Welcome to the resource topic for 2022/777

Arithmetization of Σ¹₁ relations in Halo 2

Authors: Morgan Thomas


Orbis Labs presents a method for compiling (“arithmetizing”) relations, expressed as Σ11 formulas in the language of rings, into Halo 2 arithmetic circuits. This method offers the possibility of creating arithmetic circuits without laborious and error-prone manual circuit design and implementation, by instead expressing the relation to be arithmetized in a concise mathematical notation and generating the circuit based on that expression.

ePrint: https://eprint.iacr.org/2022/777

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 .