search

HorizenLabs / marlin

A Rust library for the Marlin preprocessing zkSNARK
Apache License 2.0
12 stars 0 forks source link

Cohomological sumcheck #2

Closed DanieleDiBenedetto closed 3 years ago

DanieleDiBenedetto commented 3 years ago

This PR replaces Marlin's FFT argument for the inner and outer sumcheck with a cohomological argument.

DanieleDiBenedetto commented 3 years ago

Still missing a couple of fix in comments and eventual optimizations, but the code is 95% finished so you can start review it.