Orbis-Tertius / haskell-fri-proofs

WIP: FRI-based ZKPs in Haskell
Apache License 2.0
3 stars 1 forks source link

Add polynomial commitment scheme #2

Open morganthomas opened 2 years ago

morganthomas commented 2 years ago

There is a nice explanation on p. 37 of this paper of how to make a polynomial commitment scheme out of FRI: https://eprint.iacr.org/2020/1536.pdf

faezs commented 2 years ago

I can do this.