search

Orbis-Tertius / haskell-fri-proofs

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

Incremental verification #26

Closed faezs closed 1 year ago

faezs commented 1 year ago

Separate out parameters for each round of the query phase so they can be split across UTXOs when required