Account for Padding in Testing Framework

Consensys / corset

4 stars 10 forks source link

Account for Padding in Testing Framework #121

Closed DavePearce closed 1 month ago

DavePearce commented 1 month ago

Currently, there is a problem around padding with the testing framework. Specifically, the oracle function doesn't get the actual trace that Corset will check against. That's because Corset will pad it out. Therefore, we need to mirror the padding when applying the oracle function.

DavePearce commented 1 month ago

UPDATE: one option is to use the keep_raw flag.

Roughly, the algorithm seems to do the following (if keep_raw=false):

Insert a zero at the beginning of each row.
Pad up to the minimal module length (which is determine by things such as range constraints).