Why

Instead of concatenation proof, we'll try to use telescope proof to obtain a smaller aggregate signature.

What

Integrating telescope proof generation to STM.