search

facebook / winterfell

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

Add multi-linear polynomial support #294

Closed Al-Kindi-0 closed 1 month ago

Al-Kindi-0 commented 1 month ago

This PR adds a few structs, methods and helper functions necessary for the sum-check protocol (to be included in a separate PR).