1/// Sequential (non-parallelized, non-distributed) proving for [Stwo](https://eprint.iacr.org/2024/278). 2pub mod seq;