Computation-intensive SNARKs
Enabled by
Aggregating SNARKs
Enables