Our circuit generator can create circuits without knowledge of the program and is universal, meaning that it can work on any program with a bound on running time. The output circuit size depends additively, which allows for larger program verification. Our proof system enhances proving and verification times through new algorithms and a pairing library tailored for the protocol.