Acyclicity Programming for Sigma-Protocols.

Masayuki Abe, Miguel Ambrona, Andrej Bogdanov, Miyako Ohkubo, Alon Rosen

Browse the full TCC paper archive.