Paper 2022/777
Arithmetization of Σ¹₁ relations in Halo 2
Abstract
Orbis Labs presents a method for compiling (“arithmetizing”) relations, expressed as Σ¹₁ 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.
Metadata
- Available format(s)
- Category
- Applications
- Publication info
- Preprint.
- Keywords
- PLONK Halo 2 arithmetization logic second order arithmetic
- Contact author(s)
- team @ orbislabs com
- History
- 2022-08-10: last of 3 revisions
- 2022-06-15: received
- See all versions
- Short URL
- https://ia.cr/2022/777
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2022/777, author = {Morgan Thomas}, title = {Arithmetization of Σ¹₁ relations in Halo 2}, howpublished = {Cryptology {ePrint} Archive, Paper 2022/777}, year = {2022}, url = {https://eprint.iacr.org/2022/777} }