Paper 2023/666 Original: eprint.iacr.org/2023/666 ↗
Arithmetization of predicates into Halo 2 using application specific trace types
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.
- History
- 2023-05-11: last updated
- 2023-05-11: published
- Short URL
- https://ia.cr/2023/666
- License
- https://creativecommons.org/licenses/by/4.0/
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},
url = {https://eprint.iacr.org/2023/666}
}