Paper 2022/777

Arithmetization of Σ¹₁ relations in Halo 2

Morgan Thomas, Orbis Labs
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)
PDF
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
Creative Commons Attribution
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},
      note = {\url{https://eprint.iacr.org/2022/777}},
      url = {https://eprint.iacr.org/2022/777}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.