This PR re-organizes the repo into two different workspaces: folding-schemes and folding-schemes-solidity.
While the folding-schemes workspace holds initial code, the folding-schemes-solidity one contains all relevant evm contracts for each of the verifiers. Three different contracts are included, along with their respective templates. We provide adequate tests for each of those.
Templates are generated using the askama library and can be found here
We test that each of the verifiers templates, compiles and execute correctly here. We do not yet include a test for the final decider, since additional details regarding how it will work are on hold.
This PR re-organizes the repo into two different workspaces: folding-schemes and folding-schemes-solidity.
While the folding-schemes workspace holds initial code, the folding-schemes-solidity one contains all relevant evm contracts for each of the verifiers. Three different contracts are included, along with their respective templates. We provide adequate tests for each of those.