Constraining a set of columns to a lexicograpgic order

[letypequividelespoubelles]

We need to have a lexicographic order constraint on a set of columns.

[DavePearce]

Hey Francois, ok I see this issue has been outstanding for a while. So, I just to get a bit more info to understand properly:

• So I guess its not enough to have a sorted permutation?
• You want to restrict that a set of input columns must be lexiographically sorted, using a similar syntax as for permutations?
• Is there a simple example that illustrates a use case for this? Something I can use in testing, for example.

Overall, the machinery is certainly present for ensuring a column is sorted. Therefore, its seems quite reasonable to do this.

[letypequividelespoubelles]

we want something lighter than sorted permutation, because the source columns are already sorted, we just want to prove that they are sorted.

TBH, we could do this by just delegating the proof by calling GEQ of WCP, this is what I made for blockhash module ... what do you think @OlivierBBB ? It would en up by three lookups to WCP only, we just have to take care at the line counting for wcp as we would rigger wcp at commit time