Computation-intensive SNARKs

Computation-intensive SNARKs