search

toposware / winterfell

A fork of the novifinancial/winterfell STARK library.
MIT License
5 stars 0 forks source link

RAPs Part 1: Interactive Trace Generation #29

Closed Nashtare closed 2 years ago

Nashtare commented 2 years ago

This PR introduces a first version of RAPs. The logic of the copy columns / permutation argument is left to the user for now. This will be abstracted away in a follow-up PR. There should be no performance impact on existing programs that don't require RAPs.

4l0n50 commented 2 years ago

Why don't we call this PR "Interactive proof generation"? it describes better what adding

4l0n50 commented 2 years ago

Why don't we call this PR "Interactive proof generation"? it describes better what adding

Sorry! It should be called "interactive trace generation"! the proof generation have always been interactive