Aggregating proofs from ANY circuit
Bringing zk proofs to the masses by lower onchain verification cost
Composing proofs for interoperability and shared settlement