Add a generalized baby-step giant-step pass for optimizing reductions of structured rotations + reductions

Open

#2,027 opened on Jul 18, 2025 0 comments 1 reaction 1 assignee Claimed by @asraa View on GitHub

optimization

Description

We discussed this in various meetings but I don't see an issue for it.

@lawrencekhlim's [tricycle paper](https://eprint.iacr.org/2025/1200) has an excellent explanation of this in section 6.2.

This issue has not been assessed yet.