Computation-intensive SNARKs