search

facebook / winterfell

A STARK prover and verifier for arbitrary computations
MIT License
773 stars 176 forks source link

Parallelize s-column generation #326

Closed Al-Kindi-0 closed 3 days ago

Al-Kindi-0 commented 1 week ago

This brings about 60% improvement in s-column generation times. Fixes also a bug in the construction of the MLEs.