Block Programs: Improving Efficiency of Verifiable Computation for Circuits with Repeated Substructures.

Gang Xu, George T. Amariucai, Yong Guan

Browse the full CCS paper archive.