facebook / winterfell

A STARK prover and verifier for arbitrary computations
MIT License
795 stars 180 forks source link

Reduce code duplication in the sum-check crate #300

Open Al-Kindi-0 opened 3 months ago

Al-Kindi-0 commented 3 months ago

We should investigate how to reduce code duplication resulting from the parallelization of different components therein.

Specifically:

  1. Investigate using into_iter! and its effect on performance.
  2. Find a way to address the situation in sum_check_prove_higher_degree as it is not as straightforward as in the previous point.