search

facebook / winterfell

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

Fixes multilinear built from a `NextRow` oracle #327

Closed plafer closed 1 month ago