Ou: Automating the Parallelization of Zero-Knowledge Protocols

ePrint Report: Ou: Automating the Parallelization of Zero-Knowledge Protocols

Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao

A zero-knowledge proof (ZKP) is a powerful cryptographic primitive used in many decentralized or privacy-focused applications. However, the high overhead of ZKPs can restrict their practical applicability. We design a programming language, Ou, aimed at easing the programmer's burden when writing efficient ZKPs, and a compiler framework, Lian, that automates the analysis and distribution of …

applications ben decentralized eprint report high knowledge privacy protocols report zhong