An Efficient ZK Compiler from SIMD Circuits to General Circuits

ePrint Report: An Efficient ZK Compiler from SIMD Circuits to General Circuits

Dung Bui, Haotian Chu, Geoffroy Couteau, Xiao Wang, Chenkai Weng, Kang Yang, Yu Yu

We propose a generic compiler that can convert any zero-knowledge proof for SIMD circuits to general circuits efficiently, and an extension that can preserve the space complexity of the proof systems. Our compiler can immediately produce new results improving upon state of the art.


-By plugging in our compiler to Antman, an interactive sublinear-communication …

compiler eprint report extension general knowledge proof report wang