\contentsline {table}{Protocol\nobreakspace {}\ref *{BBtmpL:l1}: Generic bounded non-uniformity zero-knowledge protocol.}{4}{theorem.4.3}