Arithmetization of predicates into Halo 2 using application specific trace types

Morgan Thomas

Paper 2023/666

Arithmetization of predicates into Halo 2 using application specific trace types

Morgan Thomas, Casper Association

Abstract

This note provides an update on the Open Specification Language (OSL) circuit compiler. OSL is a language based on predicate logic which is amenable to compilation to arithmetic constraint systems for use in constructing (zk-)SNARKs. This system provides an alternative to universal zk-VMs and low level ad hoc constructions of arithmetic constraint systems, which is potentially more efficient than universal zk-VMs but more cost effective as a development approach than low level ad hoc constructions.

Metadata

Available format(s): PDF
Category: Applications
Publication info: Preprint.
Keywords: OSL zk-SNARKs Halo 2 arithmetization
Contact author(s): morgan @ casper network
History: 2023-05-11: approved; 2023-05-11: received; See all versions
Short URL: https://ia.cr/2023/666
License: CC BY

BibTeX

@misc{cryptoeprint:2023/666,
      author = {Morgan Thomas},
      title = {Arithmetization of predicates into Halo 2 using application specific trace types},
      howpublished = {Cryptology ePrint Archive, Paper 2023/666},
      year = {2023},
      note = {\url{https://eprint.iacr.org/2023/666}},
      url = {https://eprint.iacr.org/2023/666}
}