search

facebook / winterfell

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

Fix bug parallel execution of input layer proving #331

Closed Al-Kindi-0 closed 3 days ago

Al-Kindi-0 commented 5 days ago

Fixes a bug that caused the input layer proving to not run in parallel.

Also fixes a couple bugs in the implementation of the high degree sum-check and adds benchmarks that are specific to LogUp-GKR proving.