Junrui Liu, Jiaxin Song, Yanning Chen, Hanzhi Liu, Hongbo Wen, Luke Pearson, Yanju Chen, Yu Feng 0001. Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits. Proceedings of the ACM on Programming Languages, 9(OOPSLA2):1671-1697, 2025. [doi]
Abstract is missing.