facebook / winterfell

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

Improve construction of MLEs from main trace segment #329

Closed Al-Kindi-0 closed 1 month ago