In [protocol spec](https://docs.aztec.network/protocol-specs/cryptography/proving-system/performance-targets) docs: - "Next" links to itself - should link to [Proving System](https://docs.aztec.network/protocol-specs/cryptography/proving-system/overview)
In protocol spec docs: