0xPolygonZero/plonky2

Increase testing in starky crate

Nashtare opened this issue · 3 comments

Nashtare commented

The starky crate doesn't have much unit tests, and would benefit from a stronger test suite covering the different setups that can be used.

shreyas-londhe commented

Hi @Nashtare, I'm interested in working on this, can you please guide me on what needs to be done?

Nashtare commented

Hey @shreyas-londhe! Thanks for your interest in this!
It's mostly about testing the cross-functionalities between different scenarios at the moment. We currently support testing simpler STARKs with:

  • only regular constraints
  • no regular constraints but a permutation argument

We do lack of CTLs test strentghening, which involve defining some simple system across 2 or 3 tables operating on common values. We'd probably need some consistency checks around challenge computations and quotient polynomial evaluation for badly used parameters cases (like not specifying a requires_ctls for a table in a multi-STARK for instance).

We'd probably also need some higher-degree test cases for STARKs, valid & invalid cases ideally. But not everything has to be done at once, this can be a long-running task :) Let me know if you have any additional question!

Nashtare commented

@shreyas-londhe Do you need help on this?