Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
refactor: Generalize quotient segment computation
In particular, the memory-vs-compute-time trade-off can now be tuned via constant `RANDOMIZED_TRACE_LEN_TO_WORKING_DOMAIN_LEN_RATIO`, which is hardcoded for now. Co-authored-by: Alan <[email protected]>
- Loading branch information