work Depth-aware arithmetization Generating arithmetic circuits over finite fields that trade off multiplicative size and depth