Documentation - Centralized Telescope: Main

[curiecrypt]

Content

This PR includes general information about the Section 3.2.2. Generalization to small $n_p$, centralized_telescope.
The further details such as parameter setup, algorithms will be handled in individual PRs.

Pre-submit checklist

• Branch
  • Commit sequence broadly makes sense
  • Key commits have useful messages
• PR
  • No clippy warnings in the CI
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested
• Documentation
  • Update documentation website (if relevant)

Issue(s)

Closes #100

[rrtoledo]

LGTM.

Tiny changes here and there and a big one about H1 (and the order of limit bound vs expanding the tuple).

[rrtoledo]

LGTM

Just added a couple of suggestions in core component.

Is there a particular reason why you don't include v in the sequence? E.g. "A bounded DFS search is used to construct the sequence $(t, s_1, ..., s_u)$"