work Arithmetization in the polynomial ring Generating arithmetic circuits that exploit batching and automorphisms Depth-aware arithmetization Generating arithmetic circuits over finite fields that trade off multiplicative size and depth
